barretenberg
barretenberg copied to clipboard
AztecProtocol
Since we are not going to be doing degree checks on translator polynomials in the mini circuit, we have to add relations ensuring range constraint wires are zeroed out outside...
Currently, on the verifier side, we first execute Shplemini, then reduce the BatchOpeningClaim to a single OpeningClaim by performing the batch_mul delayed by Shplemini. Then, we construct the translation OpeningClaim,...
The gate counting formula differs between honk and plonk. Currently, we take an overestimate by just adding the ensure_nonzero gates (that are NOT needed for Plonk), as well as adding...
The tube circuit takes the public inputs from the tail kernel proof and converts them to its own public inputs. We do not include the aggregation object or databus commitments...
Currently, it triggers a crash in trace structuring.
We currently have a tracy-memory preset that works for measuring memory in x86, but we do not have an equivalent for WASM.
Got a failure at ` x_lo.assert_equal(point.x.limbs[0]);` in `goblin_element::batch_mul` in while trying to restrict the memory of databus_id.
The arithmetic selector is currently active until the end of the aux block. If that holds, we can put the arith and aux gates next to each other in the...
This was implemented here in [765b074](https://github.com/AztecProtocol/aztec-packages/pull/8587/commits/765b07405b52780a448a2c46e5240f315785c6fa). However, it was reverted to keep things simple. This would allow for potential reductions at the cost of potential reallocations if we fold with...