maramihali

For now we will build the IPA verifier with batch_muls

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,...

fix acir test `regression_5045` with Honk

1

Currently, it triggers a crash in trace structuring.

See https://github.com/AztecProtocol/aztec-packages/issues/9005

Proper handling of dummy rounds in stdlib universe

2

Currently, we create a completely disconnected `stdlib::bool_t` witness dummy round from the native one which is insecure. We need to connect it to the `circuit_size` received from transcript (which is...

Figure out the concatenation trick with Shplemini