0.64.0 (2024-11-25)
⚠ BREAKING CHANGES
- rename SharedMutable methods (#10165)
- add AztecAddress.isValid and make random be valid (#10081)
- Always Check Arithmetic Generics at Monomorphization (noir-lang/noir#6329)
Features
- Add AztecAddress.isValid and make random be valid (#10081) (fbdf6b0)
- Always Check Arithmetic Generics at Monomorphization (noir-lang/noir#6329) (b8bace9)
- avm: Error handling for address resolution (#9994) (ceaeda5), closes #9131
- avm: Integrate ephemeral trees (#9917) (fbe1128)
- avm: More efficient low leaf search (#9870) (f7bbd83)
- Avoid unnecessary ssa passes while loop unrolling (noir-lang/noir#6509) (b8bace9)
- Bb-prover AVM test crafts a test TX & properly plumbs AvmCircuitPublicInputs to witgen (#10083) (55564aa)
- Calls to non-existent contracts in the AVM simulator return failure (#10051) (133384c)
- Compute base-fee on l1 (#9986) (4ab46fe)
- Deduplicate instructions across blocks (noir-lang/noir#6499) (b8bace9)
- E2e metrics reporting (#9776) (9cab121)
- Gating test (#9918) (c6b65ab), closes #9883
- Google Kubernetes Engine - Prover Agent Spot Node Support (#10031) (4d6da9b)
- Improve trace utilization tracking (#10008) (4c560ab)
- Improved data storage metrics (#10020) (c6ab0c9)
- Initial gas oracle (#9952) (e740d42)
- Insert public data tree leaves one by one (#9989) (a2c0701)
- Integrate base fee computation into rollup (#10076) (3417b22)
- IPA accumulators setup for Rollup (#10040) (4129e27)
- New proving agent (#9999) (9ad24dd)
- profiler: Reduce memory in Brillig execution flamegraph (noir-lang/noir#6538) (b8bace9)
- Public network deployments (#10089) (570f70a)
- PXE handles reorgs (#9913) (aafef9c)
- Rename SharedMutable methods (#10165) (4fd70e8)
- Reset pxe indexes (#10093) (3848c01)
- Simplify constant MSM calls in SSA (noir-lang/noir#6547) (b8bace9)
- Single commitment key allocation in CIVC (#9974) (a0551ee)
- SSA parser (noir-lang/noir#6489) (b8bace9)
- ssa: Unroll small loops in brillig (noir-lang/noir#6505) (b8bace9)
- Sync from aztec-packages (noir-lang/noir#6557) (b8bace9)
- Sync tags as sender (#10071) (122d2e4)
- Terraform for release deployments (#10091) (dc528da), closes #10144
- Trait aliases (noir-lang/noir#6431) (b8bace9)
- Unify anvil versions (#10143) (adae143)
- Updating consensus payload (#10017) (85c8a3b)
- Use a full
BlackBoxFunctionSolverimplementation when execution brillig during acirgen (noir-lang/noir#6481) (b8bace9) - val: Reex (#9768) (2e58f0a)
Bug Fixes
- Add curl to aztec nargo container (#10173) (2add6ae)
- Add zod parsing for generated contract artifacts (#9905) (e1ef998)
- Allow range checks to be performed within the comptime intepreter (noir-lang/noir#6514) (b8bace9)
- Allow unwinding multiple empty blocks (#10084) (ec34442)
- Boxes (#10122) (10df7c5)
- Check infix expression is valid in program input (noir-lang/noir#6450) (b8bace9)
- Disallow
#[test]on associated functions (noir-lang/noir#6449) (b8bace9) - Disallow contract registration in pxe of contract with duplicate private function selectors (#9773) (2587ad5)
- Discard optimisation that would change execution ordering or that is related to call outputs (noir-lang/noir#6461) (b8bace9)
- Do a shallow follow_bindings before unification (noir-lang/noir#6558) (b8bace9)
- docs: Fix broken links in oracles doc (noir-lang/noir#6488) (b8bace9)
- Don't crash on AsTraitPath with empty path (noir-lang/noir#6454) (b8bace9)
- Fix poor handling of aliased references in flattening pass causing some values to be zeroed (noir-lang/noir#6434) (b8bace9)
- Let formatter respect newlines between comments (noir-lang/noir#6458) (b8bace9)
- Make bytecode part of artifact hash preimage again (#9771) (cdabd85)
- Parse Slice type in SSa (noir-lang/noir#6507) (b8bace9)
- Perform arithmetic simplification through
CheckedCast(noir-lang/noir#6502) (b8bace9) - Potential e2e-p2p fix (#10094) (820bcc6)
- Prover-agent.yaml syntax (#10131) (a238fe6)
- Remove src build from doc build flow (#10127) (fbfe1b1)
- Revert "feat: integrate base fee computation into rollup" (#10166) (1a207f5)
- Right shift is not a regular division (noir-lang/noir#6400) (b8bace9)
- sea: Mem2reg to treat block input references as alias (noir-lang/noir#6452) (b8bace9)
- Set local_module before elaborating each trait (noir-lang/noir#6506) (b8bace9)
- Sorting artifact props and members in metadata (#9772) (aba568a)
- ssa: Change array_set to not mutate slices coming from function inputs (noir-lang/noir#6463) (b8bace9)
- ssa: Resolve value IDs in terminator before comparing to array (noir-lang/noir#6448) (b8bace9)
- Strip wasm debug (#9987) (62a6b66)
- Take blackbox function outputs into account when merging expressions (noir-lang/noir#6532) (b8bace9)
- tests: Prevent EOF error while running test programs (noir-lang/noir#6455) (b8bace9)
- tests: Use a file lock as well as a mutex to isolate tests cases (noir-lang/noir#6508) (b8bace9)
- Treat all parameters as possible aliases of each other (noir-lang/noir#6477) (b8bace9)
- Zero index is not always 0 (#10135) (bbac3d9)
Miscellaneous
- Add
Instruction::MakeArrayto SSA (noir-lang/noir#6071) (b8bace9) - Added test showcasing performance regression (noir-lang/noir#6566) (b8bace9)
- avm: Remove initialization for non-derived polynomials (#10103) (c6fdf4b), closes #10096
- Bump rust dependencies (noir-lang/noir#6482) (b8bace9)
- ci: Bump mac github runner image to
macos-14(noir-lang/noir#6545) (b8bace9) - ci: Fix cargo deny (noir-lang/noir#6501) (b8bace9)
- Convert some tests to use SSA parser (noir-lang/noir#6543) (b8bace9)
- Delete stray todos (#10112) (cc4139a)
- Do not run e2e-2-pxes along with e2e pxe test (#10155) (f0f8d22)
- docs: Update How to Oracles (noir-lang/noir#5675) (b8bace9)
- Embed package name in logs (noir-lang/noir#6564) (b8bace9)
- Fast epoch building test (#10045) (fb791a2), closes #9809
- Fix pool metrics (#9652) (233b387)
- Fix spartan deploy script (#10078) (368ac8b)
- Initial draft of testnet-runbook (#10085) (598c1b1)
- Lower throughput of ebs disks (#9997) (698cd3d)
- Make tests not silent if DEBUG set (#10130) (95e8406)
- Move tests for arithmetic generics closer to the code (noir-lang/noir#6497) (b8bace9)
- Optimise polynomial initialisation (#10073) (e608742)
- Parse negatives in SSA parser (noir-lang/noir#6510) (b8bace9)
- Proptest for
canonicalizeon infix type expressions (noir-lang/noir#6269) (b8bace9) - Pull across noir-lang/noir#6558 (#10037) (3014a69)
- Pull out sync changes (#10072) (06ef61e)
- Release Noir(0.38.0) (noir-lang/noir#6422) (b8bace9)
- Release Noir(0.39.0) (noir-lang/noir#6484) (b8bace9)
- Remove handling of duplicates from the note hash tree (#10016) (ece1d45)
- Remove PublicExecutor (#10028) (9643dcd)
- Remove separate acvm versioning (noir-lang/noir#6561) (b8bace9)
- Remove some
_else_conditiontech debt (noir-lang/noir#6522) (b8bace9) - Remove some unnecessary clones (#10049) (8628b32)
- Remove unused imports (#10134) (8dbeda0)
- Remove unused methods from implicit numeric generics (noir-lang/noir#6541) (b8bace9)
- Replace relative paths to noir-protocol-circuits (ccf6695)
- Replace relative paths to noir-protocol-circuits (fa225a2)
- Replace relative paths to noir-protocol-circuits (98387b8)
- Replace relative paths to noir-protocol-circuits (94753d4)
- Restructure
noirc_evaluatorcrate (noir-lang/noir#6534) (b8bace9) - Revamp attributes (noir-lang/noir#6424) (b8bace9)
- Reverse ssa parser diff order (noir-lang/noir#6511) (b8bace9)
- Revert #6375 (noir-lang/noir#6552) (b8bace9)
- Skip emitting public bytecode (#10009) (280d169)
- Split path and import lookups (noir-lang/noir#6430) (b8bace9)
- ssa: Skip array_set pass for Brillig functions (noir-lang/noir#6513) (b8bace9)
- Switch to 1.0.0-beta versioning (noir-lang/noir#6503) (b8bace9)
- test: More descriptive labels in test matrix (noir-lang/noir#6542) (b8bace9)
- test: Remove duplicate brillig tests (noir-lang/noir#6523) (b8bace9)
- test: Run test matrix on test_programs (noir-lang/noir#6429) (b8bace9)
- Update example to show how to split public inputs in bash (noir-lang/noir#6472) (b8bace9)