barretenberg.js: v0.67.1

0.67.1 (2024-12-17)

Features

• PXE browser proving (#10704) (46da3cc)

Bug Fixes

• bb.js: Use globalThis instead of self (#10747) (309b5f7), closes #10741
• Casting vk to rawbuffer before wasm so it reads from the correct offset (#10769) (6a5bcfd)

barretenberg: v0.67.1

0.67.1 (2024-12-17)

Features

• Add tree equality assertions (#10756) (923826a)
• Better initialization for permutation mapping components (#10750) (1516d7f)
• Leaf index requests to the native world state can now be performed as a batch query (#10649) (a437e73)
• New 17 in 20 IVC bench added to actions (#10777) (9fbcff6)
• Note hash management in the AVM (#10666) (e077980)
• Sumcheck with disabled rows (#10068) (abd2226)

Bug Fixes

• Avm gas and non-member (#10709) (dd8cc7b)
• Use correct size for databus_id (#10673) (95eb658)

Miscellaneous

• Move decider PK allocation to methods (#10670) (1ab9e30)

aztec-packages: v0.67.1

0.67.1 (2024-12-17)

Features

• nargo test -q (or nargo test --format terse) (noir-lang/noir#6776) (8956e28)
• Add (x | 1) optimization for booleans (noir-lang/noir#6795) (8956e28)
• Add nargo test --format json (noir-lang/noir#6796) (d74d0fc)
• Add tree equality assertions (#10756) (923826a)
• avm: Migrate simulator memory to a map (#10715) (64d5f2b), closes #10370
• Better initialization for permutation mapping components (#10750) (1516d7f)
• Blobs 2. (#10188) (d0a4b2f)
• blobs: Add consensus client url to config (#10059) (1e15bf5)
• Check max fees per gas (#10283) (4e59b06)
• cli: Verify return against ABI and Prover.toml (noir-lang/noir#6765) (8956e28)
• Json output for get_node_info (#10771) (b086c52)
• Leaf index requests to the native world state can now be performed as a batch query (#10649) (a437e73)
• New 17 in 20 IVC bench added to actions (#10777) (9fbcff6)
• Note hash management in the AVM (#10666) (e077980)
• p2p: Activate gossipsub tx validators (#10695) (9cce2c6)
• PXE browser proving (#10704) (46da3cc)
• ssa: Bring back tracking of RC instructions during DIE (noir-lang/noir#6783) (308c5ce)
• ssa: Hoist MakeArray instructions during loop invariant code motion (noir-lang/noir#6782) (8956e28)
• Sumcheck with disabled rows (#10068) (abd2226)
• TXE detects duplicate nullifiers (#10764) (7f70110)

Bug Fixes

• Always remove nullified notes (#10722) (5e4b46d)
• Avm gas and non-member (#10709) (dd8cc7b)
• bb.js: Use globalThis instead of self (#10747) (309b5f7), closes #10741
• Cache (#10692) (1b1306c)
• Casting vk to rawbuffer before wasm so it reads from the correct offset (#10769) (6a5bcfd)
• ci: Network-test timing (#10725) (9c9a2dc)
• Disable failure persistance in nargo test fuzzing (noir-lang/noir#6777) (8956e28)
• Get e2e jobs (#10689) (37e1999)
• Give build:fast a try in build (#10702) (32095f6)
• Minimal change to avoid reverting entire PR #6685 (noir-lang/noir#6778) (8956e28)
• Optimizer to keep track of changing opcode locations (noir-lang/noir#6781) (8956e28)
• Race condition in block stream (#10779) (64bccd0)
• Race condition when cleaning epoch proof quotes (#10795) (f540fbe)
• testdata: Relative path calculation (#10791) (5a530db)
• Use correct size for databus_id (#10673) (95eb658)
• Use extension in docs link so it also works on GitHub (noir-lang/noir#6787) (8956e28)
• Use throw instead of reject in broker facade (#10735) (cc6a72b)

Miscellaneous

• getLogsByTags request batching in syncTaggedLogs (#10716) (bbbf38b)
• Add Instruction::map_values_mut (noir-lang/noir#6756) (308c5ce)
• Add errors to abis (#10697) (5c8e017)
• Add retries for prover node p2p test (#10699) (4115bf9)
• Add spans to proving job (#10794) (df3c51b)
• avm: Disable fake avm recursive verifier from the public base rollup (#10690) (b6c9c41)
• Better reqresp logging + handle empty responses in snappy (#10657) (934107f)
• Bump metrics and node...

aztec-package: v0.67.1

0.67.1 (2024-12-17)

Miscellaneous

• Granular CLI imports to reduce start time (#10778) (e2fd046)
• Split up protocol contract artifacts (#10765) (5a9ca18)
• Trace and handle errors in running promises (#10645) (4cc0a6d)

barretenberg.js: v0.67.0

0.67.0 (2024-12-13)

Features

• CIVC browser proveThenVerify (#10431) (8c064d4)
• Keccak honk proving in bb.js (#10489) (e0d7431)

Bug Fixes

• Bump hard coded SRS size for wasm from 2^19 to 2^10 (#10596) (a37f82d)

barretenberg: v0.67.0

0.67.0 (2024-12-13)

⚠ BREAKING CHANGES

• lower public tx gas limit to 6M (#10635)
• l2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k. (#10214)
• rename Header to BlockHeader (#10372)

Features

• Add verify proof calls to private kernels (#10533) (ce0eee0)
• Adding fuzzer for ultra bigfield and relaxing ultra circuit checker (#10433) (da4c47c)
• AVM inserts fee write on txs with public calls (#10394) (98ba747)
• CIVC browser proveThenVerify (#10431) (8c064d4)
• GETCONTRACTINSTANCE and bytecode retrieval perform nullifier membership checks (#10445) (9301253), closes #10377 #10379
• Handle nested calls in witgen (#10384) (1e21f31)
• Keccak honk proving in bb.js (#10489) (e0d7431)
• Modify HonkRecursionConstraint to handle IPA claims (#10469) (a204d1b)
• Remove auto verify mode from ClientIVC (#10599) (b1d8b97)
• Rename Header to BlockHeader (#10372) (0803964)
• Sayonara old hints (#10547) (dede16e)
• Several Updates in SMT verification module (part 1) (#10437) (0c37672)
• Unified create circuit from acir (#10440) (a4dfe13)

Bug Fixes

• Remove auto verify in cbind ivc prove (#10627) (d773423)
• Use e2e structure in cbind (#10585) (985aef1)

Miscellaneous

• avm: Gas constants adjustment based on trace rows accounting (#10614) (fc729ef), closes #10368
• avm: More pilcom compat changes (#10569) (f18d701)
• avm: Pilcom compatibility changes (#10544) (fbc8c0e)
• L2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k. (#10214) (1365401)
• Lower public tx gas limit to 6M (#10635) (9836036)
• Optimise grand product computation round based on active ranges (#10460) (7fa8f84)

aztec-packages: v0.67.0

0.67.0 (2024-12-13)

⚠ BREAKING CHANGES

• stdlib: Remove Schnorr (noir-lang/noir#6749)
• lower public tx gas limit to 6M (#10635)
• l2 gas maximum is per-TX-public-portion. AVM startup gas is now 20k. (#10214)
• rm outgoing logs (#10486)
• rename Header to BlockHeader (#10372)
• several format string fixes and improvements (noir-lang/noir#6703)

Features

• std::hint::black_box function. (noir-lang/noir#6529) (3166529)
• Add rollup circuit sample inputs (#10608) (775b459)
• Add verify proof calls to private kernels (#10533) (ce0eee0)
• Adding fuzzer for ultra bigfield and relaxing ultra circuit checker (#10433) (da4c47c)
• Allow making range queries to prometheus in tests (f9810cc)
• Allow metrics to be instantly flushed (f9810cc)
• AVM inserts fee write on txs with public calls (#10394) (98ba747)
• ci: Initial compilation report on test_programs (noir-lang/noir#6731) (3166529)
• CIVC browser proveThenVerify (#10431) (8c064d4)
• Cli wallet improvements (#10425) (cc8bd80)
• cli: Run command on the package closest to the current directory (noir-lang/noir#6752) (3166529)
• DB Metrics now use labels for easier querying (#10572) (adadfa5)
• Deploy a network using master each night night (#10536) (015ec0e), closes #10474 #10473
• Deploy faucet (#10580) (09e95a1)
• Do not make unique revertible note hashes in the private kernels (#10524) (d327da1)
• Emulating blocks and correct (non-partial) note discovery in txe (#10356) (6f209fb)
• Expose P2P service API and clean up logs (#10552) (98cea58), closes #10299
• GETCONTRACTINSTANCE and bytecode retrieval perform nullifier membership checks (#10445) (9301253), closes #10377 #10379
• Handle nested calls in witgen (#10384) (1e21f31)
• Keccak honk proving in bb.js (#10489) (e0d7431)
• Metrics via terraform (#10594) (e21069d), closes #10191 #10439
• Modify HonkRecursionConstraint to handle IPA claims (#10469) (a204d1b)
• Order attribute execution by their source ordering (noir-lang/noir#6326) (3166529)
• Persistence in helm chart for validator and boot node (#10543) (f9810cc)
• Prover-client exec timing analysis scripts. (82434a2)
• PXE in the browser (#10353) (676f673)
• PXE sync on demand (#10613) (b2f1159)
• Remove auto verify mode from ClientIVC (#10599) (b1d8b97)
• Rename Header to BlockHeader (#10372) (0803964)
• Rm outgoing logs (#10486) (c28beec)
• Sayonara old hints (#10547) (dede16e)
• Several nargo test improvements (noir-lang/noir#6728) (3166529)
• Several Updates in SMT verification module (part 1) (#10437) (0c37672)
• ssa: Implement missing brillig constraints SSA check (noir-lang/noir#6658) (3166529)
• Sync from aztec-packages (noir-lang/noir#6730) (3166529)
• test: Check that nargo::ops::transform_program is idempotent (noir-lang/noir#6694) (3166529)
• Unified create circuit from acir (#10440) (a4dfe13)
• Update and generate test Prover.tomls for protocol circuits (#10659) (eb5f18a)

Bug Fixes

• #10473 (015ec0e)
• #10474 (015ec0e)
• Allow empty loop headers (noir-lang/noir#6736) ([3166529](31665296c9...

aztec-package: v0.67.0

0.67.0 (2024-12-13)

Features

• Deploy faucet (#10580) (09e95a1)
• Expose P2P service API and clean up logs (#10552) (98cea58), closes #10299
• PXE in the browser (#10353) (676f673)
• PXE sync on demand (#10613) (b2f1159)

Bug Fixes

• Do not load pino-pretty in production bundles (#10578) (e515e6e)
• Tweaking Fr and Fq fromString functionality to distinguish number-only strings (#10529) (736fce1)

Miscellaneous

• Bump jest default test timeout to 30s (#10550) (841bf48)
• Rename logger modules (#10404) (7441767), closes #10125

barretenberg.js: v0.66.0

0.66.0 (2024-12-06)

Miscellaneous

• barretenberg.js: Synchronize aztec-packages versions

barretenberg: v0.66.0

0.66.0 (2024-12-06)

⚠ BREAKING CHANGES

• remove SchnorrVerify opcode (#9897)

Features

• Allow querying block number for tree indices (#10332) (cf05a7a)
• Avoid inserting an empty leaf in indexed trees on update (#10281) (5a04ca8)
• Avoid inserting an empty leaf in indexed trees on update (#10334) (80fad45)
• bb: Define std::hash for field (#10312) (752bc59)
• Client IVC API (#10217) (cc54a1e)
• Integrate verify_proof calls in mock protocol circuits (#9253) (7ed89aa)
• Manage enqueued calls & phases in AVM witgen (#10310) (e7ebef8)
• Mock IVC state from arbitrary acir IVC recursion constraints (#10314) (ac7c0da)
• Ultra rollup flows (#10162) (c53f4cf)

Bug Fixes

• Bbup cleanup and fix (#10067) (0ff8177)
• Revert "feat: Avoid inserting an empty leaf in indexed trees on update" (#10319) (887c011)
• Url in bbup install (#10456) (1b0dfb7)
• Witness changes in file sponge.hpp (#10345) (4a38edf)

Miscellaneous

• avm: Fake verification routine for avm recursion in public base rollup (#10382) (a1e5966), closes #10243
• avm: Remove function selector type of getenv opcode (#10406) (38c0c14), closes #9396
• Don't generate proofs of verifier circuits in test (#10405) (c00ebdd)
• Making bbup a shell script (#10426) (1c29554)
• Parallelise construction of perturbator coefficients at each level (#10304) (ba335bd)
• Parallelise inverse polynomial construction for lookup relations (#10413) (427cf59)
• Public inputs in unit tests with proving were incorrectly set (#10300) (0311bf3)
• Redo typo PR by Dimitrolito (#10364) (da809c5)
• Redo typo PR by leopardracer (#10363) (0d1b722)
• Remove SchnorrVerify opcode (#9897) (93cd323)