barretenberg
barretenberg copied to clipboard
AztecProtocol
This is a catch all issue for a handful of known (and likely some unknown) issues with constraints in the recursive verifiers, particularly in Sumcheck/Zeromorph where native and circuit code...
All the subprotocols in our prover and verifier have a `prove` and `verify` method even though most dont prove or verify anything, but rather reduce the claima in some way/...
This has been added to barretenberg (as of pending PR) but closer to production we should do a security analysis of this. This is currently very useful for deterministic tests,...
We have asserts that check the circuit size and number of public inputs in the verification key is the same as what is received as part of the proofs. These...
The set of tests in Dockerfile.bb.js is newer. Some tests (3?) were added to Dockerfile.bb.js instead of the Earthfile due to confusion about which was active. Some of these tests...
Does the public inputs offset leak information? Definitely not if we use a structured trace, but otherwise yes. Historically the public inputs were placed at the top of the wires....
and the proof should be stdlib