barretenberg: v0.36.0

0.36.0 (2024-04-30)

⚠ BREAKING CHANGES

• remove Opcode::Brillig from ACIR (#5995)
• change backend width to 4 (#5374)

Features

• variable_base_scalar_mul blackbox func (#6039) (81142fe)
• Avm mem trace validation (#6025) (3a3afb5), closes #5950
• avm: Avm circuit FDIV opcode (#5958) (fed5b6d), closes #5953
• avm: CAST opcode implementation (#5477) (a821bcc), closes #5466
• avm: Negative tests (#5919) (8a5ece7)
• avm: Shift relations (#5716) (a516637)
• Avoiding redundant computation in PG (#5844) (9f57733)
• Change backend width to 4 (#5374) (3f24fc2)
• Circuit simulator for Ultra and GoblinUltra verifiers (#1195) (0032a3a)
• Dynamic assertion payloads v2 (#5949) (405bdf6)
• Implement recursive verification in the parity circuits (#6006) (a5b6dac)
• Keshas skipping plus conditions for grand prod relations (#5766) (d8fcfb5)
• Naive structured execution trace (#5853) (23aab17)
• Prove then verify flow for honk (#5957) (099346e)

Bug Fixes

• avm: Comments and assert (#5956) (ae50219)
• Fix relation skipping for sumcheck (#6092) (1449c33)
• Remove tx.origin (#5765) (c8784d7), closes #5756

Miscellaneous

• create_fixed_base_constraint cleanup (#6047) (e1d6526)
• avm: Negative unit tests for AVM CAST opcode (#5907) (4465e3b), closes #5908
• avm: Re-enable proof in some unit tests (#6056) (0ebee28), closes #6019
• Clean up and clarify some translator flavor logic (#5965) (242b364)
• Do not bootstrap cache if working copy is dirty (#6033) (3671932)
• ProvingKey has ProverPolynomials (#5940) (0a64279)
• Purging portal addresses (#5842) (4faccad)
• Refactor recursive verifier tests (#6063) (94a2d61)
• Remove Opcode::Brillig from ACIR (#5995) (ffd5f46)
• Remove l1 gas (#6069) (0e3705f)
• Simplify computation of pow for each sumcheck round (#5903) (74a9d5d)