barretenberg: v0.51.1

0.51.1 (2024-08-29)

Features

• avm: 1-slot sload/sstore (nr, ts) (#8264) (bdd9b06)
• avm: Avm recursive verifier cpp (#8162) (6a5587c)
• avm: Integrate new range and cmp gadgets (#8165) (2e1be18)
• avm: Range check gadget (#7967) (0dd954e)
• Proof surgery class (#8236) (10d7edd)

Bug Fixes

• bb-prover: Create structure for AVM vk (#8233) (55b6ba2)
• bb: Mac build (#8255) (ac54f5c)
• Handle constant output for sha256 (#8251) (0653ba5)

Miscellaneous

• avm: Replace range and cmp with gadgets (#8164) (cc12558)
• bb: Use std::span in pippenger for scalars (#8269) (2323cd5)