Replaces the verify(bytes) function with verify(bytes proof, bytes32[] publicInputs) to make it easier for devs to explicitly constrain publicInputs in their contracts before passing it into the verifier.
Adds function to verifier to get the number of public inputs specified in the key. The implementation is very inefficient, but is not intended for consumption on-chain, so we can live with it.
Adds function in TestBase to split barretenberg generated proofData into a proof part and a public inputs part.
Updates verify function signature
Perform explicit for input length and return useful error.
Replaces the
verify(bytes)function withverify(bytes proof, bytes32[] publicInputs)to make it easier for devs to explicitly constrain publicInputs in their contracts before passing it into the verifier.TestBaseto split barretenberg generated proofData into a proof part and a public inputs part.