fix:cirucit->circuit (#58)

privacy-scaling-explorations · Feb 8, 2024 · b3b073f · b3b073f
1 parent 946536f
commit b3b073f
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 9 deletions.
diff --git a/snark-verifier/src/system/halo2/test/ipa/native.rs b/snark-verifier/src/system/halo2/test/ipa/native.rs
@@ -15,15 +15,15 @@ use paste::paste;
 use rand_chacha::{rand_core::SeedableRng, ChaCha20Rng};
 
 macro_rules! test {
-    (@ $name:ident, $k:expr, $config:expr, $create_cirucit:expr, $prover:ty, $verifier:ty, $plonk_verifier:ty) => {
+    (@ $name:ident, $k:expr, $config:expr, $create_circuit:expr, $prover:ty, $verifier:ty, $plonk_verifier:ty) => {
         paste! {
             #[test]
             fn [<test_ $name>]() {
                 let (params, pk, protocol, circuits) = halo2_ipa_prepare!(
                     pallas::Affine,
                     $k,
                     $config,
-                    $create_cirucit
+                    $create_circuit
                 );
                 let snark = halo2_ipa_create_snark!(
                     $prover,
@@ -46,8 +46,8 @@ macro_rules! test {
             }
         }
     };
-    ($name:ident, $k:expr, $config:expr, $create_cirucit:expr) => {
-        test!(@ $name, $k, $config, $create_cirucit, ProverIPA<pallas::Affine>, VerifierIPA<pallas::Affine>, PlonkVerifier::<IpaAs<pallas::Affine, Bgh19>>);
+    ($name:ident, $k:expr, $config:expr, $create_circuit:expr) => {
+        test!(@ $name, $k, $config, $create_circuit, ProverIPA<pallas::Affine>, VerifierIPA<pallas::Affine>, PlonkVerifier::<IpaAs<pallas::Affine, Bgh19>>);
     }
 }
 

diff --git a/snark-verifier/src/system/halo2/test/kzg/native.rs b/snark-verifier/src/system/halo2/test/kzg/native.rs
@@ -18,14 +18,14 @@ use paste::paste;
 use rand_chacha::{rand_core::SeedableRng, ChaCha20Rng};
 
 macro_rules! test {
-    (@ $prefix:ident, $name:ident, $k:expr, $config:expr, $create_cirucit:expr, $prover:ty, $verifier:ty, $plonk_verifier:ty) => {
+    (@ $prefix:ident, $name:ident, $k:expr, $config:expr, $create_circuit:expr, $prover:ty, $verifier:ty, $plonk_verifier:ty) => {
         paste! {
             #[test]
             fn [<test_ $prefix _ $name>]() {
                 let (params, pk, protocol, circuits) = halo2_kzg_prepare!(
                     $k,
                     $config,
-                    $create_cirucit
+                    $create_circuit
                 );
                 let snark = halo2_kzg_create_snark!(
                     $prover,
@@ -48,9 +48,9 @@ macro_rules! test {
             }
         }
     };
-    ($name:ident, $k:expr, $config:expr, $create_cirucit:expr) => {
-        test!(@ shplonk, $name, $k, $config, $create_cirucit, ProverSHPLONK<_>, VerifierSHPLONK<_>, PlonkVerifier<KzgAs<Bn256, Bdfg21>, LimbsEncoding<LIMBS, BITS>>);
-        test!(@ plonk, $name, $k, $config, $create_cirucit, ProverGWC<_>, VerifierGWC<_>, PlonkVerifier<KzgAs<Bn256, Gwc19>, LimbsEncoding<LIMBS, BITS>>);
+    ($name:ident, $k:expr, $config:expr, $create_circuit:expr) => {
+        test!(@ shplonk, $name, $k, $config, $create_circuit, ProverSHPLONK<_>, VerifierSHPLONK<_>, PlonkVerifier<KzgAs<Bn256, Bdfg21>, LimbsEncoding<LIMBS, BITS>>);
+        test!(@ plonk, $name, $k, $config, $create_circuit, ProverGWC<_>, VerifierGWC<_>, PlonkVerifier<KzgAs<Bn256, Gwc19>, LimbsEncoding<LIMBS, BITS>>);
     }
 }