barretenberg: v0.69.1

0.69.1 (2025-01-08)

Features

• Acir formal proofs (#10973) (1cb7cd7)
• Derive transcript structure between non-zk and zk flavors and between Ultra and UltraKeccak (#11086) (48286c6)
• Fix commitments and openings of masking polynomials used in zk sumcheck (#10773) (fc48dcc)
• Improve witness generation for cycle_group::batch_mul (#9563) (7da7f2b)

Bug Fixes

• Add bytecode instances in reverse (#11064) (036496c)
• Reset pc to 0 for next enqueued call in avm witgen (#11043) (44e4816)
• Update requests per call should be less than per tx (#11072) (da5e95f)

Miscellaneous

• avm: Handle specific MSM errors (#11068) (a5097a9), closes #10854
• avm: More column information in permutations (#11070) (8829f24)
• Clean up proof lengths and IPA (#11020) (800c834)
• Fix write_recursion_inputs flow in bootstrap (#11080) (cd5a615)
• Restore prove_then_verify test on verify_rollup_honk_proof (#11018) (79e289d)
• Unify honk verifier contracts (#11067) (9968849)