aztec-2.0 icon indicating copy to clipboard operation
aztec-2.0 copied to clipboard

ACIR: Offset by 1 to account for const 0 variable

Open ledwards2225 opened this issue 1 year ago • 0 comments

Noir has a hard coded +1 offset in the witness index used to explicitly describe gates via acir. This was meant to account for the historical fact that a const 0 is added to variables in the Ultra builder constructor. This hack propagates throughout the acir code. Its likely not worth trying to fix until the original UltraPlonk acir code has been cleanup up (removed entirely?). The corresponding Honk acir code is much simpler - it is easy to fix there.

ledwards2225 avatar Dec 18 '23 22:12 ledwards2225