v0.27.0

0.27.0 (2024-04-10)

⚠ BREAKING CHANGES

• Brillig typed memory (AztecProtocol/aztec-packages#5395)

Features

• acir_gen: Fold attribute at compile-time and initial non inlined ACIR (AztecProtocol/aztec-packages#5341) (a0f7474)
• acvm_js: Execute program (#4694) (386f6d0)
• acvm: Execute multiple circuits (AztecProtocol/aztec-packages#5380) (a0f7474)
• Add remove_enable_side_effects SSA pass (#4224) (94952db)
• Allow slices to brillig entry points (#4713) (62423d5)
• Brillig typed memory (AztecProtocol/aztec-packages#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)