refactor: sample verifier

zkemail · Jul 15, 2024 · aa04c2d · aa04c2d
1 parent 3d7d2a9
commit aa04c2d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/packages/rust-verifier/src/lib.rs b/packages/rust-verifier/src/lib.rs
@@ -1,2 +1,2 @@
-pub mod verifier;
+pub mod sample_verifier;
 pub mod verifier_utils;
diff --git a/packages/rust-verifier/src/verifier.rs → ...ages/rust-verifier/src/sample_verifier.rs b/packages/rust-verifier/src/verifier.rs → ...ages/rust-verifier/src/sample_verifier.rs
@@ -14,6 +14,7 @@ use ark_serialize::Compress;
 use ark_serialize::SerializationError;
 use ark_serialize::Validate;
 
+/// This is a sample verifier generated based on proof of twitter circuit.
 pub fn verify(proof: &[u8], public_inputs: &[u8]) -> Result<bool, SerializationError> {
     // no need to check serialization since it's hardcoded and known to be correct
     let vk = VerifyingKey::<Bn254>::deserialize_compressed_unchecked(

diff --git a/packages/rust-verifier/tests/verifier_utils.rs b/packages/rust-verifier/tests/verifier_utils.rs
@@ -4,7 +4,7 @@ mod tests {
 
     use ark_crypto_primitives::snark::SNARK;
     use ark_serialize::CanonicalSerialize;
-    use utils::verifier::verify;
+    use utils::sample_verifier::verify;
     use utils::verifier_utils::{GrothBn, GrothBnProof, GrothBnVkey, JsonDecoder, PublicInputs};
 
     #[test]