0.50.0 (2024-08-22)
Features
- Add a prover-node to the proving e2e tests (#7952) (ec5a5fb)
- Automate verify_honk_proof input generation (#8092) (bf38d61)
- avm: Enable zeromorph in AVM verification (#8111) (b1f9fb6), closes #4944
- Native Merkle Trees (#7037) (8a1032e)
- Oink recursive verifier (#8121) (580708a)
- Passes copy_cycles by const reference to avoid copying (#8051) (495d363)
- PG recursive verifier constructors based on stdlib inputs (#8052) (4c568b0)
- Poseidon2 gates for Ultra arithmetisation (#7494) (d86577c)
- Some fixes and cleanup in PG recursive verifier (#8053) (5f2a9bd)
- Unify all acir recursion constraints based on RecursionConstraint and proof_type (#7993) (7cb39bc)
- Zk sumcheck (#7517) (0e9a530)
Bug Fixes
- avm: Real bytes finalization (#8041) (047461a)
- ci: Correctly run bb tests with asserts (#7607) (7b73f69)
Miscellaneous
- avm: Kernel trace and finalization (#8049) (d7edd24)
- avm: Separate alu finalization (#8069) (e8a9eb4)
- bb: IPA parallelization cleanup (#8088) (9227fa9)
- bb: Simplify parallel_for_if_effective (#8079) (5bff26b)
- bb: Small cleanup in protogalaxy prover (#8072) (4cb5c83)
- Deduplication in Protogalaxy (#8067) (a5cc3ba)
- Handle constant output for ec add opcode (#8108) (2ee79d2)
- Merge devnet fixes back to master (#8149) (6be2183)
- Split up stdlib/recursion (#8054) (ec03e40)
- Use decider verifier in ultra verifier (#8115) (6c5ab2b)