Include the PoseidonHasher in the fuzzing

noir-lang · Oct 11, 2024 · 6920c28 · 6920c28
1 parent 8232bfa
commit 6920c28
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/tooling/nargo_cli/tests/stdlib-props.rs b/tooling/nargo_cli/tests/stdlib-props.rs
@@ -305,7 +305,14 @@ fn fuzz_poseidon_equivalence() {
     for len in 1..light_poseidon::MAX_X5_LEN {
         let source = format!(
             "fn main(input: [Field; {len}]) -> pub Field {{
-                std::hash::poseidon::bn254::hash_{len}(input)
+                let h1 = std::hash::poseidon::bn254::hash_{len}(input);
+                let h2 = {{
+                    let mut hasher = std::hash::poseidon::PoseidonHasher::default();
+                    input.hash(&mut hasher);
+                    hasher.finish()
+                }};
+                assert_eq(h1, h2);
+                h1
             }}"
         );