Closed AaronFeickert closed 6 months ago
This PR simplifies hash equality checks used to assert that all statements in a batch of proofs share the same input set and parameters.
This PR simplifies hash equality checks used to assert that all statements in a batch of proofs share the same input set and parameters.