CHANGELOG.md

Changelog

0.41.0 (2024-05-21)

⚠ BREAKING CHANGES

• add is_infinite to curve addition opcode (#6384)

Features

• Add is_infinite to curve addition opcode (#6384) (75d81c5)
• avm-simulator: Cap gas for external calls (#6479) (c8771ba)
• avm: Gzip avm bytecode (#6475) (29559bd)
• avm: To_radix gadget (#6368) (89dd25f)
• Full encryption and decryption of log in ts (#6348) (0ac83dc)
• Improved ClientIvc (#6429) (f360b3f)
• Laying out a new recursion constraint for honk (#6489) (af9fea4)
• Remove total logs len from pre tail kernels + add to L1 (#6466) (66a2d43)
• Run benchmarks for ACIR proving (#6155) (ebf6fc2)
• Squash transient note logs (#6268) (4574877)
• Sum transaction fees and pay on l1 (#6522) (bf441da)
• Translator recursive verifier (#6327) (9321aef)
• View functions with static context enforcing (#6338) (22ad5a5)
• Vk_as_fields, proof_as_fields flows for honk (#6406) (a6100ad)

Bug Fixes

• Disable buggy ClientIVC tests (#6546) (b61dea3)
• Increase N_max in Zeromorph (#6415) (9e643b4)

Miscellaneous

• Add c++ tests for generator derivation (#6528) (72931bd)
• Bump maximum nullifier read requests (necessary for e2e tests in AVM) (#6462) (26eac62)
• Bump maximum nullifier read requests (necessary for e2e tests in AVM) (#6495) (90d8092)
• Copy subset of constants to cpp (#6544) (21dc72a)
• Lower max public bytecode to 20k (#6477) (ce192f0)
• Parameterise cycle_group by Builder rather than Composer (#6565) (ea36bf9)
• Private call validation (#6510) (07dc072)
• Share decider with ultra_prover (#5467) (b3b7376)

Documentation

• Sumcheck documentation (#5841) (116eef0)

0.40.1 (2024-05-14)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.40.0 (2024-05-14)

⚠ BREAKING CHANGES

• debug logs for all (#6392)

Features

• Debug logs for all (#6392) (10afa13)

Miscellaneous

• Add more serialisation traits to protocol circuits (#6385) (97d5422)

0.39.0 (2024-05-14)

⚠ BREAKING CHANGES

• switch bb over to read ACIR from nargo artifacts (#6283)
• specify databus arrays for BB (#6239)

Features

• Avm support for public input columns (#5700) (8cf9168)
• avm-simulator: Add to_radix_le instruction (#6308) (6374a32)
• Div opcode (#6053) (8e111f8)
• Move to_radix to a blackbox (#6294) (ac27376)
• Small translator optimisations (#6354) (ba6c42e)
• Specify databus arrays for BB (#6239) (01d9f24)
• Structured trace in client ivc (#6132) (92c1478)
• Switch bb over to read ACIR from nargo artifacts (#6283) (78adcc0)
• ToRadix BB + avm transpiler support (#6330) (c3c602f)
• vm: Reading kernel state opcodes (#5739) (3250a8a)

Bug Fixes

• Temporarily revert to_radix blackbox (#6304) (044d0fe)

Miscellaneous

• dsl: Update backend gateCount command to query a Program in a single request (#6228) (8079f60)
• Make MSM builder more explicit (#6110) (40306b6)
• Remove bb info command (#6276) (f0a1c89)
• Update serialisation (#6378) (527129d)

0.38.0 (2024-05-07)

⚠ BREAKING CHANGES

• AES blackbox (#6016)

Features

• multi_scalar_mul blackbox func (#6097) (f6b1ba6)
• AES blackbox (#6016) (e4b97a8)
• avm: Add TransactionFee opcode to simulator (#6210) (fcac844)
• Honk flows exposed through wasm (#6096) (c9b3206)
• Osxcross (#6099) (6cc924d)
• Recursive folding verifier and decider as ultra circuits and circuit simulator (#6150) (acc8641)
• Reproducible ClientIVC proofs (#6227) (c145757)

Bug Fixes

• Correct circuit size estimation for UltraHonk (#6164) (ed84fe3)
• Sporadic failure of GoblinRecursionTests.Vanilla (#6218) (f4ecea5)

Miscellaneous

• ci: Fix restarts with fresh spot, acir test fixes, non-mandatory benches (#6226) (adb7f37)
• Migrate acir tests to earthly (#6142) (18c8ea8)

0.37.0 (2024-05-02)

⚠ BREAKING CHANGES

• use distinct return value witnesses by default (noir-lang/noir#4951)

Features

• Count Bb lines weighted by complexity (#6090) (705177f)
• Devbox (#5772) (72321f9)
• Handle no_predicates attribute (noir-lang/noir#4942) (4dc5efb)
• Pippenger benchmarks compatible with wasmtime (#6095) (5297b5b)
• Use distinct return value witnesses by default (noir-lang/noir#4951) (4dc5efb)

Bug Fixes

• Ensure where clauses propagated to trait default definitions (noir-lang/noir#4894) (4dc5efb)
• Require for all foldable functions to use distinct return (noir-lang/noir#4949) (4dc5efb)

Miscellaneous

• Add test for recursing a foldable function (noir-lang/noir#4948) (4dc5efb)
• docs: Adding matomo tracking (noir-lang/noir#4898) (4dc5efb)
• Fix typo in ResolverError::AbiAttributeOutsideContract (noir-lang/noir#4933) (4dc5efb)
• Redo typo PR by stayweek (#6080) (0869452)
• Remove unnecessary pub(super) in interpreter (noir-lang/noir#4939) (4dc5efb)

0.36.0 (2024-04-30)

⚠ BREAKING CHANGES

• remove Opcode::Brillig from ACIR (#5995)
• change backend width to 4 (#5374)

Features

• variable_base_scalar_mul blackbox func (#6039) (81142fe)
• Avm mem trace validation (#6025) (3a3afb5), closes #5950
• avm: Avm circuit FDIV opcode (#5958) (fed5b6d), closes #5953
• avm: CAST opcode implementation (#5477) (a821bcc), closes #5466
• avm: Negative tests (#5919) (8a5ece7)
• avm: Shift relations (#5716) (a516637)
• Avoiding redundant computation in PG (#5844) (9f57733)
• Change backend width to 4 (#5374) (3f24fc2)
• Circuit simulator for Ultra and Mega verifiers (#1195) (0032a3a)
• Dynamic assertion payloads v2 (#5949) (405bdf6)
• Implement recursive verification in the parity circuits (#6006) (a5b6dac)
• Keshas skipping plus conditions for grand prod relations (#5766) (d8fcfb5)
• Naive structured execution trace (#5853) (23aab17)
• Prove then verify flow for honk (#5957) (099346e)

Bug Fixes

• avm: Comments and assert (#5956) (ae50219)
• Fix relation skipping for sumcheck (#6092) (1449c33)
• Remove tx.origin (#5765) (c8784d7), closes #5756

Miscellaneous

• create_fixed_base_constraint cleanup (#6047) (e1d6526)
• avm: Negative unit tests for AVM CAST opcode (#5907) (4465e3b), closes #5908
• avm: Re-enable proof in some unit tests (#6056) (0ebee28), closes #6019
• Clean up and clarify some translator flavor logic (#5965) (242b364)
• Do not bootstrap cache if working copy is dirty (#6033) (3671932)
• ProvingKey has ProverPolynomials (#5940) (0a64279)
• Purging portal addresses (#5842) (4faccad)
• Refactor recursive verifier tests (#6063) (94a2d61)
• Remove Opcode::Brillig from ACIR (#5995) (ffd5f46)
• Remove l1 gas (#6069) (0e3705f)
• Simplify computation of pow for each sumcheck round (#5903) (74a9d5d)

0.35.1 (2024-04-16)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.35.0 (2024-04-16)

⚠ BREAKING CHANGES

• Use fixed size arrays in black box functions where sizes are known (#5620)
• trap with revert data (#5732)
• acir: BrilligCall opcode (#5709)

Features

• acir: BrilligCall opcode (#5709) (f06f64c)
• avm: CMOV opcode (#5575) (19dbe46), closes #5557
• avm: Enable contract testing with bb binary (#5584) (d007d79)
• avm: Enable range check on the ALU registers (#5696) (202fc1b)
• Changing finite field arithmetic in wasm to 29 bits for multiplications (#5435) (b2d9b9d)
• ci: Turn on new CI as mandatory (#5761) (bebed32)
• Export poseidon2_permutation and add to foundation/crypto (#5706) (6b91e27)
• LT/LTE for AVM (#5559) (350abeb)
• Trap with revert data (#5732) (f849575)
• Use fixed size arrays in black box functions where sizes are known (#5620) (f50b180)

Bug Fixes

• "feat: Changing finite field arithmetic in wasm to 29 bits for multiplications" (#5779) (bcfee97)
• Avoid get row in databus (#5742) (d67b6c8)
• ci: Bigger cache disk, cache+prune docker images, disable ClientIvcTests.Full (#5729) (5dcbd75)
• Disable flakey vanilla recursion test (#5672) (f84f7b6)
• Less earthly cache (#5690) (8190dc7)
• Make earthly more parallel (#5747) (9734455)
• Simplify ECCVM prover constructor and add a TODO (#5681) (8c151ea)

Miscellaneous

• avm: Add a boolean to toggle proving in AVM unit tests (#5667) (ec122c9), closes #5663
• avm: Range checks negative tests (#5770) (2907142)
• avm: Split the negative test on range check for high 16-bit registers (#5785) (8ebbe57)
• ci: Use 128 cores for x86 and add timeouts (#5665) (0c5dc0a)
• Don't strip bb wasm (#5743) (d4cb410)
• Fix master after merge issue related to validate_trace renaming (#5676) (44e0d8a)
• Op queue (#5648) (822c7e6)

0.34.0 (2024-04-10)

⚠ BREAKING CHANGES

• remove fixed-length keccak256 (#5617)

Features

• Generalize protogalaxy to multiple instances (#5510) (f038b70)
• Stdlib databus (#5598) (633a711)

Miscellaneous

• Remove fixed-length keccak256 (#5617) (40480b3)

0.33.0 (2024-04-09)

⚠ BREAKING CHANGES

• acir: Add predicate to call opcode (#5616)

Features

• acir: Add predicate to call opcode (#5616) (e8cec0a)
• Avm logup (#5577) (7e4e9b9)
• avm: Contract instance opcode (#5487) (ceacba6)
• avm: Indirect memory for set opcode (#5546) (e0e7200), closes #5542
• DataBus notion with calldata/return data (#5504) (95a1d8a)
• Optimise relations (#5552) (a581e80)
• Optimize auxiliary relations slightly (#5517) (30be431)

Miscellaneous

• ECCVM flavor depends on builder (#5323) (a594683)
• Get rid of ECCVM composer (#5562) (43ed901)

0.32.1 (2024-04-02)

Features

• acvm: Execute multiple circuits (#5380) (bb71920)
• Earthly split runners, structure reverts (#5524) (fcb8787)
• Parallel gtest (#5498) (349ea59)

Bug Fixes

• ci: Turn on earthly for everyone (#5423) (bea3fcb)
• Cpp cache and add other e2e (#5512) (4118bcd)
• Univariate evals not set in ECCVM prover (#5529) (f9a2b7c)

Miscellaneous

• Add goblin ops in add_gates_to_ensure_all_polys_are_non_zero (#5468) (b9041e4)
• avm: Add 15 additional 16-bit registers in ALU trace of AVM circuit (#5503) (8725c39)
• avm: Migrate memory data structure in AVM circuit to unordered map (#5506) (ccd09aa)
• Bye bye shared ptrs for ultra/goblin ultra proving_keys :) (#5407) (b94d0db)
• Clean up compute_next_accumulator (#5516) (f9be2f2)
• Move alphas generation to oink (#5515) (3b964f3)

0.32.0 (2024-03-27)

⚠ BREAKING CHANGES

• Brillig typed memory (#5395)

Features

• avm: EQ opcode output u8 and execution (#5402) (3450e24), closes #5290
• Brillig typed memory (#5395) (16b0bdd)

Bug Fixes

• ci: Fix earthly ctest (#5424) (9cac8a4)
• Serial bb builds for mac (#5462) (4317819)

Miscellaneous

• avm: Deterministic codegen from pil and some renaming (#5476) (ba834a4)
• Fallback to building barretenberg targets sequentially when RAM constrained (#5426) (29588e0)
• Introduce selectors to enable range checks of 8-bit and 16-bit sizes (#5465) (ef44674)

0.31.0 (2024-03-26)

Features

• Avm lookup and/or/xor (#5338) (489bc2c)
• Earthly bb tests + arm + satellites (#5268) (eca12b3)
• Fold proving key polys instead of prover polys (#5436) (239ebfb)
• Less earthly runners + e2e GA runners, bb bench (#5356) (2136a66)
• Read_calldata (#5409) (034fbf0)
• Simplified bb Honk interface (#5319) (a2d138f)
• Simplify offsets and sizing using new block structure (#5404) (efa0842)
• Unified CircuitChecker interface (#5343) (13cef1f)
• ZeroMorph working with IPA and integration with ECCVM (#5246) (c4dce94)

Bug Fixes

• Revert cbind breakage (#5348) (c237193)

Miscellaneous

• bb: Removed powers of eta in lookup and auxiliary relations (#4695) (f4e62ae)
• ci: Create a dedicated job for the AVM unit tests (#5369) (59ca2ac), closes #5366
• Clean out prover instance and remove instance from oink (#5314) (a83368c)
• Meld flavor and and circuit builder modules (#5406) (f0d9d1b)
• Moving public inputs back to instance (#5315) (9cbe368)
• Name change: gen perm sort to delta range constraint (#5378) (841855f)
• Remove mocking function in EccOpQueue again (#5413) (6fb4a75)

0.30.1 (2024-03-20)

Features

• Add CMOV instruction to brillig and brillig gen (#5308) (208abbb)
• avm: Indirect memory support for arithmetic/bitwise opcodes (#5328) (d5ffa17), closes #5273
• avm: Indirect memory support for MOV (#5257) (10ef970), closes #5205
• Merge SMT Terms in one class (#5254) (f5c9b0f)
• Sorted execution trace (#5252) (a216759)

Bug Fixes

• Fix recursion tests and reinstate in CI (#5300) (96c6f21)
• Update smt_verification README.md (#5332) (46b15e3)

Miscellaneous

• No Translator composer (#5202) (c8897ca)
• Remove toy vm files (#5326) (d940356)

0.30.0 (2024-03-19)

⚠ BREAKING CHANGES

• acir: Program and witness stack structure (#5149)

Features

• acir: Program and witness stack structure (#5149) (ccc5016)
• ECCVM witness generation optimisation (#5211) (85ac726)

Bug Fixes

• bb: Cvc5 linking (#5302) (5e9cf41)
• Set denominator to 1 during verification of dsl/big-field division (#5188) (253d002)

Miscellaneous

• Share verifier rounds (#4849) (1139308)

0.29.0 (2024-03-18)

⚠ BREAKING CHANGES

• Acir call opcode (#4773)

Features

• Acir call opcode (#4773) (0b15db2)
• Add RelWithAssert build (#4997) (4f337c7)
• avm: Mov opcode with direct memory (#5204) (08f9038), closes #5159
• Extended IPA tests and fuzzing (#5140) (0ae5ace)
• Initial Earthly CI (#5069) (8e75fe5)
• Remove unnecessary mulmods from verifier contract (#5269) (20d9c0c)
• Signed integer division and modulus in brillig gen (#5279) (82f8cf5)

Bug Fixes

• bb: Mac build (#5253) (ae021c0)
• CVC5 api update (#5203) (9cc32cb)

Miscellaneous

• Template Zeromorph by PCS (#5215) (03feab2)

0.28.1 (2024-03-14)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.28.0 (2024-03-14)

Features

• avm-simulator: Euclidean and field div (#5181) (037a38f)
• Isolate Plonk dependencies (#5068) (5cbbd7d)
• New brillig field operations and refactor of binary operations (#5208) (eb69504)
• Parallelize linearly dependent contribution in PG (#4742) (d1799ae)
• Update SMT Circuit class and add gate relaxation functionality (#5176) (5948996)

Bug Fixes

• Barretenberg-acir-tests-bb.js thru version bump (#5216) (9298f93)
• Intermittent invert 0 in Goblin (#5189) (6c70624)
• Remove embedded srs (#5173) (cfd673d)

Miscellaneous

• Add dependency instructions to bberg README (#5187) (850febc)
• Moving wit comms and witness and comm labels from instance to oink (#5199) (19eb7f9)
• Oink (#5210) (321f149)

0.27.2 (2024-03-13)

Features

• Multithreaded prover folding (#5147) (94922fc)

Bug Fixes

• Intermittent invert 0 in Goblin (#5174) (3e68b49)

Miscellaneous

• Interaction for a mock first circuit handled inside the EccOpQueue (#4854) (d9cbdc8)

0.27.1 (2024-03-12)

Features

• Further ClientIVC breakdown (#5146) (c8e1cb8)

Bug Fixes

• Move timers for ClientIVC breakdown (#5145) (5457edb)

Miscellaneous

• Share code between provers (#4655) (ef10d65)

0.27.0 (2024-03-12)

Features

• avm: Equivalence check between Main trace and Mem trace (#5032) (7f216eb), closes #4955
• Initial integration avm prover (#4878) (2e2554e)
• Update the core of SMT Circuit class (#5096) (1519d3b)

Miscellaneous

• AVM: Negative unit tests for inter table relations (#5143) (a74dccb), closes #5033
• Extract bb binary in bs fast (#5128) (9ca41ef)
• Join-split example Part 2 (#5016) (0718320)
• Move alpine containers to ubuntu (#5026) (d483e67), closes #4708
• Pin foundry (#5151) (69bd7dd)

0.26.6 (2024-03-08)

Features

• IPA documentation (#4924) (48bd22e)
• Updating an SMT solver class (#4981) (4b94d58)

Bug Fixes

• Storage v2 (#5027) (fe3190e)
• Update protogalaxy cmake dependencies (#5066) (507c374)

Miscellaneous

• ci: Re-enable certain bb solidity ACIR tests (#5065) (58e1ff4)
• Cleanup of prover and verifier instances (#4959) (f2fdefd)
• Join-split example Part 1 (#4965) (b9de0f5)
• Remove eccvm functionality to update the op queue and ensure ultra ops are populated through function (#5084) (77954ab)

0.26.5 (2024-03-07)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.26.4 (2024-03-06)

Features

• avm: ALU <--> MAIN inter table relation on intermediate registers copy (#4945) (8708131), closes #4613
• Circuit checker class (#4931) (4eba266)

0.26.3 (2024-03-06)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.26.2 (2024-03-06)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.26.1 (2024-03-06)

Features

• Adding fr compatibility to smt variables api (#4884) (c085cbb)
• Indirect mem flag deserialisation (#4877) (4c6820f)

Miscellaneous

• Remove commitment key copy out of instance (#4893) (6eb6778)

0.26.0 (2024-03-05)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

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)
• Mega 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 VerificationKey from ProverInstance (#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)

Documentation

• yellowpaper: AVM call instructions, split out sections, cleanup (#4594) (e63f022)

0.24.0 (2024-02-13)

Features

• Add hashing to stdlib transcript (#4161) (e78b86f)
• Added cast opcode and cast calldata (#4423) (e58eda8)
• Enable gmock and upgrade gtest to 1.13 (#4480) (5fc02e7)
• IVC bench (#4515) (d8ae42b)
• Op count timers (#4471) (26918de)
• PG + Goblin (#4399) (295cd55)
• Prototype native merkle trees (#4457) (7d5e056)

Bug Fixes

• Convert folding recursive verifier ops to batch mul (#4517) (3750b26)
• Cycle_group validate_is_on_curve bug (#4494) (fecf3f7)
• Mul with endomorphism (#4538) (1f4c90d)
• StandardCircuitBuilder create_logic_constraint and uint logic_operator (#4530) (ce51d20)

Miscellaneous

• avm-circuit: Tests use OpCode enum's instead of hardcoded values (#4554) (ca4dd60)
• avm: Use some matchers gtest functionalities to improve unit tests (#4502) (bf4fc6c), closes #4495
• Create constraints for sha256 compression opcode (#4503) (64bef49)
• Little cpp style improvements (#4528) (dcc9ba4)
• Updating field conversion code without pointer hack (#4537) (94f436e)

Documentation

• yellowpaper: Avm tree-access operations (#4552) (913f4bd)

0.23.0 (2024-02-07)

Features

• Add additional error types to verifier contract and revert early (#4464) (5e16063)
• Allow nested arrays and vectors in Brillig foreign calls (#4478) (bbfa337)
• avm: Generic bytecode deserialization (#4441) (934fabc), closes #4304
• bb: Op counting mode (#4437) (5d00cff)

0.22.0 (2024-02-06)

⚠ BREAKING CHANGES

• rename bigint_neg into bigint_sub (#4420)
• Add expression width into acir (#4014)
• acir: Move is_recursive flag to be part of the circuit definition (#4221)

Features

• Add bit size to const opcode (#4385) (b2a000e)
• Add expression width into acir (#4014) (f09e8fc)
• Add poseidon2 hashing to native transcript (#3718) (afcfa71)
• Allow brillig to read arrays directly from memory (#4460) (f99392d)
• avm: Add command to call avm proving in bb binary (#4369) (4f6d607), closes #4039
• avm: Back in avm context with macro - refactor context (#4438) (ccf9b17)
• bb: Wasmtime and remote benchmarking (#4204) (fd27808)
• Folding Mega instances in ProtoGalaxy (#4340) (8569e7c)
• Implementation for bigint opcodes (#4288) (b61dace)
• Improve ivc bench (#4242) (9d28354)
• Memory only brillig (#4215) (018177b)
• Revert early in verifier contract for malformed proof inputs (#4453) (d4a7716)
• Validate verification key on contract deployment (#4450) (00f9966)

Bug Fixes

• Bb build (#4317) (82f5f03)
• Mac build (#4336) (aeb4cf0)
• Release the size of goblin translator (#4259) (6e1d958)

Miscellaneous

• Acir-simulator -> simulator (#4439) (bccd809)
• acir: Move is_recursive flag to be part of the circuit definition (#4221) (9c965a7)
• Collapse bb::honk (#4318) (5853af4)
• Extract merge from UC and simplify (#4343) (54fd794)
• Fix bb wasm build when using remote cache (#4397) (14e57cb)
• Poseidon2 hash uses span instead of vector (#4003) (f63e7a9)
• Rename bigint_neg into bigint_sub (#4420) (57824fe)

0.21.0 (2024-01-30)

⚠ BREAKING CHANGES

• add opcode for sha256 compression function (#4229)
• add opcode for poseidon2 permutation (#4214)
• remove ec_double opcode (#4210)
• Add big int opcodes (without implementation) (#4050)

Features

• 3738: AVM basic arithmetic operations for non ff types (#3881) (457a3f9), closes #3996
• Add big int opcodes (without implementation) (#4050) (bcab9ce)
• Add opcode for poseidon2 permutation (#4214) (53c5ba5)
• Add opcode for sha256 compression function (#4229) (ac25ff7)
• avm: Bytecode avm control flow (#4253) (fb1d742), closes #4209
• avm: Bytecode parsing and proof generation (#4191) (6c70548), closes #3791
• Implement Embedded EC add and double opcodes (#3982) (ccb7bff)
• Produce graph of internal Barretenberg dependencies (#4225) (88e7923)
• Recursive folding and decider verifier for Protogalaxy (#4156) (9342048)
• Remove ec_double opcode (#4210) (75f26c4)
• Replace single bit range constraints with basic bool gates (#4164) (0a3553b)

Bug Fixes

• bb: .gitignore (#4201) (a56e418)
• Generic Honk dependencies (#4239) (382dfbe)

Miscellaneous

• bb: Rearrange namespaces (#4147) (5de0a8e)
• Delete C++ PK circuits (#4219) (9136d32)

Documentation

• bb: How to use docker_interactive.sh (#4220) (f44c6b1)

0.20.0 (2024-01-22)

Features

• Benchmark commit function (#4178) (ea84085)
• Goblin acir composer (#4112) (5e85b92)

Bug Fixes

• Make CMake version warning fatal (#4144) (b1443fa)
• Reinstate Ultra arith rec verifier test (#3886) (995973b)
• Upload_benchmarks_to_s3.sh missing exit (#4046) (52a9327)

Miscellaneous

• bb: More concise namespaces, plookup => bb::plookup (#4146) (14d39ed)
• bb: Namespace plonk::stdlib => stdlib (#4117) (cd2f67f)
• bb: Namespace proof_system=>bb (#4116) (7438db3)
• Remove mutex dependency (#4160) (3b82be0)
• Remove unwanted submodules (#4085) (dda7c9c)

0.19.0 (2024-01-17)

⚠ BREAKING CHANGES

• Start witness of ACIR generated by Noir start at zero not one (#3961)

Features

• Remove dangerous function (#4007) (b3790eb)

Bug Fixes

• Fix various warnings in noir-protocol-circuits (#4048) (470d046)
• Start witness of ACIR generated by Noir start at zero not one (#3961) (4cdc096)

Miscellaneous

• Barretenberg => bb namespace shortening (#4066) (e6b66b8)

0.18.0 (2024-01-16)

⚠ BREAKING CHANGES

• Remove Directive::Quotient (#4019)
• implement keccakf1600 in brillig (#3914)
• add blake3 opcode to brillig (#3913)
• Remove opcode supported from the backend (#3889)

Features

• Acir cleanup (#3845) (390b84c)
• Add ACIR opcodes for ECADD and ECDOUBLE (#3878) (537630f)
• Add blake3 opcode to brillig (#3913) (34fad0a)
• Bench bb in pr's, docker shell utils (#3561) (5408919)
• Benchmark protogalaxy prover (#3958) (5843722)
• Benchmarks for basic functionality and IPA improvements (#4004) (fd1f619)
• Bootstrap cache v2 (#3876) (331598d)
• Implement keccakf1600 in brillig (#3914) (a182381)
• Parallel IPA (#3882) (7002a33)
• Pil lookups w/ xor table example (#3880) (544d24e)
• Poseidon2 stdlib impl (#3551) (50b4a72)
• Protogalaxy Decider and complete folding tests (#3657) (cfdaf9c)
• Relations vs widgets benchmarking (#3931) (3af64ef)
• Remove opcode supported from the backend (#3889) (1fd135c)
• Reorganize acir composer (#3957) (e6232e8)
• Standalone calldata test (#3842) (7353a35)

Bug Fixes

• Bb unnecessary env var (#3901) (f127e5a)

Miscellaneous

• Codegen acir opcodes after renaming arithmetic to assertzero (#3896) (c710ce1)
• Document witness_buf_to_witness_data (#3940) (fbaa726)
• Remove 'extern template's, expand macros (#3953) (5fe9908)
• Remove Directive::Quotient (#4019) (824d76f)
• Reorganize benchmarks (#3909) (730766b)

0.17.0 (2024-01-09)

⚠ BREAKING CHANGES

• Remove aggregation objects from RecursionConstraint (#3885)
• Noir development branch (serialization changes) (#3858)
• Add Side effect counter struct for ordering (#3608)
• return full verification contract from AcirComposer::get_solidity_verifier (#3735)

Features

• Adding option to set initial and max memory (#3265) (0ad75fe)
• avm-main: Pil -> permutations (#3650) (c52acf6)
• avm-mini: Call and return opcodes (#3704) (e534204)
• avm: Add standalone jump opcode (#3781) (b1b2e7c)
• avm: VM circuit handles tagged memory (#3725) (739fe90), closes #3644
• Barretenberg doxygen CI (#3818) (022a918)
• Bb uses goblin (#3636) (d093266)
• Correct circuit construction from acir (#3757) (a876ab8)
• Goblin and eccvm bench (#3606) (1fe63b2)
• Goblinize the final ecc ops in ZM (#3741) (3048d08)
• Noir development branch (serialization changes) (#3858) (d2ae2cd)
• ProverPolynomials owns its memory (#3560) (a4aba00)
• Return full verification contract from AcirComposer::get_solidity_verifier (#3735) (bd5614c)

Bug Fixes

• CRS not needed for gate_count. Grumpkin not needed for non-goblin. (#3872) (8cda00d)
• Disable goblin bbjs tests (#3836) (1f5b2c6)
• Reenable goblin bbjs for a single test (#3838) (30e47a0)
• Update toy to new master (78cf525)

Miscellaneous

• Add Side effect counter struct for ordering (#3608) (c58b197)
• Align bb.js testing (#3840) (c489727)
• avm: Avm memory trace building (#3835) (b7766d6)
• Bring boxes back to CI. Build and run using docker/docker-compose. (#3727) (4a1c0df)
• Cleanup recursion interface (#3744) (fde0ac3)
• dsl: Abstract nested aggregation object from ACIR (#3765) (92f72e4)
• Remove aggregation objects from RecursionConstraint (#3885) (9a80008)
• Remove HashToField128Security ACIR opcode (#3631) (1d6d3c9)
• Use simple "flat" CRS. (#3748) (5c6c2ca)

0.16.9 (2023-12-13)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.16.8 (2023-12-13)

Features

• Complete folding prover and verifier for ultra instances (#3419) (bb86ce9)
• Copy constructors for builders (#3635) (b82b0c5)
• Log-derivative based generic permutations for AVM (#3428) (379b5ad)
• Merge recursive verifier (#3588) (cdd9259)

Bug Fixes

• Aztec sandbox compose fixes (#3634) (765a19c)
• Broken uint256_t implicit copy (#3625) (1a6b44d)

Miscellaneous

• Nuke fib (#3607) (48e2e3d)

0.16.7 (2023-12-06)

Features

• Encapsulated Goblin (#3524) (2f08423)

0.16.6 (2023-12-06)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.16.5 (2023-12-06)

Miscellaneous

• Trivial change roundup (#3556) (ff893b2)

Documentation

• Add libstdc++-12-dev to setup instructions (#3585) (9773e8c)

0.16.4 (2023-12-05)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.16.3 (2023-12-05)

Miscellaneous

• CLI's startup time was pushing almost 2s. This gets the basic 'help' down to 0.16. (#3529) (396df13)

0.16.2 (2023-12-05)

Features

• AVM: First version for mini AVM (ADD, RETURN, CALLDATACOPY) (#3439) (b3af146)
• Flavor refactor, reduce duplication (#3407) (8d6b013)
• New Poseidon2 circuit builder gates (#3346) (91cb369)
• New Poseidon2 relations (#3406) (14b9736)
• Pull latest noir for brillig optimizations (#3464) (d356bac)
• Seperate pil files for sub machines (#3454) (d09d6f5)

Miscellaneous

• avm: Enable AVM unit tests in CI (#3463) (051dda9), closes #3461
• bb: Pointer_view to reference-based get_all (#3495) (50d7327)
• bb: Reuse entities from Mega in MegaRecursive (#3521) (8259636)
• Build the acir test vectors as part of CI. (#3447) (1a2d1f8)
• Field-agnostic and reusable transcript (#3433) (d78775a)
• Optimise bb.js package size and sandox/cli dockerfiles to unbloat final containers. (#3462) (cb3db5d)
• Pin node version in docker base images and bump nvmrc (#3537) (5d3895a)
• Recursive verifier updates (#3452) (dbb4a12)
• Refactor WitnessEntities to be able to derive WitnessCommitments from it (#3479) (9c9b561)
• Transcript handled through shared_ptr (#3434) (30fca33)
• Typo fixes (#3488) (d9a44dc)

0.16.1 (2023-11-28)

Features

• Added poseidon2 hash function to barretenberg/crypto (#3118) (d47782b)

Miscellaneous

• Point acir tests at noir master branch (#3440) (106e690)

0.16.0 (2023-11-27)

Features

• Goblin proof construction (#3332) (6a7ebb6)
• Noir subrepo. (#3369) (d94d88b)

Miscellaneous

• Deterministically deduplicate cached_partial_non_native_field_multiplication across wasm32 and native compilations (#3425) (5524933)
• Plumbs noir subrepo into yarn-project. (#3420) (63173c4)
• Update path to acir artifacts (#3426) (f56f88d)

0.15.1 (2023-11-21)

Features

• bb: Add ability to write pk to file or stdout (#3335) (c99862c)
• DataBus PoC (UltraHonk as extension of Ultra) (#3181) (dd9dd84)
• Fold batching challenge (alpha) (#3291) (bc99a4f)
• Open transcript polys as univariates in ECCVM (#3331) (436b22e)
• ZM updates for Translator concatenated polys (#3343) (0e425db)

Bug Fixes

• Bootstrap bbjs. (#3337) (06aedcb)
• Updating pedersen benchmarks (#3211) (7e89ff3)

Miscellaneous

• All hashes in ts (#3333) (6307e12)

0.15.0 (2023-11-16)

⚠ BREAKING CHANGES

• Replace computing hashes in circuits wasm, with computing them in ts via bb.js pedersen call. (#3114)

Features

• bb: Add msan preset (#3284) (bcf025c)
• Protogalaxy combiner quotient (#3245) (db0f3ab)
• Ultra honk arith from ultra (#3274) (ec2b805)

Bug Fixes

• Debug build (#3283) (aca2624)
• Fix block constraint key divergence bug. (#3256) (1c71a0c)

Miscellaneous

• bb: Remove -Wfatal-errors (#3318) (4229173)
• Clarify that barretenberg mirror should not take PRs (#3303) (13f1a1d)
• Clean up Plonk widgets (#3305) (4623d91)
• Explicitly instantiate Goblin translator relations (#3239) (e3b5fb0)
• Plain struct flavor entities (#3277) (f109512)
• Remove bn254 instantiation of eccvm plus naming changes (#3330) (23d1e2d)
• Replace computing hashes in circuits wasm, with computing them in ts via bb.js pedersen call. (#3114) (87eeb71)
• Revert build-debug folder for debug preset (#3324) (43a2e6b)
• Towards plain struct flavor entities (#3216) (3ba89cf)
• Typo fixes based on cspell (#3319) (8ae44dd)

0.14.2 (2023-11-07)

Features

• Run solidity tests for all acir artifacts (#3161) (d09f667)

0.14.1 (2023-11-07)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.14.0 (2023-11-07)

Features

• Gperftools (#3096) (ea2f9a7)

Bug Fixes

• Cleanup gen_inner_proof_files.sh script. (#3242) (ee57e00)
• Temporary fix for bb prove w/ ram rom blocks (#3215) (af93a33)

Miscellaneous

• Clean up and refactor arithmetization (#3164) (0370b13)
• Move flavors (#3188) (f1ff849)
• Move honk/pcs (#3187) (3870ff8)
• Move log deriv lookup accum to library (#3226) (189d1bb)
• Move sumcheck (#3189) (410cae3)
• Move transcripts (#3176) (7372d19)
• Split out relations, PG, Honk variants (#3238) (8abd39f)

Documentation

• Updated stale tree docs (#3166) (3d5c98c)

0.13.1 (2023-10-31)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.13.0 (2023-10-31)

Features

• Adding structure to Transcript (#2937) (db67aa1)
• Efficient ZM quotient computation (#3016) (ebda5fc)
• Measure plonk rounds (#3065) (c8e1d8b)
• New script to output table of benchmarks for README pasting. (#2780) (6c20b45)
• Pedersen in typescript. (#3111) (933f1b2)
• Protogalaxy folding of challenges (#2935) (7ed30e8)
• Zeromorph with concatenation (Goblin Translator part 10) (#3006) (70b0f17)

Miscellaneous

• Add stdlib tests for pedersen commitment (#3075) (87fa621)
• Automatic c_binds for commit should return a point instead of an Fr element (#3072) (2e289a5)
• Cleanup remaining mentions of compress with pedersen in cpp and ts (#3074) (52cf383)
• Remove endomorphism coefficient from ecc_add_gate (#3115) (d294987)
• Remove unecessary calls to pedersen__init (#3079) (84f8db2)
• Remove unused pedersen c_binds (#3058) (e71e5f9)
• Removes pedersen commit native pairs method (#3073) (69a34c7)

0.12.0 (2023-10-26)

⚠ BREAKING CHANGES

• remove plookup pedersen methods from c_bind namespace (#3033)

Features

• Added correctness tests for several small relations in Goblin Translator (Goblin Translator part 8) (#2963) (4c83250)
• Correctness tests for decomposition and non-native field relations (Goblin Translator Part 9) (#2981) (cdc830d)
• Enable sol verifier tests in ci (#2997) (058de1e)
• Goblin Translator flavor and permutation correctness (Goblin Translator part 7) (#2961) (737f17f)

Bug Fixes

• Fix clang-16 check (#3030) (7a5a8b3)

Miscellaneous

• acir_tests: Add script to regenerate double_verify_proof inputs (#3005) (9c4eab2)
• Fix pedersen_compress_with_hash_index c_bind function (#3054) (a136f6e)
• Proxy redundant hash methods (#3046) (df389b5)
• Remove pedersen_buffer_to_field from c_bind (#3045) (de7e63b)
• Remove pedersen hash oracle (#3023) (0e6958c)
• Remove plookup pedersen methods from c_bind namespace (#3033) (a8ea391)

0.11.1 (2023-10-24)

Features

• ProverPlookupAuxiliaryWidget kernel bench (#2924) (faffc39)

0.11.0 (2023-10-24)

Features

• Pedersen hash in acir format (#2990) (2a4c548)

Miscellaneous

• Update acir_tests reference branch (#2993) (91813a5)

0.10.1 (2023-10-24)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.10.0 (2023-10-24)

Features

• Goblin translator non-native field relation (Goblin Translator part 6) (#2871) (c4d8d96)
• Honk profiling by pass, tsan preset (#2982) (a1592fd)
• Protogalaxy Combiner (#2436) (a60c70d)
• Protogalaxy perturbator! (#2624) (509dee6)
• Refactor pedersen hash standard (#2592) (3085676)
• Widget benchmarking (#2897) (0e927e9)

Bug Fixes

• Honk sumcheck performance (#2925) (5fbfe6e)

Miscellaneous

• Remove unused nix files (#2933) (3174f84)

0.9.0 (2023-10-17)

Features

• Bump msgpack (#2884) (d7b7fb1)
• Download msgpack (#2885) (8ac8beb)

0.8.14 (2023-10-13)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.8.13 (2023-10-13)

Bug Fixes

• Fix check_circuit in goblin translator (resulted in flimsy test) (#2827) (98b1679)

0.8.12 (2023-10-13)

Bug Fixes

• Fix rebuild pattern slashes. (#2843) (e32517e)

0.8.11 (2023-10-13)

Features

• Goblin Translator Decomposition relation (Goblin Translator part 4) (#2802) (3c3cd9f)
• Goblin Translator GenPermSort relation (Goblin Translator part 3) (#2795) (b36fdc4)
• Goblin translator opcode constraint and accumulator transfer relations (Goblin Translator part 5) (#2805) (b3d1f28)
• Goblin Translator Permutation relation (Goblin Translator part 2) (#2790) (9a354c9)
• Integrate ZeroMorph into Honk (#2774) (ea86869)
• Update goblin translator circuit builder (Goblin Translator part 1) (#2764) (32c69ae)

Miscellaneous

• Change acir_tests branch to point to master (#2815) (73f229d)
• Remove Ultra Grumpkin flavor (#2825) (bde77b8)
• Remove work queue from honk (#2814) (bca7d12)
• Spell check (#2817) (4777a11)

0.8.10 (2023-10-11)

Features

• Bb faster init (#2776) (c794533)
• LLVM xray presets (#2525) (23a1ee9)
• Separate aggregation protocol (#2736) (ad16937)
• Simplify relation containers (#2619) (99c5127)
• ZeroMorph (#2664) (a006e5a)

Miscellaneous

• Acir format cleanup (#2779) (5ea373f)
• Stop whinging about this ownership stuff. (#2775) (3dd6900)
• Update ACIR serialisation format (#2771) (6d85527)
• Use global crs in more places. Less pain. (#2772) (b819980)

0.8.9 (2023-10-10)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.8.8 (2023-10-09)

Features

• GCC 13 preset (#2623) (4881414)

Bug Fixes

• Challenge generation update (#2628) (68c1fab)

Miscellaneous

• Bump ACIR deserializer (#2675) (502ee87)

0.8.7 (2023-10-04)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.8.6 (2023-10-04)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.8.5 (2023-10-04)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.8.4 (2023-10-04)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.8.3 (2023-10-04)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.8.2 (2023-10-04)

Bug Fixes

• Include ignition data in package or save after 1st download (#2591) (d5e9f8b), closes #2445
• Make target architecture configurable, target westmere in GA. (#2660) (3cb9639)

0.8.1 (2023-10-03)

Bug Fixes

• Add missing ecc doubling gate into ultra plonk and ultra honk (#2610) (7cb7c58)

Miscellaneous

• Update acir_tests script to point to master (#2650) (51d1e79)

0.8.0 (2023-10-03)

Features

• Barretenberg/crypto/blake3s supports compile-time hashing (#2556) (da05dd7)
• bb: Add bb --version command (#2482) (530676f)
• bb: Avoid initializing CRS for bb info command (#2425) (d22c7b1)
• Consistent pedersen hash (work in progress) (#1945) (b4ad8f3)
• Goblin op queue transcript aggregation (#2257) (b7f627a)
• Parallelization update for polynomials (#2311) (922fc99)
• Update to protogalaxy interfaces (#2498) (9a3d265)
• YML manifest. Simplify YBP. (#2353) (bf73bc3)

Bug Fixes

• barretenberg: Brittle headers caused error compiling for clang-16 on mainframe (#2547) (cc909da)
• Bb rebuild patterns (#2499) (868cceb)
• Fix working dir bug causing stdlib-tests to not run. (#2495) (6b3402c)
• Nightly subrepo mirror (#2520) (bedc8c8)

Miscellaneous

• BI build tweaks (#2487) (f8b6548)
• Kill Turbo (#2442) (c832825)
• Provide cross compile to cjs. (#2566) (47d0d37)
• Recursion todos (#2516) (2df107b)
• Reenable some ultra honk composer tests (#2417) (31f4c32)
• Remove composer keyword from stdlib (#2418) (f3e7d91)
• Remove Standard Honk (#2435) (9b3ee45)

Documentation

• Fixed original minus underflow test (#2472) (0cf4bdc)

0.7.10 (2023-09-20)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.7.9 (2023-09-19)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.7.8 (2023-09-19)

Features

• Allow tracing build system with [debug ci] (#2389) (ce311a9)

0.7.7 (2023-09-18)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.7.6 (2023-09-18)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.7.5 (2023-09-15)

Features

• Protogalaxy interfaces (#2125) (b45dd26)

0.7.4 (2023-09-15)

Features

• Elliptic Curve Virtual Machine Circuit (#1268) (f85ecd9)

0.7.3 (2023-09-15)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.7.2 (2023-09-14)

Features

• ASAN build (#2307) (274c89f)

0.7.1 (2023-09-14)

Miscellaneous

• Move barretenberg to top of repo. Make circuits build off barretenberg build. (#2221) (404ec34)

0.7.0 (2023-09-13)

⚠ BREAKING CHANGES

• aztec-noir: rename noir-aztec to aztec-noir (#2071)

Features

• build: Use LTS version of ubuntu (#2239) (ce6671e)

Bug Fixes

• build: Update ubuntu version used in Docker builds (#2236) (dbe80b7)
• Format barretenberg (#2209) (0801372)
• Msgpack blowup with bigger objects (#2207) (b909937)
• Refactor constraints in scalar mul to use the high limb (#2161) (1d0e25d)

Miscellaneous

• Add debugging to run_tests (#2212) (1c5e78a)
• aztec-noir: Rename noir-aztec to aztec-noir (#2071) (e1e14d2)
• Update url for acir artifacts (#2231) (5e0abd3)

0.6.7 (2023-09-11)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.6.6 (2023-09-11)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.6.5 (2023-09-08)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.6.4 (2023-09-08)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.6.3 (2023-09-08)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.6.2 (2023-09-08)

Miscellaneous

• barretenberg: Synchronize aztec-packages versions

0.6.1 (2023-09-08)

Bug Fixes

• Work around intermittent wasm webkit issue (#2140) (a9b0934)

Miscellaneous

• master: Release 0.5.2 (#2141) (451aad6)
• Release 0.5.2 (f76b53c)
• Release 0.6.1 (1bd1a79)

0.5.2 (2023-09-08)

Bug Fixes

• Work around intermittent wasm webkit issue (#2140) (a9b0934)

Miscellaneous

• Release 0.5.2 (f76b53c)

0.5.1 (2023-09-05)

Features

• Add info command to bb (#2010) (2882d97)
• ci: Use content hash in build system, restrict docs build to _.ts or _.cpp (#1953) (297a20d)

Bug Fixes

• Adds Mac cross compile flags into barretenberg (#1954) (0e17d97)
• bb.js: (breaking change) bundles bb.js properly so that it works in the browser and in node (#1855) (bc93a5f)
• ci: Incorrect content hash in some build targets (#1973) (c6c469a)
• Compilation on homebrew clang 16.06 (#1937) (79c29ee)
• Master (#1981) (59a454e)
• Unify base64 interface between mac and linux (cherry-picked) (#1968) (37ee120)

0.5.0 (2023-09-01)

⚠ BREAKING CHANGES

• update to acvm 0.24.0 (#1925)

Bug Fixes

• Benchmark preset uses clang16 (#1902) (cd0ff0e)
• Reset keccak var inputs to 0 (#1881) (23011ee)

Miscellaneous Chores

• Update to acvm 0.24.0 (#1925) (5d8db8e)

0.4.6 (2023-08-29)

Bug Fixes

• Truncate SRS size to the amount of points that we have downloaded (#1862) (3bcf12b)

0.4.5 (2023-08-28)

Bug Fixes

• Conditionally compile base64 command for bb binary (#1851) (8f8b9f4)

0.4.4 (2023-08-28)

Features

• Add ARM build for Mac + cleanup artifacts (#1837) (2d2d5ea)

0.4.3 (2023-08-23)

Features

• bb: Use an environment variable to set the transcript URL (#1750) (41d362e)

Bug Fixes

• Clang version in README and subrepo edge case (#1730) (74158c4)
• Download SRS using one canonical URL across the codebase (#1748) (5c91de7)
• Proving fails when circuit has size > ~500K (#1739) (6d32383)
• Revert clang check bootstrap.sh (#1734) (65a38bc)
• Update barretenberg bootstrap.sh for mac (#1732) (f21ac3e)

0.4.2 (2023-08-21)

Bug Fixes

• Remove automatic update to AztecProtocol/dev-bb.js (#1712) (d883900)

0.4.1 (2023-08-21)

Bug Fixes

• bb: Fix Typo (#1709) (286d64e)

0.4.0 (2023-08-21)

⚠ BREAKING CHANGES

• Barretenberg binaries now take in the encoded circuit instead of a json file (#1618)

Features

• Add msgpack defs to remaining circuit types (#1538) (e560e39)
• Add workflow to output to dev-bb.js (#1299) (25a54f1)
• Celer benchmark (#1369) (8fd364a)
• Honk recursive verifier Pt. 1 (#1488) (030dace)
• New stdlib Transcript (#1219) (1b9e077)

Bug Fixes

• acir: When retrying failed ACIR tests it should not use the default CLI argument (#1673) (ea4792d)
• Align bbmalloc implementations (#1513) (b92338d)
• Barretenberg binaries now take in the encoded circuit instead of a json file (#1618) (180cdc9)
• Bb sync take 2 (#1669) (d3eebe4)
• Bin reference when installing package (#678) (c734295)
• Fix paths in barretenberg bootstrap.sh script (#1662) (c8917cd)
• Fixed a failing test and added a small fuzzer (#1384) (441e972)
• Sync aztec master (#680) (3afc243)

0.3.6 (2023-08-08)

Features

• Update release-please.yml (#651) (2795df6)

0.3.5 (2023-08-07)

Features

• Celer benchmark (#1369) (d4ade2a)
• Goblin Honk Composer/Prover/Verifier (#1220) (970bb07)
• Goblin translator prototype (#1249) (7738d74)
• Internal keyword + lending contract and tests (#978) (e58ca4b)
• Minimal barretenberg .circleci (#1352) (708e2e2)

Bug Fixes

• Bootstrap.sh git hook for monorepo (#1256) (b22b8d5)
• Build-system spot request cancellation (#1339) (fc1d96a)
• Fixing external benchmarks (#1250) (0ea6a39)
• Fixing fuzzing build after composer splitting (#1317) (946c23c)
• Reinstate barretenberg-benchmark-aggregator (#1330) (407a915)
• Retry git submodule fetch (#1371) (037dda3)

0.3.4 (2023-07-25)

Features

• Add Mega Circuit builder (#587) (2d38c25)
• Modify bb.js to be compatible with next.js (#544) (d384089)
• Support public inputs in Ultra Honk (#581) (9cd0a06)

0.3.3 (2023-07-17)

Features

• Bb and bb.js directly parse nargo bincode format. (#610) (d25e37a)
• Goblin work done in Valencia (#569) (57af751)

0.3.2 (2023-07-12)

Features

• msgpack: Ability to specify NOSCHEMA for cbinds (#605) (8a4f5f1)

0.3.1 (2023-07-11)

Features

• Sentence case changelog titles (#598) (1466108)

0.3.0 (2023-07-11)

⚠ BREAKING CHANGES

• Use circuit builders (#501)
• dsl: add hash index to pedersen constraint (#436)
• add support for ROM and RAM ACVM opcodes (#417)
• replace MerkleMembershipConstraint withComputeMerkleRootConstraint (#385)
• Remove TOOLCHAIN logic and replace with CMake presets (#162)

Features

• Add get_sibling_path method in MerkleTree (#584) (b3db9f8)
• Add signature_verification_result to schnorr stdlib (#173) (7ae381e)
• Add equality and serialization to poly_triple (#172) (142b041)
• Add installation targets for libbarretenberg, wasm & headers (#185) (f2fdebe)
• Add Noir DSL with acir_format and turbo_proofs namespaces (#198) (54fab22)
• Add pkgconfig output for installed target (#208) (d85a365)
• add support for ROM and RAM ACVM opcodes (#417) (697fabb)
• Allow bootstrap to work with linux + clang on ARM (#131) (52cb06b)
• api: external cpp header for circuits (#489) (fbbb342)
• bb.js: initial API (#232) (c860b02)
• Benchmark suite update (d7b1499)
• Benchmark suite update (#508) (d7b1499)
• CI to test aztec circuits with current commit of bberg (#418) (20a0873)
• dsl: Add ECDSA secp256r1 verification (#582) (adc4c7b)
• dsl: add hash index to pedersen constraint (#436) (e0b8804)
• github: add pull request template (65f3e33)
• honk: Shared relation arithmetic (#514) (0838474)
• Improve barretenberg headers (#201) (4e03839)
• Initial native version of bb binary. (#524) (4a1b532)
• Make the circuit constructors field agnostic so we can check circuits on grumpkin (#534) (656d794)
• Multithreaded Sumcheck (#556) (c4094b1)
• nullifier_tree: make empty nullifier tree leaves hash be 0 (#360) (#382) (b85ab8d)
• Optimize memory consumption of pedersen generators (#413) (d60b16a)
• Parallelized folding in Gemini (#550) (3b962d3)
• pkg-config: Add a bindir variable (#239) (611bf34)
• Remove TOOLCHAIN logic and replace with CMake presets (#162) (09db0be)
• replace MerkleMembershipConstraint withComputeMerkleRootConstraint (#385) (74dbce5)
• Sort includes (#571) (dfa8736)
• Split plonk and honk tests (#529) (ba583ff)
• Support nix package manager (#234) (19a72fe)
• ts: allow passing srs via env functions (#260) (ac78353)
• ultrahonk: Added a simple filler table to minimize the amount of entries used to make UltraHonk polynomials non-zero (b20b401)
• ultrahonk: Added a simple filler table to minimize the amount of entries used to make UltraHonk polynomials non-zero (#531) (b20b401)
• Utilize globally installed benchmark if available (#152) (fbc5027)
• Utilize globally installed gtest if available (#151) (efa18a6)
• Utilize globally installed leveldb if available (#134) (255dfb5)
• Working UltraPlonk for Noir (#299) (d56dfbd)

Bug Fixes

• add NUM_RESERVED_GATES before fetching subgroup size in composer (#539) (fa11abf)
• Adds VERSION file to release-please (#542) (31fb34c)
• Align native library object library with wasm (#238) (4fa6c0d)
• Avoid bb.js memory issues. (#578) (96891de)
• Avoid targeting honk test files when testing is disabled (#125) (e4a70ed)
• BarycentricData instantiation time and unused code in secp curves (#572) (bc78bb0)
• bbmalloc linker error (#459) (d4761c1)
• Build on stock apple clang. (#592) (0ac4bc3)
• build: git add -f .yalc (#265) (7671192)
• bump timeout on common test. (c9bc87d)
• Check for wasm-opt during configure & run on post_build (#175) (1ff6af3)
• check_circuit bug fix (#510) (4b156a3)
• cleanup of include statements and dependencies (#527) (b288c24)
• cmake: Remove leveldb dependency that was accidentally re-added (#335) (3534e2b)
• dsl: Use info instead of std::cout to log (#323) (486d738)
• Ecdsa Malleability Bug (#512) (5cf856c)
• ecdsa: correct short weierstrass curve eqn (#567) (386ec63)
• Ensure barretenberg provides headers that Noir needs (#200) (0171a49)
• Ensure TBB is optional using OPTIONAL_COMPONENTS (#127) (e3039b2)
• Fixed the memory issue (#509) (107d438)
• Increment CMakeList version on releases (#536) (b571411)
• msgpack error (#456) (943d6d0)
• msgpack variant_impl.hpp (#462) (b5838a6)
• nix: Disable ASM & ADX when building in Nix (#327) (3bc724d)
• nix: Use wasi-sdk 12 to provide barretenberg-wasm in overlay (#315) (4a06992)
• Pass brew omp location via LDFLAGS and CPPFLAGS (#126) (54141f1)
• Remove leveldb_store from stdlib_merkle_tree (#149) (3ce5e7e)
• Revert "fix: add NUM_RESERVED_GATES before fetching subgroup size in composer" (#540) (a9fbc39)
• Revert generator changes that cause memory OOB access (#338) (500daf1)
• Soundness issue in bigfield's evaluate_multiply_add method (#558) (1a98ac6)
• srs: Detect shasum utility when downloading lagrange (#143) (515604d)
• Store lagrange forms of selector polys w/ Ultra (#255) (b121963)
• throw -> throw_or_abort in sol gen (#388) (7cfe3f0)
• Trigger release-please (#594) (5042861)
• Update versioning in nix files when a release is made (#549) (1b3ff93)
• wasm: Remove the CMAKE_STAGING_PREFIX variable from wasm preset (#240) (f2f8d1f)
• Wrap each use of filesystem library in ifndef wasm (#181) (0eae962)

Code Refactoring

• Use circuit builders (#501) (709a29c)

0.2.0 (2023-07-11)

⚠ BREAKING CHANGES

• Use circuit builders (#501)

Features

• Add get_sibling_path method in MerkleTree (#584) (b3db9f8)
• dsl: Add ECDSA secp256r1 verification (#582) (adc4c7b)
• Initial native version of bb binary. (#524) (4a1b532)
• Make the circuit constructors field agnostic so we can check circuits on grumpkin (#534) (656d794)
• Multithreaded Sumcheck (#556) (c4094b1)
• Optimize memory consumption of pedersen generators (#413) (d60b16a)
• Parallelized folding in Gemini (#550) (3b962d3)
• Sort includes (#571) (dfa8736)
• Split plonk and honk tests (#529) (ba583ff)

Bug Fixes

• add NUM_RESERVED_GATES before fetching subgroup size in composer (#539) (fa11abf)
• Adds VERSION file to release-please (#542) (31fb34c)
• Avoid bb.js memory issues. (#578) (96891de)
• BarycentricData instantiation time and unused code in secp curves (#572) (bc78bb0)
• Build on stock apple clang. (#592) (0ac4bc3)
• bump timeout on common test. (c9bc87d)
• check_circuit bug fix (#510) (4b156a3)
• cleanup of include statements and dependencies (#527) (b288c24)
• Ecdsa Malleability Bug (#512) (5cf856c)
• ecdsa: correct short weierstrass curve eqn (#567) (386ec63)
• Increment CMakeList version on releases (#536) (b571411)
• Revert "fix: add NUM_RESERVED_GATES before fetching subgroup size in composer" (#540) (a9fbc39)
• Soundness issue in bigfield's evaluate_multiply_add method (#558) (1a98ac6)
• Update versioning in nix files when a release is made (#549) (1b3ff93)

Code Refactoring

• Use circuit builders (#501) (709a29c)

0.1.0 (2023-06-15)

⚠ BREAKING CHANGES

• dsl: add hash index to pedersen constraint (#436)
• add support for ROM and RAM ACVM opcodes (#417)
• replace MerkleMembershipConstraint withComputeMerkleRootConstraint (#385)
• Remove TOOLCHAIN logic and replace with CMake presets (#162)

Features

• Add signature_verification_result to schnorr stdlib (#173) (7ae381e)
• Add equality and serialization to poly_triple (#172) (142b041)
• Add installation targets for libbarretenberg, wasm & headers (#185) (f2fdebe)
• Add Noir DSL with acir_format and turbo_proofs namespaces (#198) (54fab22)
• Add pkgconfig output for installed target (#208) (d85a365)
• add support for ROM and RAM ACVM opcodes (#417) (697fabb)
• Allow bootstrap to work with linux + clang on ARM (#131) (52cb06b)
• api: external cpp header for circuits (#489) (fbbb342)
• bb.js: initial API (#232) (c860b02)
• Benchmark suite update (d7b1499)
• Benchmark suite update (#508) (d7b1499)
• CI to test aztec circuits with current commit of bberg (#418) (20a0873)
• dsl: add hash index to pedersen constraint (#436) (e0b8804)
• github: add pull request template (65f3e33)
• honk: Shared relation arithmetic (#514) (0838474)
• Improve barretenberg headers (#201) (4e03839)
• nullifier_tree: make empty nullifier tree leaves hash be 0 (#360) (#382) (b85ab8d)
• pkg-config: Add a bindir variable (#239) (611bf34)
• Remove TOOLCHAIN logic and replace with CMake presets (#162) (09db0be)
• replace MerkleMembershipConstraint withComputeMerkleRootConstraint (#385) (74dbce5)
• Support nix package manager (#234) (19a72fe)
• ts: allow passing srs via env functions (#260) (ac78353)
• ultrahonk: Added a simple filler table to minimize the amount of entries used to make UltraHonk polynomials non-zero (b20b401)
• ultrahonk: Added a simple filler table to minimize the amount of entries used to make UltraHonk polynomials non-zero (#531) (b20b401)
• Utilize globally installed benchmark if available (#152) (fbc5027)
• Utilize globally installed gtest if available (#151) (efa18a6)
• Utilize globally installed leveldb if available (#134) (255dfb5)
• Working UltraPlonk for Noir (#299) (d56dfbd)

Bug Fixes

• Align native library object library with wasm (#238) (4fa6c0d)
• Avoid targeting honk test files when testing is disabled (#125) (e4a70ed)
• bbmalloc linker error (#459) (d4761c1)
• build: git add -f .yalc (#265) (7671192)
• Check for wasm-opt during configure & run on post_build (#175) (1ff6af3)
• cmake: Remove leveldb dependency that was accidentally re-added (#335) (3534e2b)
• dsl: Use info instead of std::cout to log (#323) (486d738)
• Ensure barretenberg provides headers that Noir needs (#200) (0171a49)
• Ensure TBB is optional using OPTIONAL_COMPONENTS (#127) (e3039b2)
• Fixed the memory issue (#509) (107d438)
• msgpack error (#456) (943d6d0)
• msgpack variant_impl.hpp (#462) (b5838a6)
• nix: Disable ASM & ADX when building in Nix (#327) (3bc724d)
• nix: Use wasi-sdk 12 to provide barretenberg-wasm in overlay (#315) (4a06992)
• Pass brew omp location via LDFLAGS and CPPFLAGS (#126) (54141f1)
• Remove leveldb_store from stdlib_merkle_tree (#149) (3ce5e7e)
• Revert generator changes that cause memory OOB access (#338) (500daf1)
• srs: Detect shasum utility when downloading lagrange (#143) (515604d)
• Store lagrange forms of selector polys w/ Ultra (#255) (b121963)
• throw -> throw_or_abort in sol gen (#388) (7cfe3f0)
• wasm: Remove the CMAKE_STAGING_PREFIX variable from wasm preset (#240) (f2f8d1f)
• Wrap each use of filesystem library in ifndef wasm (#181) (0eae962)