@noir-lang/noir_wasm - npm Package Versions

0.11.0 (2023-09-07)

⚠ BREAKING CHANGES

• stdlib: Rename fixed_base_scalar_mul to be more descriptive (#2488)
• ACVM 0.24 (#2504)
• Update to acvm-backend-barretenberg v0.12.0 (#2377)
• abi: Replace struct name with fully qualified struct path (#2374)
• Remove keys from preprocessed artifacts (#2283)

Features

• Add nargo backend ls and nargo backend use command to switch between backends (#2552) (7471147)
• Add noirc_abi_wasm crate for ABI encoding in JS (#1945) (669e0da)
• Add support for brillig call stacks in runtime errors (#2549) (a077391)
• Apply optimizations to unconstrained code (#2348) (8e0f6c4)
• aztec_noir: Abstract kernel return types (#2521) (2668ac2)
• nargo: Add commands to install and uninstall custom backends. (#2575) (28a413c)
• nargo: Add hidden option to produce JSON output from nargo info (#2542) (14d31a5)
• Pull Language and Opcode support from backend (#2563) (2d0a5e4)
• ssa: Replace values which have previously been constrained with simplified value (#2483) (9be750a)
• stdlib: Grumpkin scalar multiplication API (#2586) (dc34bc4)
• Support for optional assertion messages (#2491) (5f78772)

Bug Fixes

• Allow usage of decimal string encoding for fields larger than a i128 (#2547) (d73f30e)
• aztec_noir: Fix compilation of aztec_library.rs (#2567) (a8d0328)
• aztec_noir: Generalise loop to not always inject a hasher instance (#2529) (9fe4cfd)
• Black box func slice handling (#2562) (c67cd7d)
• Initialize structs during def collection, not name resolution (#2528) (f170529)
• Make def collector ordering more deterministic (#2515) (d49e0af)
• Modulo with divisor of zero should fail constraints (#2578) (fe6e2e6)

Miscellaneous Chores

• abi: Replace struct name with fully qualified struct path (#2374) (0920dd0)
• ACVM 0.24 (#2504) (f06fbdb)
• Remove keys from preprocessed artifacts (#2283) (4554287)
• stdlib: Rename fixed_base_scalar_mul to be more descriptive (#2488) (6efc007)
• Update to acvm-backend-barretenberg v0.12.0 (#2377) (1467275)

0.10.0 (2023-08-15)

⚠ BREAKING CHANGES

• nargo: Remove -p short flag from the --program-dir flag (#2300)
• nargo: Replace --contracts flag with contract package type (#2204)
• nargo: remove flat_witness feature flag (#2208)
• nargo: Require package type be specified in Nargo.toml (#2134)
• Allow specifying new package name with --name flag (#2144)
• nargo: Remove unused flags on LSP command (#2170)
• Support workspaces and package selection on every nargo command (#1992)
• nargo: Require package names in Nargo.toml files (#2056)
• Update to ACVM 0.21.0 (#2051)
• Drop support for the legacy SSA (#2049)
• nargo: Rename nargo gates to nargo info (#2038)
• nargo: Default to new SSA code for compilation

Features

• acir_gen: RecursiveAggregation opcode and updates to black box func call generation (#2097) (5cb8166)
• Add assert_constant (#2242) (a72daa4)
• Add deprecated attribute (#2041) (9e2cf6f)
• Add Option<T> to noir stdlib (#1781) (920a900)
• Add basic benchmarking (#2213) (c8fe617)
• Add slice append (#2241) (90c5d18)
• Add support for bitshifts by distances known at runtime (#2072) (b0fbc53)
• Add support for slices of structs and nested slices in brillig (#2084) (620517f)
• allow returning nested arrays from brillig (#2047) (4378bb8)
• Allow specifying new package name with --name flag (#2144) (e932599)
• Drop support for the legacy SSA (#2049) (3f33e44)
• Execute brillig opcodes with constant inputs at compile-time (#2190) (79af8e6)
• Format strings for prints (#1952) (3c82721)
• Implement traits - parser support #2094 (#2230) (589f173)
• Implement type aliases (#2112) (ce94cb4)
• Include struct names in ABIs (#2266) (9824ca5)
• Issue warning for signed integers (#2185) (1be1bcc)
• Make arrays and slices polymorphic over each other (#2070) (ef91286)
• nargo: Add --exact flag to nargo test (#2272) (1ad9199)
• nargo: Add --workspace flag to run commands in every package (#2313) (d6deb0c)
• nargo: Add support for contracts in nargo check (#2267) (3d1b252)
• nargo: Default to new SSA code for compilation (ce37718)
• nargo: Replace --contracts flag with contract package type (#2204) (968e12c)
• nargo: Require package type be specified in Nargo.toml (#2134) (1c991d0)
• nargo: Support custom entry points specified in TOML (#2158) (effb02a)
• Only create new witnesses for distinctiveness when duplicates exist (#2191) (14cbdbc)
• open functions are unconstrained (be44c7b)
• Optimize x < 0 for unsigned x to false (#2206) (25bc969)
• Optimize away constant calls to black box functions (#1981) (47b372c)
• Optimize equality checks between a boolean and constant (#2201) (478c026)
• Optionally output a debug artifact on compile (#2260) (edded24)
• Perform input validation on user's package names (#2293) (87174ac)
• Perform sorting of constant arrays at compile time (#2195) (c46d7a0)
• Remove comptime and warn upon usage (#2178) (98d0de3)
• Remove an unnecessary witness in mul_with_witness (#2078) (9f3198e)
• replace boolean ANDs with multiplication (#1954) (435ab35)
• ssa: Add additional BinaryOp simplifications (#2124) (50b2816)
• Support contract package type in nargo info command (#2249) (d309cc0)
• Support workspaces and package selection on every nargo command (#1992) (940b189)
• Update to ACVM 0.21.0 (#2051) (ad118eb)

Bug Fixes

• Add foreign impl error (#2216) (a53f5ed)
• Avoid non-determinism in defunctionalization (#2069) (898a9fa)
• avoid non-determinism in defunctionalize (898a9fa)
• avoid potential panic in two_complement (#2081) (63c4da0)
• Fix 3 parser test cases in parsing (#2284) (094aef1)
• fix an ICE happening when we call a closure result from if/else (#2146) (928b3ad)
• Fix an ICE when reassigning a mutable lambda variable to one with a different environment type (#2172) (a56db3e)
• Fix assignment when both mut and &mut are used (#2264) (b07a7ff)
• Fix methods not mutating fields (#2087) (6acc242)
• flattening pass no longer overwrites previously mapped condition values (#2117) (f7742ab)
• globals: Accurately filter literals for resolving globals (#2126) (1c21d0c)
• Implement .len() in Acir-Gen (#2077) (ab61e3a)
• Implement slices of structs (#2150) (6abcb79)
• Initialize numeric generics' type to a polymorphic integer when used in an expression (#2179) (c74b228)
• lsp: Ensure lsp does not crawl past the root specified (#2322) (d69e372)
• lsp: Improve dependency resolution in context of Nargo.toml (#2226) (8846bf2)
• lsp: Pass --program-dir to test command from codelens (#2292) (92e1802)
• Mutating a variable no longer mutates its copy (#2057) (e85e485)
• nargo: Allow --program-dir flag anywhere in a command (#2290) (7834fce)
• nargo: Indicate which TOML file is missing package name (#2177) (9529157)
• nargo: Make dependencies section optional in TOML (#2161) (099f4d4)
• nargo: Remove -p short flag from the --program-dir flag (#2300) (cc2af74)
• Open contract functions are unconstrained (#2052) (be44c7b)
• optimize contracts built by nargo info (b30b3f4)
• Optimize contracts built by nargo info (#2259) (b30b3f4)
• Overflowing assignment will result in an error (#2321) (bc645fc)
• Prevent panic when passing relative paths to --program-dir (#2324) (9eb45da)
• properly capture lvalues in closure environments (#2120) (#2257) (ed5273c)
• remove duplicated name option in nargo new (#2183) (68f5887)
• Remove last vestige of array of structs to struct of arrays conversion (#2217) (34be264)
• Rename Option::value to Option::_value (#2127) (8a1ace7)
• Require package names to be non-empty (#2293) (87174ac)
• Set location before cast instructions in SSA (#2202) (a72cc96)
• simplification of overflowing integer operations (#2153) (4a5d2de)
• stdlib: correct tecurve::contains formula (#1821) (6a10ecf)

Miscellaneous Chores

• nargo: remove flat_witness feature flag (#2208) (32d52d3)
• nargo: Remove unused flags on LSP command (#2170) (ccba78e)
• nargo: Rename nargo gates to nargo info (#2038) (5907e96)
• nargo: Require package names in Nargo.toml files (#2056) (bb28223)

0.6.0 (2023-05-16)

⚠ BREAKING CHANGES

• Update to acvm 0.11.0 (#1322)
• parser: deprecate constrain keyword for assert (#1286)

Features

• Enable to_radix for any field element (#1343) (c3bdec2)
• Enable dynamic arrays (#1271) (9f43450)
• Issue an error when attempting to use a return expression (#1330) (a6de557)
• nargo: Remove usage of CompiledProgram in CLI code and use separate ABI/bytecode (#1269) (f144391)
• ssa refactor: experimental-ssa compiler flag (#1289) (afa6749)
• ssa refactor: Implement dominator tree (#1278) (144ebf5)
• ssa: add block opcode (#1291) (951ad71)
• stdlib: add keccak256 foreign function (#1249) (260d87d)

Bug Fixes

• Fix issue with parsing nested generics (#1319) (36f5b8e)
• Fix parser error preventing assignments to tuple fields (#1318) (460568e)
• Fix struct or tuple field assignment failing with generics (#1317) (d872890), closes #1315
• stdlib: support use of to_bits and to_radix for values >128 bits (#1312) (12f3e7e)

Miscellaneous Chores

• parser: deprecate constrain keyword for assert (#1286) (9740f54)
• Update to acvm 0.11.0 (#1322) (da47368)

0.5.0 (2023-04-28)

⚠ BREAKING CHANGES

• Switch to aztec_backend that uses upstream BB & UltraPlonk (#1114)

Features

• noir: added distinct keyword (#1219) (3a65f30)
• noir: added assert keyword (#1227) (0dc2cac)
• Switch to aztec_backend that uses upstream BB & UltraPlonk (#1114) (f14fe0b)

Bug Fixes

• wasm: add std after dependencies (#1245) (55ef8a2)

0.4.0 (2023-04-17)

⚠ BREAKING CHANGES

• remove outdated arkworks backend (#1151)
• nargo: define preprocessed artifacts for programs/contracts (#1126)
• nargo: use faster hash function for checking preprocessed keys (#1094)
• Fix returning of structs in ACIR (#1058)
• upgrade to acvm 0.8.0 (#1047)

Features

• Add new Vec type to frontend (#1103) (e125157)
• Add storage slots to globals (#1019) (4190e11)
• Allow arbitrary noir functions to be unconstrained (#1044) (ebc8a36)
• Allow non-comptime field indices in unconstrained functions (#1053) (bc52612)
• Allow numeric generics to be referenced and add map (#997) (34eab32)
• Allow secret functions to use public parameters (#1051) (12c0668)
• Allow structs and arrays as globals (#1054) (dadbd3c)
• Changes serialization for contract functions (#1056) (41e0020)
• compiler: Allows specify entry_point source (#1026) (9789f89)
• dynamic array indexing (#886) (aba1ed2)
• Implement 'open' and 'unconstrained' keywords (#1037) (5a66dec)
• Implement std::unsafe::zeroed (#1048) (9a43f85)
• Implement arrays of structs (#1068) (f607150)
• import core logic in cli from nargo crate (#1142) (753a272)
• make noirc_driver aware of contracts (#999) (c21afca)
• Merge all contracts into one ABI (#1033) (473428c)
• nargo: add InvalidPackageError and DependencyResolutionError error types. (#1007) (1e6761b)
• nargo: add skeleton of composite types in template input tomls (#1104) (1fb2756)
• nargo: add test to example noir program (#1039) (f994c4f)
• nargo: allow running nargo from any directory in package (#1010) (761fdb5)
• nargo: define preprocessed artifacts for programs/contracts (#1126) (7528f59)
• nargo: print-acir command (#1031) (408d9c0)
• nargo: remove misleading quotes in generated Prover.toml (#1087) (57c817f)
• nargo: split nargo into core and cli packages (#1065) (7c388f9)
• read-only array (#899) (2e38ab0)
• stdlib: Implement Poseidon hash (#768) (779ab66)

Bug Fixes

• Avoid asserting in typechecker if struct field count is not correct (#1036) (b3d1d7f), closes #1028
• compiler identifying imported functions as being part of a contract (#1112) (61c38d2)
• correct name in CLI output from nargo_cli to nargo (74d7369)
• correct test for mutually exclusive feature flags (#1085) (eb5c917)
• crash when typechecking fields that don't exist (#1070) (a67e8c5)
• Fix returning of structs in ACIR (#1058) (91bd471)
• nargo: correct logic for rejecting transitive local dependencies (#1015) (e2b8b65)
• nargo: correct name in CLI output from nargo_cli to nargo (#1095) (74d7369)
• nargo: give contract artifacts unique names to prevent overwrites (#1158) (1227b2c)
• nargo: only search for Nargo.toml in commands which act on a Nargo package (#1029) (6e642b9)
• nargo: resolve local dependencies relative to root of depending package (38bf571)
• Numeric generics with impls error (#1148) (5d6e4d0)
• rationalise witness for constant values (#984) (ab32365)
• Resolve globals in types (#1043) (2badf14)

Miscellaneous Chores

• nargo: use faster hash function for checking preprocessed keys (#1094) (a69758c)
• remove outdated arkworks backend (#1151) (bc8ed9a)
• upgrade to acvm 0.8.0 (#1047) (63f958b)

0.3.0 (2023-03-13)

⚠ BREAKING CHANGES

• nargo: rename contract command to codegen-verifier (#959)
• replace dummy ABIs with FunctionSignature type alias (#930)
• nargo: save program ABI alongside ACIR (#922)
• nargo: restrict CliError visibility to crate (#911)
• prevent inconsistent language usage in Driver (#881)
• abi: add explicit return type field to ABI. (#865)
• abi: merge both abi encoding/decoding methods (#862)
• abi: add an explicit mapping from ABI params to witness indices (#851)
• Allow impls on primitive types (#847)

Features

• abi: add an explicit mapping from ABI params to witness indices (#851) (5bd4bd5)
• abi: add explicit return type field to ABI. (#865) (8ca5676)
• abi: merge both abi encoding/decoding methods (#862) (fecd32c)
• add support for reading boolean arrays from toml (#900) (93d83bf)
• Allow impls on primitive types (#847) (479da0e)
• ci: Publish noir_wasm when we cut a release (#871) (5186ab9)
• compile: compile w/dependencies and options (#965) (3f897f6)
• compile: Noir std lib embedded (#973) (13b9069)
• Implement basic contracts (#944) (8ba3ab2)
• Implement endianness specified versions of to_bytes to_radix and to_bits (#914) (43abc6b)
• nargo: save program ABI alongside ACIR (#922) (ddaf305)
• separate contract/program compilation from IO (#967) (c60f545)
• Silence output of prove and verify (#892) (811b346)
• ssa: add location to ssa instructions (#931) (356858b)
• update to ACVM 0.5.0 (#902) (9b58da4)

Bug Fixes

• abi: ensure that return value is loaded from toml (#883) (adba24c)
• add more readable error for missing argument in toml (#971) (e31f41f)
• allow parsing strings from toml into booleans (#894) (f729a00)
• check the argument count of generic types (#970) (2688dc4)
• compute witness when println evaluated before input (#891) (2727b34)
• correct type checking to handle false bools (#893) (6c7aa2f)
• display command description in CLI for nargo prove (#949) (2829af1)
• evaluate constant division (#909) (b91307b)
• Fix multiple call of to_le_bytes (#941) (2ee0119)
• generate valid toml when outputting nested structs (#936) (ba947a7)
• Improve member access error (#940) (9b5b5f6)
• nargo: Switch order of writing acir file and acir checksum file (#895) (4fc94dc)
• nargo: Use yml extension for bug report link presented upon panic (#960) (f7b3711)
• nargo: Use yml extension on the bug report link presented upon panic (f7b3711)
• noir_wasm: Update wasm ACIR serialization (#898) (575436f)
• Optimize parser (#869) (e927a39)
• prevent inconsistent language usage in Driver (48cda7a)
• prevent inconsistent language usage in Driver (#881) (48cda7a)
• properly initialize Evaluator in test (#863) (bbb70bd)
• properly initialize Evaluator in test (bbb70bd)
• Remove uses of std::process::exit (#963) (870ea46)
• ssa: fix the compile-time check for equality in acir-gen (#904) (161e4fb)

Miscellaneous Chores

• nargo: rename contract command to codegen-verifier (#959) (2e63492)
• nargo: restrict CliError visibility to crate (#911) (ed0e1ab)
• replace dummy ABIs with FunctionSignature type alias (#930) (156125b)

0.2.0 (2023-02-16)

⚠ BREAKING CHANGES

• Make abi field non-optional in CompiledProgram (#856)
• nargo: bump MSRV to 1.66.0 (#799)

Features

• acvm: Update to acvm 0.4.1 (#779) (6f57e86)
• ci: Add concurrency group for rust workflow (#806) (1b80f55)
• ci: Add concurrency group for rust workflow (1b80f55)
• ci: Build binaries when a release is made (#773) (a0c0c2c)
• Impls with generics (#798) (bea735d)
• nargo: add flag to verify created proofs (#737) (e981c7c)
• nargo: add panic hook (74cb340)
• nargo: Add panic hook (#850) (74cb340)
• nargo: Update nargo to use preprocessing interface (#765) (b3f1556)
• nargo: Version info in nargo and wasm (#802) (fd64be5)
• ssa: array sort (#754) (32e9320)
• std_lib: println statements (#630) (d5d1be2)
• stdlib: Add higher order array functions (#833) (9c62fef)

Bug Fixes

• avoid testing equality between unit values in acir_gen test (#849) (c2b7230)
• ci: Skip the title check if handling a merge group (#790) (71b179c)
• nargo: nargo test now only runs test functions defined in the current module (#805) (c6293c9)
• operators issuing type errors when used with matching integer types arising from generic code (#789) (932943a)
• ssa: delete instructions with false predicate (#760) (f329379)
• ssa: synchronisation for functions (#764) (615357a)

Miscellaneous Chores

• Make abi field non-optional in CompiledProgram (#856) (98acb5a)
• nargo: bump MSRV to 1.66.0 (#799) (59ff9e8)

0.1.1 (2023-02-06)

Features

• ci: Add workflow to validate PR title (#730) (e5e8542)
• ci: Change release workflow to use release-please (950ca55)
• docs: Introduce Conventional Commits & release process docs (#717) (950ca55)
• nargo: add nargo execute command (#725) (9d6be60)
• nargo: Add nargo test command to run all unit tests (#728) (2e1dc82)
• nargo: add option to save witness to file in execute command (9d6be60)
• nargo: add support for testing noir libraries (#752) (27bd2ac)
• nargo: Leverage rustls instead of openssl for downloads (#691) (933809c)