barretenberg
barretenberg copied to clipboard
Create constraints for hashing in Ultra
Constraints are currently not added when hashing in an Ultra arithmetized circuit (i.e. a recursive verifier). This was done for convenience since Ultra does not have poseidon.