Ark nifs

.vscode/settings.json

@@ -11,6 +11,9 @@
         "./Cargo.toml",
         "./Cargo.toml",
         "./Cargo.toml",
+        "./Cargo.toml",
+        "./Cargo.toml",
+        "./Cargo.toml",
         "./Cargo.toml"
     ]
 }

Cargo.toml

@@ -14,6 +14,7 @@ rayon = "1.7"
 num-traits = "0.2"
 digest = "0.10"
 generic-array = "1.0.0"
+ark-bn254 = "0.4.0"
 
 ark-crypto-primitives = { version = "0.4.0", default-features = false, features = [
         "sponge",
@@ -22,6 +23,5 @@ ark-std = { version = "0.4.0", default-features = false }
 ark-ec = {version = "0.4.0", default-features = false}
 ark-ff = {version= "0.4.0", default-features = false}
 ark-poly = {version = "0.4.0", default-features = false}
-ark-bn254 = "0.4.0"
 jf_primitives = {git = "https://github.com/EspressoSystems/jellyfish", package = "jf-primitives"}
 jf_utils = {git = "https://github.com/EspressoSystems/jellyfish", package = "jf-utils"}

src/lib.rs

@@ -1,4 +1,12 @@
 pub mod error;
+pub mod nifs;
+pub mod plonk;
 pub mod poseidon;
 pub mod primary;
+pub mod provider;
 pub mod secondary;
+pub mod traits;
+
+type Commitment<G> = <<G as traits::Group>::CE as traits::CommitmentEngineTrait<G>>::Commitment;
+type CommitmentKey<G> =
+    <<G as traits::Group>::CE as traits::CommitmentEngineTrait<G>>::CommitmentKey;

src/nifs.rs

@@ -0,0 +1,42 @@
+use crate::{
+    error::MyError,
+    plonk::*,
+    traits::{Group, ROConstantsTrait, ROTrait},
+    Commitment, CommitmentKey,
+};
+use std::marker::PhantomData;
+
+pub struct NIFS<G: Group> {
+    pub(crate) comm_T: Commitment<G>,
+    _p: PhantomData<G>,
+}
+
+impl<G: Group> NIFS<G> {
+    pub fn prove(
+        ck: &CommitmentKey<G>,
+        pp_digest: &<G as Group>::ScalarField,
+        S: &PLONKShape<G>,
+        U1: &RelaxedPLONKInstance<G>,
+        W1: &RelaxedPLONKWitness<G>,
+        U2: &PLONKInstance<G>,
+        W2: &PLONKWitness<G>,
+    ) -> Result<(NIFS<G>, (RelaxedPLONKInstance<G>, RelaxedPLONKWitness<G>)), MyError> {
+        let constants = <<G as Group>::RO as ROTrait<
+            <G as Group>::BaseField,
+            <G as Group>::ScalarField,
+        >>::Constants::new(3);
+        let ro = <<G as Group>::RO as ROTrait<
+            <G as Group>::BaseField,
+            <G as Group>::ScalarField,
+        >>::new(constants.clone());
+        todo!()
+    }
+    pub fn verifiy(
+        &self,
+        pp_digest: &<G as Group>::ScalarField,
+        U1: &RelaxedPLONKInstance<G>,
+        U2: &PLONKInstance<G>,
+    ) -> Result<RelaxedPLONKInstance<G>, MyError> {
+        todo!()
+    }
+}