Skip to content

noir: v0.7.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@kevaundray kevaundray released this 19 Jun 19:06
v0.7.0
a3a824c
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

0.7.0 (2023-06-19)

⚠ BREAKING CHANGES

  • Update to acvm 0.14.0 (#1594)
  • update to ACVM 0.13.0 (#1393)
  • stdlib: remove unnecessary merkle functions from stdlib (#1424)
  • stdlib: return update verification functions to return bool
  • stdlib: update stdlib functions to return bool where appropriate (#1409)
  • Change serialization of struct field order to match the user defined order (#1166)
  • Update to ACVM 0.12.0 (#1339)
  • remove concept of noir fallbacks for foreign functions (#1371)
  • nargo: retire print-acir in favour of flag (#1328)

Features

  • Allow warnings by default (#1383) (e7a0d5c)
  • ci: update noir to build wasm with a nix flake file (#1208) (2209369)
  • lsp: Publish diagnostics on file save (#1676) (c53bfc8)
  • Make for-loop range be a polymorphic integer instead of just Field in unconstrained functions (#1583) (77fba56)
  • multiple item imports in use statement (#1466) (1dcd2ee)
  • nargo: Add lsp command to start server that reports no capabilities (#1560) (e28529d)
  • nargo: Allow user-specified file for prover inputs instead of Prover.toml (#1531) (91cbec6)
  • nargo: retire print-acir in favour of flag (#1328) (dffa3c5)
  • pass in closure to Driver to signal backend opcode support (#1349) (1e958c2)
  • remove concept of noir fallbacks for foreign functions (#1371) (dbec6f2)
  • ssa refactor: mem2reg opt pass (#1363) (5d1efd5)
  • stdlib: EdDSA sig verification (#1313) (04a15e0)
  • stdlib: return update verification functions to return bool (2b2be1e)
  • stdlib: update stdlib functions to return bool where appropriate (#1409) (2b2be1e)
  • Update to acvm 0.14.0 (#1594) (f2d6b7b)
  • update to ACVM 0.15.0 (#1616) (3109239)
  • use RAM/ROM opcode when supported by the backend (#1282) (242f07b)

Bug Fixes

  • Change serialization of struct field order to match the user defined order (#1166) (809aa3a)
  • Fix modulo operator for comptime values (#1361) (ba15d6d)
  • Fix nargo not showing compiler errors or warnings (#1694) (4233068)
  • frontend: Avoid panic if dependency cannot be resolved (#1719) (f35b346)
  • nargo: prevent -p arg clash (#1605) (4867f4e)
  • noirc_driver: Move error printing into nargo (#1598) (561cd63)
  • ssa refactor: Add missing calls to resolve in Instruction::simplify (#1678) (07b07d0)
  • ssa refactor: BigUint for radix (#1715) (00cf462)
  • ssa refactor: Change the result of simplifying Eq and Lt to bool (#1672) (1d48929)
  • ssa refactor: Do not remove enable_side_effects instructions in die pass (#1673) (cbee4c0)
  • ssa refactor: euclidean division for unsigned (#1721) (a1596bc)
  • ssa refactor: filter unreachable blocks from cfg (#1523) (202c345)
  • ssa refactor: fix array element propagation through constant folding and DIE (#1674) (301e244)
  • ssa refactor: Fix array elements not being mapped to new values (#1717) (4ebcbeb), closes #1688
  • ssa refactor: fix bad constant type caching (#1593) (37c0be6)
  • ssa refactor: Fix constant folding looping forever (#1611) (afe58cc)
  • ssa refactor: Fix failed_to_inline_a_function being set for intrinsics (#1675) (377ac5c)
  • ssa refactor: Fix flatten_cfg for ifs with no else (#1671) (7ce8cce)
  • ssa refactor: Fix mem2reg pass not always removing unused stores (#1677) (8310544)
  • ssa refactor: Fix ssa-gen of nested ifs (#1406) (5fd976e)
  • ssa refactor: Fix stack overflow during loop unrolling (#1666) (c7a7216)
  • ssa refactor: Implement array equality in SSA-gen (#1704) (0d31d83)
  • ssa refactor: more comprehensive instruction simplification (#1735) (97d6747)
  • ssa refactor: pad radix result (#1730) (8e9b612)
  • ssa refactor: resolve replaced value ids for printing (#1535) (08ca847)
  • ssa refactor: safe to query cfg for single block programs (#1401) (e2a23b3)
  • ssa refactor: schnorr signature handling (#1727) (98ecf93)
  • ssa refactor: Translate strings as arrays of characters (#1669) (2ba2ef6)
  • ssa refactor: truncate when simplifying constant casts (#1714) (a2108d7)
  • ssa: conditionalise array indexes under IF statements (#1395) (ddca3b4)
  • stdlib: Workaround for Field comparison error in EdDSA signature verification (#1372) (e790c9f)

Miscellaneous Chores

Assets 2
Loading