barretenberg
barretenberg copied to clipboard
AztecProtocol
We'll use padding as the instances need to be of fixed size for protocol to work (size TBD, maybe 2^19)
Create_sort_constraint_with edges goes through variables in quadruplets. However, for the last row it takes the last 4 variables in the list. There might be a correctness issue with this approach,since...
It is often useful to consider only a subset of relations when running certain tests. This used to be possible by simply commenting out specific relations in the relevant Flavor...
Execution trace sorting requires the addition of dummy gates where they were previously not required in cases where one gate was reading into the next row of different gate type....
`q_arith` can currently take arbitrary values. We actively use q_arith = 0,1,2,3. (Comments in code suggest that at one time there was some use for q_arith > 3 but this...
Various subrelations in the Auxiliary relation are triggered by combinations of (non-gate) selectors, e.g. q_m, q_2. The `RAM_CONSISTENCY_CHECK` subrelation is triggered via `q_arith` which is a gate selector. This means...
This is a tracking issue for our various issues relating to the point at infinity. ```[tasklist] ### Tasks - [ ] https://github.com/AztecProtocol/barretenberg/issues/866 - [ ] https://github.com/AztecProtocol/barretenberg/issues/905 - [ ] https://github.com/AztecProtocol/barretenberg/issues/871...
Background: As part of our 2023 goals, we hooked up Goblin to ACIR. This essentially meant constructing and verifying GUH proofs over acir-generated circuits, and also constucting and verifying ECCVM...
Currently if we submit the point at infinity to the transcript, it will not detect the issue and will store a malformed representation of the point, leading to errors down...