aztec-packages
aztec-packages copied to clipboard
AztecProtocol
Right now, when we send a transaction, we are not actually validating said transaction on its emission of duplicate nullifiers.
Add Poseidon2 gates to the `UltraCircuitBuilder` which now ensures that recursive verifier instantiated with the Ultra arithmetisation produce the correct number of constraints. Updates required: * change verification key length...
## Overview Part of #7964 This is a minimal implementation of the guts of a request and response protocol that dials the connected peers and asks for a given data....
The `PublicKeys` struct currently holds `npk: Point`, where `Point { x, y, is_infinite }`. #7529 discussed dropping `is_infinite` for all keys, which can reduce DA costs and gate count due...
Please read [contributing guidelines](CONTRIBUTING.md) and remove this line.
First run at creating new rollup circuits for batch block proving (see [this PR](https://github.com/AztecProtocol/engineering-designs/pull/7) for details). ~Please note the e2e tests will fail miserably as the circuits are not yet...
