0.44.0 (2024-06-26)
Features
- Added prove_output_all flow for honk (#6869) (7bd7c66)
- avm: Add ECC ops to avm_proving_test (#7058) (7f62a90)
- avm: Cpp msm changes (#7056) (f9c8f20)
- avm: Include bb-pilcom in monorepo (#7098) (0442158)
- Conventional lookups using log-deriv (#7020) (6f1212f)
- Enable merge recursive verifier in Goblin recursive verifier (#7182) (9b4f56c)
- Several updates in SMT verification module (#7105) (41b21f1)
- Shplonk revival in ECCVM (#7164) (34eb5a0)
Bug Fixes
- avm: Fix unencryptedlog c++ deser (#7194) (89a99af)
- avm: Re-enable ext call test (#7147) (33ccf1b)
- avm: Reenable tag error sload (#7153) (fd92d46)
- avm: Update codegen (#7178) (1d29708)
- Bug fixing bench prover test (#7135) (13678be), closes #7080
- Fix bug for a unit test in full proving mode repated to MSM (#7104) (e37809b)
Miscellaneous
- avm: Remove avm prefix from pil and executor (#7099) (b502fcd)
- avm: Renamings and comments (#7128) (ed2f98e)
- avm: Separate some fixed tables (#7163) (1d4a9a2)
- Create workflow for full AVM tests (#7051) (a0b9c4b), closes #6643
- Indirects and read/write slices (#7082) (d5e80ee)
- Reads the return data (#6669) (ef85542)
- Remove unneeded public input folding (#7094) (c30dc38)
- Take the PCS out of Zeromorph and refactor tests (#7078) (e192678)
- Ultra flavor cleanup (#7070) (77761c6)