v0.9.0

0.9.0 (2023-07-25)

⚠ BREAKING CHANGES

• ACIR bytecode encoding with Base64 (#1935)
• Update to ACVM 0.18.1 and implement missing brillig blackboxes (#1914)

Features

• ACIR bytecode encoding with Base64 (#1935) (347cfc4)
• Add nargo build as alias for nargo compile (#1940) (13618d4)
• add nargo init command (#1859) (2d87c87)
• Add ability to create a proof for a workspace member using nargo prove -p {crate_name} (#1930) (266126f)
• Add Acir debug information (#1864) (5ff8b53)
• Add multi-line comments (#1936) (cfb1765)
• Add support for nested arrays on brillig gen (#2029) (8adc57c)
• Add to_radix and to_bits support to brillig gen (#2012) (3eef41c)
• Add unit literals and unit types to parser (#1960) (ea80de5)
• Adding internal keyword (#1873) (7a85493)
• Allow arrays of arbitrary types in the program ABI (#1651) (811ede1)
• Allow shadowing by default (#2000) (88a4f74)
• avoid unnecessary witness assignments in euclidian division / bound constraint (#1989) (c23257d)
• brillig_gen: Return slices from foreign calls (#1909) (6fa3144)
• compile to brillig reachable acir fns (#1919) (2b4237d)
• dynamic arrays for experimental-ssa (#1969) (08d199a)
• Implement parsing of traits (#1886) (3ba1e72)
• Implement references in brillig (#1901) (3a078fb)
• initial implementation of slices in brillig (#1932) (ea47936)
• Refactor Logging to use Brillig foreign calls (#1917) (c15f9aa)
• stdlib: Add multiple slice builtins (#1888) (008a16b)
• stdlib: Add secp256r1 builtin function (#1858) (f3800c5)
• stdlib: Vec type (#1905) (3734e25)
• Update to ACVM 0.18.1 and implement missing brillig blackboxes (#1914) (2bc7d25)

Bug Fixes

• 9_conditional end to end test (#1951) (2f6741f)
• regression end to end test (#1965) (59f92e3)
• Account for missing indices in flattened witness map (#1907) (3972410)
• Add missing follow_bindings when checking if a type can be casted (#2022) (537c2bd)
• Add Result to acir gen (#1927) (1f8fd51)
• Assignment to arrays of structs (#1998) (2c3d976)
• brillig_gen: Pass correct size of complex types input for brillig foreign calls (#1922) (04c89d2)
• Create FileManager with a root and normalize filenames against it (#1881) (50c1648)
• Differentiate stdlib CrateId from others (#1895) (211e251)
• Don't panic when checking if an undeclared variable is mutable (#1987) (0449518)
• emit Opcodes in correct order from GeneratedAcir::radix_le_decompose (#1903) (e5fe839)
• emit opcode in correct order from GeneratedAcir::radix_le_decompose (e5fe839)
• emit opcodes for sorting variables in order of execution (c43efab)
• Emit opcodes for sorting variables in order of execution (#1941) (c43efab)
• Fix auto-deref operations assigning the wrong result type (#1904) (827f78c)
• lsp: Avoid storing Context until recompiles are possible (#1891) (fb5f20b)
• method resolution when calling an &mut method with an &mut object type (#1947) (73c2e94)
• Only flatten main (#1984) (ac865b1)
• Parse an if followed by a tuple as a block (#1924) (8df4f05)
• Perform occurs check before binding function types (#2027) (1544786)
• Prevent if and for from parsing constructor expressions (#1916) (6d3029a)
• Rebuild tests plus script to include secp256r1 change (#1908) (ca68666)
• Switch from HashMap to BTreeMap in merge_stores (#2035) (4d179e3)
• update int division optimization (#1928) (fb872c6)
• Various fixes for defunctionalization & brillig gen (#1973) (f99f4bf)
• workaround for LSP dependency resolution (#1865) (a8ac338)