Skip to content

v0.3.0
Compare
Choose a tag to compare
@kevaundray kevaundray released this 13 Mar 18:35
v0.3.0
e7fea94
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.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 initialise Evaluator in test (#863) (bbb70bd)
  • properly initialise 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)
Assets 9
Loading