@noir-lang/acvm_js - npm Package Versions

0.33.0 (2024-08-06)

⚠ BREAKING CHANGES

• parse block and if statements independently of expressions in statements (#5634)
• frontend: Restrict numeric generic types to unsigned ints up to u32 (#5581)

Features

• acir_gen: Width aware ACIR gen addition (#5493) (85fa592)
• Add FunctionDefinition::parameters, FunctionDefinition::return_type and impl Eq for Quoted (#5681) (d52fc05)
• Add std::meta::type_of and impl Eq for Type (#5669) (0503956)
• Add TraitDefinition::as_trait_constraint() (#5541) (0943223)
• Add Type::as_struct (#5680) (ade69a9)
• Add Type::is_field and Type::as_integer (#5670) (939357a)
• Add Type methods: as_tuple, as_slice, as_array, as_constant, is_bool (#5678) (604fa0d)
• Add a compile-time hash map type (#5543) (c6e5c4b)
• Add a limited form of arithmetic on generics (#5625) (0afb680)
• Add parameter to call_data attribute (#5599) (e8bb341)
• Allow inserting LSP inlay type hints (#5620) (b33495d)
• Avoid heap allocs when going to/from field (https://github.com/AztecProtocol/aztec-packages/pull/7547) (daad75c)
• Derive Ord and Hash in the stdlib; add std::meta::make_impl helper (#5683) (38397d3)
• Don't eagerly error on cast expressions (#5635) (0ca5d9d)
• Implement poseidon2_permutation in comptime interpreter (#5590) (89dfbbf)
• Implement Value::Type in comptime interpreter (#5593) (4c3bf97)
• Implement zeroed in the interpreter (#5540) (ff8ca91)
• Implement closures in the comptime interpreter (#5682) (9e2a323)
• Implement format strings in the comptime interpreter (#5596) (fd7002c)
• Integrate new proving systems in e2e (https://github.com/AztecProtocol/aztec-packages/pull/6971) (daad75c)
• Let filenames in errors be relative to the current dir if possible (#5642) (f656681)
• Let LSP work will with code generated by macros (#5665) (8122624)
• LSP closing brace hints (#5686) (2b18151)
• LSP hover now includes "Go to" links (#5677) (d466d49)
• LSP inlay parameter hints (#5553) (822fe2c)
• LSP inlay type hints on lambda parameters (#5639) (80128ff)
• Make Brillig do integer arithmetic operations using u128 instead of Bigint (https://github.com/AztecProtocol/aztec-packages/pull/7518) (daad75c)
• noir_js: Expose UltraHonk and integration tests (#5656) (4552b4f)
• Remove 'comptime or separate crate' restriction on comptime code (#5609) (1cddf42)
• Resolve arguments to attributes (#5649) (e139002)
• ssa: Simple serialization of unoptimized SSA to file (#5679) (07ea107)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7432) (daad75c)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7444) (daad75c)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7454) (daad75c)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512) (daad75c)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7577) (daad75c)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7583) (daad75c)
• Turbofish in struct pattern (#5616) (b3c408b)
• Turbofish operator in struct constructor (#5607) (106abd7)
• Turbofish operator on path segments (#5603) (0bb8372)
• Typing return values of embedded_curve_ops (https://github.com/AztecProtocol/aztec-packages/pull/7413) (daad75c)

Bug Fixes

• 'cannot eval non-comptime global' error (#5586) (0a987c7)
• NoMatchingImplFound in comptime code only (#5617) (28211a3)
• Add trailing extra arguments for backend in gates_flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7472) (daad75c)
• Allow calling a trait method with paths that don't consist of exactly two segments (#5577) (88c0a40)
• Allow trailing comma when parsing where clauses (#5594) (75bfe13)
• Allow using Self for function calls (#5629) (b7e4f42)
• Correct span for prefix operator (#5624) (5824785)
• Correctly track sources for open LSP documents (#5561) (9e61e97)
• Derive generic types (#5674) (19e58a9)
• Don't panic when a macro fails to resolve (#5537) (6109ddc)
• Elaborate struct & trait annotations in the correct module (#5643) (d0a957b)
• Error on duplicate struct field (#5585) (3aed671)
• Error on incorrect generic count for impl and type alias (#5623) (1f5d000)
• Error on trait impl generics count mismatch (#5582) (da3d607)
• Error on unbound generics in structs (#5619) (efef6b4)
• Filter comptime globals (#5538) (2adc6ac)
• Fix uhashmap test name (#5563) (d5de83f)
• Fix occurs check (#5535) (51dd529)
• Fix where clause issue in items generated from attributes (#5673) (9a8cfc9)
• frontend: Disallow signed numeric generics (#5572) (2b4853e)
• frontend: Error for when impl is stricter than trait (#5343) (ece033f)
• frontend: Restrict numeric generic types to unsigned ints up to u32 (#5581) (b85e764)
• Let a trait impl that relies on another trait work (#5646) (e00c370)
• Let std::unsafe::zeroed() work for slices (#5592) (7daee20)
• Let trait calls work in globals (#5602) (c02a6f6)
• Let unary traits work at comptime (#5507) (aa62d8a)
• Lookup trait constraints methods in composite types (#5595) (cec6390)
• Parse block and if statements independently of expressions in statements (#5634) (9341113)
• Revert "feat: Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7512)" (https://github.com/AztecProtocol/aztec-packages/pull/7558) (daad75c)
• Run macros within comptime contexts (#5576) (df44919)
• Speed up LSP (#5650) (e5f1b36)
• ssa: More robust array deduplication check (#5547) (dd89b90)
• Switch verify proof to arrays (#5664) (c1ed9fb)
• Type_of for pointer types (#5536) (edb3810)
• Workaround from_slice with nested slices (#5648) (6310a55)

0.32.0 (2024-07-18)

⚠ BREAKING CHANGES

• constant inputs for blackbox (https://github.com/AztecProtocol/aztec-packages/pull/7222)
• error on too large integer value (#5371)
• rename struct-specific TypeDefinition -> StructDefinition (#5356)
• frontend: Explicit numeric generics and type kinds (#5155)

Features

• mod.nr entrypoint (#5039) (076fe0a)
• static_assert builtin (#5342) (ef44270)
• Add map, fold, reduce, any, and all for slices (#5331) (03e25b4)
• Add CLI argument for debugging comptime blocks (#5192) (0b74a18)
• Add comptime support for modulus_* compiler builtins (#5530) (5bbce79)
• Add debug codelens action (#5474) (6bcdac4)
• Add fuzzer for Noir programs (#5251) (e100017)
• Add gate profiler for noir circuits (https://github.com/AztecProtocol/aztec-packages/pull/7004) (083070e)
• Add more slice methods to the stdlib (#5424) (4020e77)
• Add opcodes flamegraph and refactor gates flamegraph (https://github.com/AztecProtocol/aztec-packages/pull/7282) (32029f9)
• Add support for fieldable in events (https://github.com/AztecProtocol/aztec-packages/pull/7310) (3f71169)
• Add support for usage of super in import paths (#5502) (256509e)
• Add support for wildcard types (#5275) (7445efb)
• Add TraitConstraint type (#5499) (30cb65a)
• Add unquote function (#5497) (2947aba)
• Allow arguments to attribute functions (#5494) (a33cafc)
• Allow comptime attributes on traits & functions (#5496) (b59a29e)
• Apply no_predicates in stdlib (#5454) (24d26c0)
• Build releases for aarch64-unknown-linux-gnu target (#5289) (f35614a)
• Build simple dictionary from inspecting ACIR program (#5264) (508e677)
• Constant inputs for blackbox (https://github.com/AztecProtocol/aztec-packages/pull/7222) (fb97bb9)
• Detect subgraphs that are completely independent from inputs or outputs (#5402) (7ea83a9)
• Disable nargo color output if stderr is tty (#5346) (554dd6b)
• Error on too large integer value (#5371) (0c4fffa)
• frontend: Explicit numeric generics and type kinds (#5155) (d4e03d0)
• frontend: Where clause on impl (#5320) (cf938bc)
• Handle ACIR calls in the debugger (#5051) (0541568)
• Implement comptime support for array_len builtin (#5272) (c91186a)
• Implement comptime support for as_slice builtin (#5276) (9db65d8)
• Implement trait dispatch in the comptime interpreter (#5376) (8aa5b2e)
• Insert trait impls into the program from type annotations (#5327) (efdd818)
• Let should_fail_with check that the failure reason contains the expected message (#5319) (cb9db55)
• Let LSP always work in a Noir workspace if there's any (#5461) (e0d7833)
• Lsp "find all references" (#5395) (ce1994c)
• Lsp "go to definition" for modules (#5406) (3e7f1f2)
• LSP document symbol (#5532) (1fabcde)
• LSP hover (#5491) (010c835)
• LSP inlay hints for let and global (#5510) (43f5b8d)
• Lsp rename struct (#5380) (ee8b0cd)
• Lsp rename/find-all-references for globals (#5415) (fa9b444)
• Lsp rename/find-all-references for local variables (#5439) (bb6913a)
• Lsp rename/find-all-references for struct members (#5443) (a6d213d)
• Lsp rename/find-all-references for traits (#5409) (bf3a75a)
• Lsp rename/find-all-references for type aliases (#5414) (24c621f)
• lsp: Allow function rename (#4294) (3d86dc6)
• Make macros operate on token streams instead of AST nodes (#5301) (7689d59)
• nargo: Default expression width field in Nargo.toml (#5505) (dea6b32)
• optimization: Deduplicate more instructions (#5457) (c47242a)
• Prefix operator overload trait dispatch (#5423) (a3bb09e)
• Remove duplicated array reads at constant indices (#5445) (82a67a0)
• Remove redundant EnableSideEffects instructions (#5440) (e153ecb)
• Rename struct-specific TypeDefinition -> StructDefinition (#5356) (7ffccf7)
• Run comptime code from annotations on a type definition (#5256) (6cbe6a0)
• Skip reading values immediately after it being written into an array (#5449) (141ecdd)
• stdlib: Update stdlib to use explicit numeric generics (#5306) (8456185)
• Sync from aztec-packages (#5347) (47b621f)
• Sync from aztec-packages (#5377) (7b77bbf)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7257) (32029f9)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7288) (322f863)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7308) (322f863)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7332) (3f71169)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7352) (98e72ac)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7392) (fb97bb9)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/7400) (fb97bb9)
• Unquote multiple items from annotations (#5441) (be8eac6)
• Use runtime loops for brillig array initialization (#5243) (0bd22bb)

Bug Fixes

• Account for the expected kind when resolving turbofish generics (#5448) (82c335d)
• Add more thorough check for whether a type is valid when passing it from constrained code to unconstrained code (#5009) (318314d)
• Address compiler warnings coming from stdlib (#5351) (758a905)
• Allow importing notes from other contracts and inject them in the macros (https://github.com/AztecProtocol/aztec-packages/pull/7349) (98e72ac)
• Avoid duplicating constant arrays (#5287) (3ef3645)
• Avoid panic in type system (#5332) (52d48ff)
• Avoid unnecessarily splitting expressions with multiplication terms with a shared term (#5291) (19884f1)
• Change panic to error in interpreter (#5446) (d44f882)
• Complete call stacks with no_predicates (#5418) (df73fe2)
• Correct range for overlfowing/underflowing integer assignment (#5416) (30c50f5)
• Correctly detect signed/unsigned integer overflows/underflows (#5375) (0603bd3)
• docs: Fix broken docs link to gihtub (#5398) (70ebf60)
• Don't benchmark the "prove" command as it doesn't exist anymore (#5323) (3bb3b03)
• Don't lazily elaborate functions (#5282) (0ea608f)
• Don't panic when using undefined variables in the interpreter (#5381) (94d209a)
• Don't type error when calling certain trait impls in the interpreter (#5471) (299703c)
• Error on empty function bodies (#5519) (6a7f593)
• Error when a local function is called in a comptime context (#5334) (7cd4a4d)
• Fix incorrect return type being applied to stdlib functions modulus_be_bytes(), modulus_be_bits(), etc. (#5278) (91a9b72)
• Fix issue with unresolved results (#5453) (c4154cb)
• Fix tokenization of unquoted types in macros (#5326) (6673c8b)
• Fix usage of #[abi(tag)] attribute with elaborator (#5298) (64dd48a)
• Go to definition from use statement (#5390) (53bae3b)
• Go to definition from aliased use (#5396) (90b135c)
• Handle struct with nested arrays in oracle return values (#5244) (a30814f)
• ICE when using a comptime let variable in runtime code (#5391) (9fb7e4d)
• Ignore calls to Intrinsic::AsWitness during brillig codegen (#5350) (9c11fd2)
• Implement generic functions in the interpreter (#5330) (d8b9870)
• Included argshash computation in public call_interfaces and cleanup (https://github.com/AztecProtocol/aztec-packages/pull/7354) (98e72ac)
• Lsp find struct reference in return locations and paths (#5404) (e1bcb73)
• Lsp hover wasn't always working (#5515) (951e821)
• Lsp struct rename/reference difference (#5411) (580c16d)
• Move BigInt modulus checks to runtime in brillig (#5374) (741d339)
• Mutability in the comptime interpreter (#5517) (8cab4ac)
• nargo_fmt: Account for spaces before the generic list of a function (#5303) (ec728dd)
• Never panic in LSP inlay hints (#5534) (6b11445)
• Prevent no_predicates from removing predicates in calling function (#5452) (66244b6)
• Remove compile-time error for invalid indices (#5466) (323e0c9)
• Remove panics in the interpreter when a builtin fails to type check (#5382) (c8161c8)
• Replace expects in interpreter with errors (#5383) (ac738b2)
• Replace panic in monomorphization with an error (#5305) (49e1b0c)
• Replace std::HashMap with FxHashMap to fix frontend indeterminism (#5385) (9501495)
• Revert PR #5449 (#5548) (a213c15)
• Run macro processors in the elaborator (#5472) (89642c2)
• Runtime brillig bigint id assignment (#5369) (a8928dd)
• Skip emission of brillig calls which will never be executed (#5314) (b859ef9)
• Truncate flamegraph text to the right (https://github.com/AztecProtocol/aztec-packages/pull/7333) (3f71169)
• Update in_contract flag before handling function metadata in elaborator (#5292) (4c4ea2d)
• Use proper serialization in AbiValue (#5270) (d08b7b9)

0.31.0 (2024-06-17)

⚠ BREAKING CHANGES

• remove dep:: prefix (#4946)
• remove distinct keyword (#5219)
• remove param_witnesses and return_witnesses from ABI (#5154)
• add session id to foreign call RPC requests (#5205)
• restrict noir word size to u32 (#5180)
• separate proving from noir_js (#5072)
• switch bb over to read ACIR from nargo artifacts (https://github.com/AztecProtocol/aztec-packages/pull/6283)
• specify databus arrays for BB (https://github.com/AztecProtocol/aztec-packages/pull/6239)
• stdlib: eddsa function using turbofish (#5050)

Features

• pxe.addNullifiedNote(...) (https://github.com/AztecProtocol/aztec-packages/pull/6948) (7de19f5)
• Activate return_data in ACIR opcodes (#5080) (c9fda3c)
• Add as_witness builtin function in order to constrain a witness to be equal to a variable (#4641) (faf5bd8)
• Add set and set_unchecked methods to Vec and BoundedVec (#5241) (1849389)
• Add BoundedVec::map (#5250) (da1549c)
• Add intrinsic to get if running inside an unconstrained context (#5098) (281ebf2)
• Add native rust implementation of schnorr signature verification (#5053) (fab1c35)
• Add session id to foreign call RPC requests (#5205) (14adafc)
• Consider block parameters in variable liveness (#5097) (e4eb5f5)
• experimental: Implement macro calls & splicing into Expr values (#5203) (d9b4712)
• Implement println in the comptime interpreter (#5197) (7f08343)
• Implement turbofish operator (#3542) (226724e)
• Make ACVM generic across fields (#5114) (70f374c)
• Move abi demonomorphizer to noir_codegen and use noir_codegen in protocol types (https://github.com/AztecProtocol/aztec-packages/pull/6302) (436bbda)
• Move to_radix to a blackbox (https://github.com/AztecProtocol/aztec-packages/pull/6294) (436bbda)
• nargo: Hidden option to show contract artifact paths written by nargo compile (https://github.com/AztecProtocol/aztec-packages/pull/6131) (ff67e14)
• Place return value witnesses directly after function arguments (#5142) (1252b5f)
• Private Kernel Recursion (https://github.com/AztecProtocol/aztec-packages/pull/6278) (436bbda)
• Proper padding in ts AES and constrained AES in body and header computations (https://github.com/AztecProtocol/aztec-packages/pull/6269) (436bbda)
• Remove dep:: prefix (#4946) (d6d0ae2)
• Remove conditional compilation of bn254_blackbox_solver (#5058) (9420d7c)
• Remove external blackbox solver from acir simulator (https://github.com/AztecProtocol/aztec-packages/pull/6586) (a40a9a5)
• Replace stdlib poseidon implementation with optimized version (#5122) (11e98f3)
• Restrict noir word size to u32 (#5180) (bdb2bc6)
• Separate proving from noir_js (#5072) (c93c738)
• Separate runtimes of SSA functions before inlining (#5121) (69eca9b)
• Specify databus arrays for BB (https://github.com/AztecProtocol/aztec-packages/pull/6239) (436bbda)
• Standardize pedersen functions to return EmbeddedCurvePoint (#5190) (3b85b36)
• stdlib: Eddsa function using turbofish (#5050) (7936262)
• Support casting in globals (#5164) (6d3e732)
• Switch bb over to read ACIR from nargo artifacts (https://github.com/AztecProtocol/aztec-packages/pull/6283) (436bbda)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/6280) (436bbda)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/6332) (436bbda)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/6573) (436bbda)
• Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/6986) (7de19f5)
• ToRadix BB + avm transpiler support (https://github.com/AztecProtocol/aztec-packages/pull/6330) (436bbda)

Bug Fixes

• Add support for nested arrays returned by oracles (#5132) (f846879)
• Apply self type from generic trait constraint before instantiating identifiers (#5087) (2b4755c)
• Auto dereference trait methods in the elaborator (#5124) (56c1a85)
• Check for public args in aztec functions (https://github.com/AztecProtocol/aztec-packages/pull/6355) (436bbda)
• Disable if optimization (#5240) (a2816db)
• elaborator: Fix duplicate methods error (#5225) (87a1d8e)
• elaborator: Fix regression introduced by lazy-global changes (#5223) (fde432a)
• elaborator: Invert unconstrained check (#5176) (967c0fa)
• elaborator: Lazily elaborate globals (#5191) (9c99a97)
• Error for allocate instructions in acir-gen (#5200) (58c7532)
• experimental elaborator: Avoid calling add_generics twice on trait methods (#5108) (7d8c0a3)
• experimental elaborator: Clear generics after elaborating type aliases (#5136) (b0a7d0b)
• experimental elaborator: Fix impl Trait when --use-elaborator is selected (#5138) (7ea5962)
• experimental elaborator: Fix definition kind of globals and tuple patterns with --use-elaborator flag (#5139) (a140dec)
• experimental elaborator: Fix duplicate resolve_type on self type and don't leak a trait impl's generics (#5102) (db561e2)
• experimental elaborator: Fix frontend tests when --use-elaborator flag is specified (#5145) (d6122eb)
• experimental elaborator: Fix global values used in the elaborator (#5135) (e73cdbb)
• experimental elaborator: Fix globals which use function calls (#5172) (ab0b1a8)
• experimental elaborator: Fix panic in the elaborator (#5082) (ffcb410)
• experimental elaborator: Only call add_generics once (#5091) (f5d2946)
• Fix panic in get_global_let_statement (#5177) (b769b01)
• frontend: Call trait method with mut self from generic definition (#5041) (89846cf)
• frontend: Correctly monomorphize turbofish functions (#5049) (fd772e7)
• frontend: Resolve object types from method calls a single time (#5131) (3afe023)
• Temporarily revert to_radix blackbox (https://github.com/AztecProtocol/aztec-packages/pull/6304) (436bbda)
• Use plain integer addresses for opcodes in DAP disassembly view (#4941) (d43ba1b)
• Use predicate for curve operations (#5076) (145b909)
• Wrapping in signed division (#5134) (29baeb4)

Miscellaneous Chores

• Remove distinct keyword (#5219) (1d62c59)
• Remove param_witnesses and return_witnesses from ABI (#5154) (21562ae)