add test

0xEigenLabs · Mar 7, 2024 · 742caa7 · 742caa7
1 parent 027e8b4
commit 742caa7
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/starky/src/stark_gen.rs b/starky/src/stark_gen.rs
@@ -1141,10 +1141,11 @@ pub mod tests {
         log::trace!("verify the proof...");
 
         let serialized = serde_json::to_string(&starkproof).unwrap();
-        let starkproof: StarkProof<MerkleTreeBN128> = serde_json::from_str(&serialized).unwrap();
+        let actual: StarkProof<MerkleTreeBN128> = serde_json::from_str(&serialized).unwrap();
+        assert_eq!(actual, starkproof);// could pass
 
         let result = stark_verify::<MerkleTreeBN128, TranscriptBN128>(
-            &starkproof,
+            &actual,
             &setup.const_root,
             &setup.starkinfo,
             &stark_struct,