New Case Study:See how Anthropic automated 95% of dependency reviews with Socket.Learn More →
@noir-lang/acvm_js
Advanced tools
@noir-lang/acvm_js - npm Package Versions
Changelog
0.28.0 (2024-04-24)
⚠ BREAKING CHANGES
- Add
as_arrayand remove_slicevariants of hash functions (#4675) - reserve keyword
super(#4836) - contract interfaces and better function calls (https://github.com/AztecProtocol/aztec-packages/pull/5687)
- change backend width to 4 (https://github.com/AztecProtocol/aztec-packages/pull/5374)
- Use fixed size arrays in black box functions where sizes are known (https://github.com/AztecProtocol/aztec-packages/pull/5620)
- trap with revert data (https://github.com/AztecProtocol/aztec-packages/pull/5732)
- acir: BrilligCall opcode (https://github.com/AztecProtocol/aztec-packages/pull/5709)
- remove fixed-length keccak256 (https://github.com/AztecProtocol/aztec-packages/pull/5617)
- storage_layout and
#[aztec(storage)](https://github.com/AztecProtocol/aztec-packages/pull/5387) - acir: Add predicate to call opcode (https://github.com/AztecProtocol/aztec-packages/pull/5616)
- contract_abi-exports (https://github.com/AztecProtocol/aztec-packages/pull/5386)
Features
- acir_gen: Brillig stdlib (#4848) (0c8175c)
- acir: Add predicate to call opcode (https://github.com/AztecProtocol/aztec-packages/pull/5616) (2bd006a)
- acir: BrilligCall opcode (https://github.com/AztecProtocol/aztec-packages/pull/5709) (0f9ae0a)
- Add
minandmaxfunctions to the stdlib (#4839) (6cfb328) - Add
NARGO_FOREIGN_CALL_TIMEOUTenvironment variable (#4780) (791f1c8) - Add comptime Interpreter (#4821) (5992436)
- Add return values to aztec fns (https://github.com/AztecProtocol/aztec-packages/pull/5389) (2bd006a)
- Allow numeric generics to non inlined ACIR functions (#4834) (9cc03a4)
- avm: Integrate AVM with initializers (https://github.com/AztecProtocol/aztec-packages/pull/5469) (2bd006a)
- Brillig heterogeneous memory cells (https://github.com/AztecProtocol/aztec-packages/pull/5608) (305bcdc)
- Brillig pointer codegen and execution (https://github.com/AztecProtocol/aztec-packages/pull/5737) (0f9ae0a)
- Change backend width to 4 (https://github.com/AztecProtocol/aztec-packages/pull/5374) (0f9ae0a)
- Contract interfaces and better function calls (https://github.com/AztecProtocol/aztec-packages/pull/5687) (0f9ae0a)
- Contract_abi-exports (https://github.com/AztecProtocol/aztec-packages/pull/5386) (2bd006a)
- experimental: Add
comptimekeyword (#4840) (4dfd7f0) - Get last mock oracles params (#4789) (1d96937)
- Impl of missing functionality in new key store (https://github.com/AztecProtocol/aztec-packages/pull/5750) (0f9ae0a)
- Implement
Eqtrait onBoundedVec(#4830) (6cefe16) - Lalrpop lexer prototype (#4656) (25ad018)
- nargo: Handle call stacks for multiple Acir calls (#4711) (5b23171)
- Narrow ABI encoding errors down to target problem argument/field (#4798) (e412e6e)
- Proving the rollup circuits (https://github.com/AztecProtocol/aztec-packages/pull/5599) (5b352d6)
- Reserve keyword
super(#4836) (d5028a6) - Restore hashing args via slice for performance (https://github.com/AztecProtocol/aztec-packages/pull/5539) (2bd006a)
- Simplify
BoundedVec::eq(#4838) (3d33a33) - simulator: Fetch return values at circuit execution (https://github.com/AztecProtocol/aztec-packages/pull/5642) (305bcdc)
- Split
backend_barretenburginto prover and verifier classes (#4769) (ce1e662) - Storage_layout and
#[aztec(storage)](https://github.com/AztecProtocol/aztec-packages/pull/5387) (2bd006a) - Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5572) (2bd006a)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5619) (2bd006a)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5697) (305bcdc)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5725) (5b352d6)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5794) (0f9ae0a)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5814) (0f9ae0a)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5935) (1b867b1)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5955) (1b867b1)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5999) (1b867b1)
- Trap with revert data (https://github.com/AztecProtocol/aztec-packages/pull/5732) (0f9ae0a)
- Unroll loops iteratively (#4779) (f831b0b)
- Use fixed size arrays in black box functions where sizes are known (https://github.com/AztecProtocol/aztec-packages/pull/5620) (0f9ae0a)
- Variable length returns (https://github.com/AztecProtocol/aztec-packages/pull/5633) (305bcdc)
Bug Fixes
- ArrayGet and Set are not pure (#4783) (90ee479)
- Avoid huge unrolling in hash_args (https://github.com/AztecProtocol/aztec-packages/pull/5703) (305bcdc)
- Catch panics from EC point creation (e.g. the point is at infinity) (#4790) (645dba1)
- Don't reuse brillig with slice arguments (https://github.com/AztecProtocol/aztec-packages/pull/5800) (0f9ae0a)
- experimental: Skip over comptime functions in scan pass (#4893) (f267d42)
- Fix curve parameters for bigints (#4900) (5985e42)
- Fix panic when returning a zeroed unit value (#4797) (2ea9292)
- Issue 4682 and add solver for unconstrained bigintegers (#4729) (e4d33c1)
- Primary_message typo in errors.rs (https://github.com/AztecProtocol/aztec-packages/pull/5646) (5b352d6)
- Proper field inversion for bigints (#4802) (b46d0e3)
- Reset the noir-gates-diff report on master (#4878) (50bc325)
- Update noir-gates-diff commit to use master reference report (#4891) (4a3ffb7)
Miscellaneous Chores
Changelog
0.27.0 (2024-04-10)
⚠ BREAKING CHANGES
- Brillig typed memory (https://github.com/AztecProtocol/aztec-packages/pull/5395)
Features
- acir_gen: Fold attribute at compile-time and initial non inlined ACIR (https://github.com/AztecProtocol/aztec-packages/pull/5341) (a0f7474)
- acvm_js: Execute program (#4694) (386f6d0)
- acvm: Execute multiple circuits (https://github.com/AztecProtocol/aztec-packages/pull/5380) (a0f7474)
- Add
remove_enable_side_effectsSSA pass (#4224) (94952db) - Allow slices to brillig entry points (#4713) (62423d5)
- Brillig typed memory (https://github.com/AztecProtocol/aztec-packages/pull/5395) (0bc18c4)
- docs: Documenting noir codegen (#4454) (24f6d85)
- Improve nargo check cli with --override flag and feedback for existing files (#4575) (5e7fbd4)
- Improve optimisations on range constraints (#4690) (96b8110)
- Improve SSA type-awareness in EQ and MUL instructions (#4691) (669f1a0)
- nargo: Multiple circuits info for binary programs (#4719) (50d2735)
Bug Fixes
- "Types in a binary operation should match, but found T and T" (#4648) (30c9f31)
- acvm: Mark outputs of Opcode::Call solvable (#4708) (8fea405)
- Correct ICE panic messages in brillig
convert_black_box_call(#4761) (f3eee6c) - Error when a type variable is unbound during monomorphization instead of defaulting to Field (#4674) (03cdba4)
- Field comparisons (#4704) (079cb2a)
- Impl search no longer selects an impl if multiple are applicable (#4662) (0150600)
- Last use analysis & make it an SSA pass (#4686) (0d3d5fd)
- Slice coercions (#4640) (c0bae17)
- ssa: Accurate constant type for slice dummy data in flattening (#4661) (b87654e)
- ssa: Do not use get_value_max_num_bits when we want pure type information (#4700) (b55a580)
- ssa: Fix slice intrinsic handling in the capacity tracker (#4643) (1b50ce1)
- Unknown slice lengths coming from as_slice (#4725) (f21129e)
- Update commit for noir-gates-diff (#4773) (a9766c5)
Changelog
0.26.0 (2024-03-25)
⚠ BREAKING CHANGES
- acir: Program and witness stack structure (https://github.com/AztecProtocol/aztec-packages/pull/5149)
- automatic NoteInterface and NoteGetterOptions auto select (https://github.com/AztecProtocol/aztec-packages/pull/4508)
- separating out array and slice types in the AST (#4504)
- Acir call opcode (https://github.com/AztecProtocol/aztec-packages/pull/4773)
- Support contracts with no constructor (https://github.com/AztecProtocol/aztec-packages/pull/5175)
- Remove open keyword from Noir (https://github.com/AztecProtocol/aztec-packages/pull/4967)
Features
- Acir call opcode (https://github.com/AztecProtocol/aztec-packages/pull/4773) (c3c9e19)
- acir: Program and witness stack structure (https://github.com/AztecProtocol/aztec-packages/pull/5149) (13eb71b)
- Add
breakandcontinuein unconstrained code (#4569) (f2f827d) - Add
nargo compile --watchcommand (#4464) (44e60b6) - Add as_slice builtin function, add execution test (#4523) (6a9ea35)
- Add checks for bit size consistency on brillig gen (#4542) (f3243b7)
- Add CMOV instruction to brillig and brillig gen (https://github.com/AztecProtocol/aztec-packages/pull/5308) (13eb71b)
- Add experimental
quoteexpression to parser (#4595) (4c3a30b) - Add more impls on Option (#4549) (4cf700b)
- Add specific error for attempting
string[x] = ".."(#4611) (ff95fd9) - Allow usage of noir
#[test]syntax in stdlib (#4553) (a8b7cdb) - Automatic NoteInterface and NoteGetterOptions auto select (https://github.com/AztecProtocol/aztec-packages/pull/4508) (13eb71b)
- avm: Brillig CONST of size > u128 (https://github.com/AztecProtocol/aztec-packages/pull/5217) (c3c9e19)
- Brillig IR refactor (https://github.com/AztecProtocol/aztec-packages/pull/5233) (c3c9e19)
- Check initialization arguments in constructors (https://github.com/AztecProtocol/aztec-packages/pull/5144) (d4213a0)
- Check initializer msg.sender matches deployer from address preimage (https://github.com/AztecProtocol/aztec-packages/pull/5222) (c3c9e19)
- Initial Earthly CI (https://github.com/AztecProtocol/aztec-packages/pull/5069) (c3c9e19)
- Integrated native ACVM (https://github.com/AztecProtocol/aztec-packages/pull/4903) (a6016b4)
- Make brillig-gen more AVM-friendly (https://github.com/AztecProtocol/aztec-packages/pull/5091) (a6016b4)
- New brillig field operations and refactor of binary operations (https://github.com/AztecProtocol/aztec-packages/pull/5208) (c3c9e19)
- Optimize sha2 implementation (#4441) (80373d6)
- RC optimization pass (#4560) (dfa5126)
- Remove curly braces with fmt (#4529) (fe9a437)
- Separating out array and slice types in the AST (#4504) (9a241f9)
- Signed integer division and modulus in brillig gen (https://github.com/AztecProtocol/aztec-packages/pull/5279) (c3c9e19)
- Support contracts with no constructor (https://github.com/AztecProtocol/aztec-packages/pull/5175) (c3c9e19)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5234) (c3c9e19)
- Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5286) (c3c9e19)
- Visible aliases for nargo commands (#4453) (773cf19)
Bug Fixes
- acir_gen: More granular element sizes array check (#4528) (f93d16e)
- Added error messages for passing oracles and references from unconstrained to constrained functions (#4570) (265bd8b)
- Allow non-integer globals to reference struct methods (#4490) (00d6494)
- Dynamic assert messages in brillig (#4531) (e24d3fc)
- Evaluate operators in globals in types (#4537) (c8aa16b)
- Make
nargothe default binary for cargo run (#4554) (de4986e) - Signed integer comparisons in brillig (#4579) (938d5e8)
- ssa: Use accurate type during SSA AsSlice simplficiation (#4610) (0473497)
- Substitute generics when checking the field count of a type (#4547) (eeeebac)
Miscellaneous Chores
- Remove open keyword from Noir (https://github.com/AztecProtocol/aztec-packages/pull/4967) (a6016b4)