aztec-2.0
aztec-2.0 copied to clipboard
Create connection between `ultra_ops` and `raw_ops`
In the current implementation, we can add some random field elements in ultra_ops
at the beginning (with valid commitments) and, as long as those are not reflected in the raw_ops
and these remain only populated with genuine operations the goblin full proofs will not fail because these structures are updated by different functions.