v0.85.0-nightly.20250419

See changes: v0.85.0...f8c0ba8

v0.85.0-nightly.20250418

See changes: v0.85.0...017b00c

v0.85.0-nightly.20250417

See changes: v0.85.0...da1e698

v0.85.0-nightly.20250416

See changes: v0.85.0...1dc92ef

v0.85.0-alpha-testnet.2

See changes: v0.85.0...05999f5

v0.85.0-alpha-testnet.1

See changes: v0.85.0...6a49db3

v0.85.0-alpha-testnet.0

See changes: v0.85.0...c9e7654

v0.85.0

0.85.0 (2025-04-15)

⚠ BREAKING CHANGES

• remove PXE starting block (#13504)
• rename encrypted_logs to messages (#13496)
• remove poseidon from stdlib (noir-lang/noir#7650)

Features

• ssa::create_program_with_passes (noir-lang/noir#8035) (b184863)
• acir_formal_proofs: formal proofs for Noir cast (#13467) (68bf6ed)
• add loop generator to AST fuzzer (noir-lang/noir#7985) (cf18f8e)
• add while generator to AST fuzzer (noir-lang/noir#8021) (b184863)
• add basic comptime correctness tests (noir-lang/noir#7825) (f9d3c38)
• add CapsuleArray::for_each (#13425) (24b6ed3)
• Add nullifier read gadget (#13403) (ac97b24)
• Add rollup IVC testing suite (#13371) (0ec1917)
• add simplified OR when rhs or lhs is all 1s (noir-lang/noir#7880) (f9d3c38)
• allow splicing a resolved function into an attribute name (noir-lang/noir#7956) (cf18f8e)
• attribute locations (noir-lang/noir#8006) (cf18f8e)
• avm: appendLeaves hints (#13312) (869dc1f)
• avm: checkpointing hints (#13302) (81f3d7d)
• avm: standard AVM recursive verifier v2 (#13234) (5941c82)
• avm: tree padding (#13394) (3f11060)
• compute padding indicator array in-circuit (#13417) (39f4ec0)
• Contract updates checker gadget (#13236) (fd9264d)
• dsl layer for recursive avm verifier v2 (#13362) (e9922dc)
• error if generic type parameter in impl is not mentioned in self type (noir-lang/noir#6388) (f9d3c38)
• Evolve nullifier read gadget into a read/write gadget (#13440) (73d6cf7)
• fast PXE sync (#13475) (c580e8b)
• fee asset handler update (#13493) (cd091db)
• formatter: improved formatting of long struct patterns (noir-lang/noir#7899) (f9d3c38)
• fuzz: AST function body (noir-lang/noir#7890) (f9d3c38)
• fuzz: AST fuzzer skeleton (noir-lang/noir#7865) (f9d3c38)
• fuzz: Generate arbitrary Call in function body (noir-lang/noir#7987) (b184863)
• Generate verification keys in parallel in aztec-nargo (#13307) (8fd4b8b)
• generic trait bounds (noir-lang/noir#7891) (f9d3c38)
• Honk solidity verifier takes the pairing point obj as part of the proof (#13322) (9b99f9a)
• Honk will always have pairing point object (#13217) (1704145)
• improved pairing point accumulator (#13226) (8c58c96)
• LSP: Workspace Symbol (noir-lang/noir#7953) (f9d3c38)
• MessagePack serialisation for circuits (noir-lang/noir#7690) (f9d3c38)
• more blob sink metrics (#13413) (8dc17ec)
• more tests for pairing point object (#13500) (5e8b092)
• node mempool limiting (#13247) (4899d3f)
• parser: better error recovery when identifier doesn't come in constructor (noir-lang/noir#7887) (f9d3c38)
• parser: improve error recovery when fn is missing between mod… (noir-lang/noir#7884) (f9d3c38)
• perf: optimise array index checks in loops (noir-lang/noir#7893) (f9d3c38)
• persist the bot and enable simulation capturing (#13276) (4247bb6)
• playground (#12965) (64bbf42)
• playground improvements (#13492) (004dea3)
• preload CRS files once in GKE (#13093) (7463538)
• print initialization witnesses and show all blackbox witnesses (noir-lang/noir#7919) (f9d3c38)
• remove PXE starting block (#13504) (e09699f)
• Remo...

v0.84.0-nightly.20250415

See changes: v0.84.0...93b8bb5

v0.84.0-nightly.20250414

See changes: v0.84.0...b855fcd