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

Diff

noir-lang

published 0.10.0 • 2 years ago

Changelog

Source

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

Diff

noir-lang

published 0.6.0 • 2 years ago

Changelog

Source

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)