Does your circuit produce correct output?

[skardas]

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

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

thx

[skardas]

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

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