0.25.0 (2024-03-05)
Features
- Additional op count timing (#4722) (f0cc760)
- Analyze % of time spent on field arithmetic (#4501) (5ddfa16)
- avm-simulator: Implement AVM message opcodes (simulator/transpiler/noir-test) (#4852) (c98325d)
- avm: Enable main -> mem clk lookups (#4591) (0e503c1)
- avm: Hashing opcodes (#4526) (fe10c70)
- avm: Propagate tag err to the main trace for op_return and internal_return (#4615) (427f1d8), closes #4598
- Avoid requiring arith gates in sequence (#4869) (0ab0a94)
- bb: Working msan preset (#4618) (0195ac8)
- Benchmark Protogalaxy rounds (#4316) (91af28d)
- Bitwise_not avm circuit (#4548) (3a7d31b)
- Equality avm circuit (#4595) (aad7b45)
- Execution Trace (#4623) (07ac589)
- Gate blocks (#4741) (61067a5)
- Goblin documentation (#4679) (24d918f)
- Goblin Translator Fuzzer (#4752) (7402517)
- GoblinUltra Bench (#4671) (319eea9)
- Implementing IPA optimisation (#4363) (13647c2)
- Login to ecr explicitly, faster bootstrap as we only do once. (#4900) (86d6749)
- Manual ClientIVC breakdown (#4778) (b4cfc89)
- Parallel native/wasm bb builds. Better messaging around using ci cache. (#4766) (a924e55)
- Parallelise kernel and function circuit construction in client IVC (#4841) (9c689d8)
- Separate addition gate after final RAM gate (#4851) (f329db4)
- Separate arithmetic gate in sort with edges (#4866) (40adc5c)
- Simplify public input copy cycles (#4753) (a714ee0)
- Update RAM/ROM memory records for new block structure (#4806) (65e4ab9)
Bug Fixes
- Add TODO with issue for num_gates bug (#4847) (f6c558b)
- Assembly benching (#4640) (f144745)
- bb: Initialize element::infinity() (#4664) (6813540)
- Cpp build (#4918) (15df3c0)
- Debug build (#4666) (acc27b1)
- dsl: Add full recursive verification test (#4658) (9e09772)
- Fix races in slab allocator and lookup tables and add prepending for op_queues (#4754) (0c99de7)
- Fix Translator composer test instability (#4751) (842ba7a)
- G2.Serialize sporadic failure (#4626) (c9e6bb1)
- Get_wires for ultra (#4605) (512110e)
- Master borked arithmetic tests (#4606) (472c54a)
- Msan build (#4646) (886cc75)
- MSAN msgpack noise (#4677) (1abae28)
- Remove the
VerificationKeyfromProverInstance(#4908) (8619c08) - Use size hint for ivc circuits (#4802) (035cff4)
Miscellaneous
- Add pow poly bench and link optimization issues (#4725) (faa9586)
- Address comments (#4772) (10d90ab)
- avm: Remove some leftover files related to Avm-mini (replaced by Avm) (#4715) (8c697ce)
- bb: Allow dynamic plookup tables (#4667) (5920012)
- bb: More namespaces under bb (#4348) (00ba983)
- bb: Small test improvements (#4568) (e23d048)
- bb: Use RefArray where possible (#4686) (5b4e1a6)
- Bootstrap improvements. (#4711) (1375233)
- Get rid of Honk UltraComposer (#4875) (7e52c29)
- Implement poseidon2 opcode (#4446) (491a8df)
- Make first iteration of protogalaxy more efficient (#4630) (4c7f24f)
- Min noir build (#4812) (01dd0a9)
- Move remaining data out of Honk UltraComposer (#4848) (823e071)
- Move vk computation out of Honk Ultra composer (#4811) (f354e89)
- Pull noir for u64 as array lengths (#4787) (e69b586)
- Remove VK computation Pg prover flow; improve benchmark to reflect possible optimization (#4639) (c1709b3)
- Remove WASMTIME_ENV_HACK (#4714) (50f89f1)
- Rename avm_mini to avm (#4580) (5896a92), closes #4533
- Squash yp ypb + other build improvements. (#4901) (be5855c)
- Toy avm snake case (#4584) (d071768)