barretenberg: v0.41.0

0.41.0 (2024-05-21)

⚠ BREAKING CHANGES

• add is_infinite to curve addition opcode (#6384)

Features

• Add is_infinite to curve addition opcode (#6384) (75d81c5)
• avm-simulator: Cap gas for external calls (#6479) (c8771ba)
• avm: Gzip avm bytecode (#6475) (29559bd)
• avm: To_radix gadget (#6368) (89dd25f)
• Full encryption and decryption of log in ts (#6348) (0ac83dc)
• Improved ClientIvc (#6429) (f360b3f)
• Laying out a new recursion constraint for honk (#6489) (af9fea4)
• Remove total logs len from pre tail kernels + add to L1 (#6466) (66a2d43)
• Run benchmarks for ACIR proving (#6155) (ebf6fc2)
• Squash transient note logs (#6268) (4574877)
• Sum transaction fees and pay on l1 (#6522) (bf441da)
• Translator recursive verifier (#6327) (9321aef)
• View functions with static context enforcing (#6338) (22ad5a5)
• Vk_as_fields, proof_as_fields flows for honk (#6406) (a6100ad)

Bug Fixes

• Disable buggy ClientIVC tests (#6546) (b61dea3)
• Increase N_max in Zeromorph (#6415) (9e643b4)

Miscellaneous

• Add c++ tests for generator derivation (#6528) (72931bd)
• Bump maximum nullifier read requests (necessary for e2e tests in AVM) (#6462) (26eac62)
• Bump maximum nullifier read requests (necessary for e2e tests in AVM) (#6495) (90d8092)
• Copy subset of constants to cpp (#6544) (21dc72a)
• Lower max public bytecode to 20k (#6477) (ce192f0)
• Parameterise cycle_group by Builder rather than Composer (#6565) (ea36bf9)
• Private call validation (#6510) (07dc072)
• Share decider with ultra_prover (#5467) (b3b7376)

Documentation

• Sumcheck documentation (#5841) (116eef0)