From b3b073f6ae066a8583a5cb1aeaeb82d0f2d9c62d Mon Sep 17 00:00:00 2001 From: yanziseeker <153156292+AdventureSeeker987@users.noreply.github.com> Date: Thu, 8 Feb 2024 14:46:42 +0800 Subject: [PATCH] fix:cirucit->circuit (#58) --- snark-verifier/src/system/halo2/test/ipa/native.rs | 8 ++++---- snark-verifier/src/system/halo2/test/kzg/native.rs | 10 +++++----- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/snark-verifier/src/system/halo2/test/ipa/native.rs b/snark-verifier/src/system/halo2/test/ipa/native.rs index 07621771..a91095e0 100644 --- a/snark-verifier/src/system/halo2/test/ipa/native.rs +++ b/snark-verifier/src/system/halo2/test/ipa/native.rs @@ -15,7 +15,7 @@ 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 []() { @@ -23,7 +23,7 @@ macro_rules! test { 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, VerifierIPA, PlonkVerifier::>); + ($name:ident, $k:expr, $config:expr, $create_circuit:expr) => { + test!(@ $name, $k, $config, $create_circuit, ProverIPA, VerifierIPA, PlonkVerifier::>); } } diff --git a/snark-verifier/src/system/halo2/test/kzg/native.rs b/snark-verifier/src/system/halo2/test/kzg/native.rs index b1d38e06..21c359f6 100644 --- 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 []() { 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, LimbsEncoding>); - test!(@ plonk, $name, $k, $config, $create_cirucit, ProverGWC<_>, VerifierGWC<_>, PlonkVerifier, LimbsEncoding>); + ($name:ident, $k:expr, $config:expr, $create_circuit:expr) => { + test!(@ shplonk, $name, $k, $config, $create_circuit, ProverSHPLONK<_>, VerifierSHPLONK<_>, PlonkVerifier, LimbsEncoding>); + test!(@ plonk, $name, $k, $config, $create_circuit, ProverGWC<_>, VerifierGWC<_>, PlonkVerifier, LimbsEncoding>); } }