Add as_array and remove _slice variants of hash functions (#4675)
reserve keyword super (#4836)
contract interfaces and better function calls (https://github.com/AztecProtocol/aztec-packages/pull/5687)
change backend width to 4 (https://github.com/AztecProtocol/aztec-packages/pull/5374)
Use fixed size arrays in black box functions where sizes are known (https://github.com/AztecProtocol/aztec-packages/pull/5620)
trap with revert data (https://github.com/AztecProtocol/aztec-packages/pull/5732)
acir: BrilligCall opcode (https://github.com/AztecProtocol/aztec-packages/pull/5709)
remove fixed-length keccak256 (https://github.com/AztecProtocol/aztec-packages/pull/5617)
storage_layout and #[aztec(storage)] (https://github.com/AztecProtocol/aztec-packages/pull/5387)
acir: Add predicate to call opcode (https://github.com/AztecProtocol/aztec-packages/pull/5616)
contract_abi-exports (https://github.com/AztecProtocol/aztec-packages/pull/5386)

Features

acir_gen: Brillig stdlib (#4848) (0c8175c)
acir: Add predicate to call opcode (https://github.com/AztecProtocol/aztec-packages/pull/5616) (2bd006a)
acir: BrilligCall opcode (https://github.com/AztecProtocol/aztec-packages/pull/5709) (0f9ae0a)
Add min and max functions to the stdlib (#4839) (6cfb328)
Add NARGO_FOREIGN_CALL_TIMEOUT environment variable (#4780) (791f1c8)
Add comptime Interpreter (#4821) (5992436)
Add return values to aztec fns (https://github.com/AztecProtocol/aztec-packages/pull/5389) (2bd006a)
Allow numeric generics to non inlined ACIR functions (#4834) (9cc03a4)
avm: Integrate AVM with initializers (https://github.com/AztecProtocol/aztec-packages/pull/5469) (2bd006a)
Brillig heterogeneous memory cells (https://github.com/AztecProtocol/aztec-packages/pull/5608) (305bcdc)
Brillig pointer codegen and execution (https://github.com/AztecProtocol/aztec-packages/pull/5737) (0f9ae0a)
Change backend width to 4 (https://github.com/AztecProtocol/aztec-packages/pull/5374) (0f9ae0a)
Contract interfaces and better function calls (https://github.com/AztecProtocol/aztec-packages/pull/5687) (0f9ae0a)
Contract_abi-exports (https://github.com/AztecProtocol/aztec-packages/pull/5386) (2bd006a)
experimental: Add comptime keyword (#4840) (4dfd7f0)
Get last mock oracles params (#4789) (1d96937)
Impl of missing functionality in new key store (https://github.com/AztecProtocol/aztec-packages/pull/5750) (0f9ae0a)
Implement Eq trait on BoundedVec (#4830) (6cefe16)
Lalrpop lexer prototype (#4656) (25ad018)
nargo: Handle call stacks for multiple Acir calls (#4711) (5b23171)
Narrow ABI encoding errors down to target problem argument/field (#4798) (e412e6e)
Proving the rollup circuits (https://github.com/AztecProtocol/aztec-packages/pull/5599) (5b352d6)
Reserve keyword super (#4836) (d5028a6)
Restore hashing args via slice for performance (https://github.com/AztecProtocol/aztec-packages/pull/5539) (2bd006a)
Simplify BoundedVec::eq (#4838) (3d33a33)
simulator: Fetch return values at circuit execution (https://github.com/AztecProtocol/aztec-packages/pull/5642) (305bcdc)
Split backend_barretenburg into prover and verifier classes (#4769) (ce1e662)
Storage_layout and #[aztec(storage)] (https://github.com/AztecProtocol/aztec-packages/pull/5387) (2bd006a)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5572) (2bd006a)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5619) (2bd006a)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5697) (305bcdc)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5725) (5b352d6)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5794) (0f9ae0a)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5814) (0f9ae0a)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5935) (1b867b1)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5955) (1b867b1)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5999) (1b867b1)
Trap with revert data (https://github.com/AztecProtocol/aztec-packages/pull/5732) (0f9ae0a)
Unroll loops iteratively (#4779) (f831b0b)
Use fixed size arrays in black box functions where sizes are known (https://github.com/AztecProtocol/aztec-packages/pull/5620) (0f9ae0a)
Variable length returns (https://github.com/AztecProtocol/aztec-packages/pull/5633) (305bcdc)

Bug Fixes

ArrayGet and Set are not pure (#4783) (90ee479)
Avoid huge unrolling in hash_args (https://github.com/AztecProtocol/aztec-packages/pull/5703) (305bcdc)
Catch panics from EC point creation (e.g. the point is at infinity) (#4790) (645dba1)
Don't reuse brillig with slice arguments (https://github.com/AztecProtocol/aztec-packages/pull/5800) (0f9ae0a)
experimental: Skip over comptime functions in scan pass (#4893) (f267d42)
Fix curve parameters for bigints (#4900) (5985e42)
Fix panic when returning a zeroed unit value (#4797) (2ea9292)
Issue 4682 and add solver for unconstrained bigintegers (#4729) (e4d33c1)
Primary_message typo in errors.rs (https://github.com/AztecProtocol/aztec-packages/pull/5646) (5b352d6)
Proper field inversion for bigints (#4802) (b46d0e3)
Reset the noir-gates-diff report on master (#4878) (50bc325)
Update noir-gates-diff commit to use master reference report (#4891) (4a3ffb7)

Miscellaneous Chores

Add as_array and remove _slice variants of hash functions (#4675) (8e39706)
Remove fixed-length keccak256 (https://github.com/AztecProtocol/aztec-packages/pull/5617) (305bcdc)

0.27.0

Diff

noir-lang

published 0.27.0 • last year

Changelog

Source

0.27.0 (2024-04-10)

⚠ BREAKING CHANGES

Brillig typed memory (https://github.com/AztecProtocol/aztec-packages/pull/5395)

Features

acir_gen: Fold attribute at compile-time and initial non inlined ACIR (https://github.com/AztecProtocol/aztec-packages/pull/5341) (a0f7474)
acvm_js: Execute program (#4694) (386f6d0)
acvm: Execute multiple circuits (https://github.com/AztecProtocol/aztec-packages/pull/5380) (a0f7474)
Add remove_enable_side_effects SSA pass (#4224) (94952db)
Allow slices to brillig entry points (#4713) (62423d5)
Brillig typed memory (https://github.com/AztecProtocol/aztec-packages/pull/5395) (0bc18c4)
docs: Documenting noir codegen (#4454) (24f6d85)
Improve nargo check cli with --override flag and feedback for existing files (#4575) (5e7fbd4)
Improve optimisations on range constraints (#4690) (96b8110)
Improve SSA type-awareness in EQ and MUL instructions (#4691) (669f1a0)
nargo: Multiple circuits info for binary programs (#4719) (50d2735)

Bug Fixes

"Types in a binary operation should match, but found T and T" (#4648) (30c9f31)
acvm: Mark outputs of Opcode::Call solvable (#4708) (8fea405)
Correct ICE panic messages in brillig convert_black_box_call (#4761) (f3eee6c)
Error when a type variable is unbound during monomorphization instead of defaulting to Field (#4674) (03cdba4)
Field comparisons (#4704) (079cb2a)
Impl search no longer selects an impl if multiple are applicable (#4662) (0150600)
Last use analysis & make it an SSA pass (#4686) (0d3d5fd)
Slice coercions (#4640) (c0bae17)
ssa: Accurate constant type for slice dummy data in flattening (#4661) (b87654e)
ssa: Do not use get_value_max_num_bits when we want pure type information (#4700) (b55a580)
ssa: Fix slice intrinsic handling in the capacity tracker (#4643) (1b50ce1)
Unknown slice lengths coming from as_slice (#4725) (f21129e)
Update commit for noir-gates-diff (#4773) (a9766c5)

0.26.1

Diff

noir-lang

published 0.26.1 • last year

0.26.0

Diff

noir-lang

published 0.26.0 • last year

Changelog

Source

0.26.0 (2024-03-25)

⚠ BREAKING CHANGES

acir: Program and witness stack structure (https://github.com/AztecProtocol/aztec-packages/pull/5149)
automatic NoteInterface and NoteGetterOptions auto select (https://github.com/AztecProtocol/aztec-packages/pull/4508)
separating out array and slice types in the AST (#4504)
Acir call opcode (https://github.com/AztecProtocol/aztec-packages/pull/4773)
Support contracts with no constructor (https://github.com/AztecProtocol/aztec-packages/pull/5175)
Remove open keyword from Noir (https://github.com/AztecProtocol/aztec-packages/pull/4967)

Features

Acir call opcode (https://github.com/AztecProtocol/aztec-packages/pull/4773) (c3c9e19)
acir: Program and witness stack structure (https://github.com/AztecProtocol/aztec-packages/pull/5149) (13eb71b)
Add break and continue in unconstrained code (#4569) (f2f827d)
Add nargo compile --watch command (#4464) (44e60b6)
Add as_slice builtin function, add execution test (#4523) (6a9ea35)
Add checks for bit size consistency on brillig gen (#4542) (f3243b7)
Add CMOV instruction to brillig and brillig gen (https://github.com/AztecProtocol/aztec-packages/pull/5308) (13eb71b)
Add experimental quote expression to parser (#4595) (4c3a30b)
Add more impls on Option (#4549) (4cf700b)
Add specific error for attempting string[x] = ".." (#4611) (ff95fd9)
Allow usage of noir #[test] syntax in stdlib (#4553) (a8b7cdb)
Automatic NoteInterface and NoteGetterOptions auto select (https://github.com/AztecProtocol/aztec-packages/pull/4508) (13eb71b)
avm: Brillig CONST of size > u128 (https://github.com/AztecProtocol/aztec-packages/pull/5217) (c3c9e19)
Brillig IR refactor (https://github.com/AztecProtocol/aztec-packages/pull/5233) (c3c9e19)
Check initialization arguments in constructors (https://github.com/AztecProtocol/aztec-packages/pull/5144) (d4213a0)
Check initializer msg.sender matches deployer from address preimage (https://github.com/AztecProtocol/aztec-packages/pull/5222) (c3c9e19)
Initial Earthly CI (https://github.com/AztecProtocol/aztec-packages/pull/5069) (c3c9e19)
Integrated native ACVM (https://github.com/AztecProtocol/aztec-packages/pull/4903) (a6016b4)
Make brillig-gen more AVM-friendly (https://github.com/AztecProtocol/aztec-packages/pull/5091) (a6016b4)
New brillig field operations and refactor of binary operations (https://github.com/AztecProtocol/aztec-packages/pull/5208) (c3c9e19)
Optimize sha2 implementation (#4441) (80373d6)
RC optimization pass (#4560) (dfa5126)
Remove curly braces with fmt (#4529) (fe9a437)
Separating out array and slice types in the AST (#4504) (9a241f9)
Signed integer division and modulus in brillig gen (https://github.com/AztecProtocol/aztec-packages/pull/5279) (c3c9e19)
Support contracts with no constructor (https://github.com/AztecProtocol/aztec-packages/pull/5175) (c3c9e19)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5234) (c3c9e19)
Sync from noir (https://github.com/AztecProtocol/aztec-packages/pull/5286) (c3c9e19)
Visible aliases for nargo commands (#4453) (773cf19)

Bug Fixes

acir_gen: More granular element sizes array check (#4528) (f93d16e)
Added error messages for passing oracles and references from unconstrained to constrained functions (#4570) (265bd8b)
Allow non-integer globals to reference struct methods (#4490) (00d6494)
Dynamic assert messages in brillig (#4531) (e24d3fc)
Evaluate operators in globals in types (#4537) (c8aa16b)
Make nargo the default binary for cargo run (#4554) (de4986e)
Signed integer comparisons in brillig (#4579) (938d5e8)
ssa: Use accurate type during SSA AsSlice simplficiation (#4610) (0473497)
Substitute generics when checking the field count of a type (#4547) (eeeebac)

Miscellaneous Chores

Remove open keyword from Noir (https://github.com/AztecProtocol/aztec-packages/pull/4967) (a6016b4)

…

24 25