Finish poseidon gadget #15
Description
Overview
On the branch Lydia/poseidonCircuit, the output of the poseidon hash function in the circuit currently is a witness. This means it is not possible to verify that the prover knows a pre-image to a specific hash. Also there is an error in the poseidon_hash_longer_input test that should be fixed. The error seems to occur at line 353 of pow5.rs.
Tasks
In pow5.rs adjust PermuteCircuit and HashCircuit so that the hash output is now no longer a witness. Determine the cause of the error in poseidon_hash_longer_input and fix so that this test runs successfully.
Optional
No optional aspect to issue.
Definition of done
In both the poseidon_permute and poseidon_hash tests the hash output should be computed and input to the circuit as a public input.
The poseidon_hash_longer_input test should pass.