mina
mina copied to clipboard
Poseidon sub-circuit
- [ ] hash U_i to check u_i.x and for the folding challenge r
- [ ] hash u_i for the folding challenge
- [ ] hash U_{i+1} for the output