search

amit0365 / poseidon2

Rust and Halo2 implementations of Poseidon2
1 stars 3 forks source link

Does your circuit produce correct output? #1

Open skardas opened 2 months ago

skardas commented 2 months ago

I check plan output with circuit producing, they are not correct.

Could you check it? and Add a test for it?

thx

skardas commented 2 months ago

In PoseidonHashCircuit, there should be force contrain in the output, like

                region.constrain_equal(output.cell(), expected_var.cell())