chore: Release Noir(1.0.0-beta.20)

[noirwhal]

🤖 I have created a release beep boop

1.0.0-beta.20 (2026-03-17)

⚠ BREAKING CHANGES

• remove deprecated StructDefinition (#11859)
• comptime struct/enum/type (#11698)
• Treat uses of comptime globals identically to comptime { GLOBAL_NAME } (#11627)
• stdlib: remove deprecated type Vec from stdlib (#11282)

Features

• brillig: Block param coalescing (#11621) (7d07e18)
• brillig: Live intervals (#11725) (774f73c)
• brillig: LRU-based register spilling (#11556) (39f25c9)
• cli: Add --overwrite-return option (#11697) (4c95deb)
• Comptime struct/enum/type (#11698) (abf4a87)
• Group repeating sequences of call stack frames (#11691) (5fc2c79)
• Implement Eq and Ord for tuples of up to length 12 (#11681) (5f7b06b)
• Improve error location of necessary/unnecessary visibility (#11460) (12ecac9)
• Only print SSA optimization result if it produced changes (#11587) (4e26919)
• opt: Add simpler mem2reg pass (#11500) (2b09b8b)
• Show function names in backtraces (#11483) (0adcf74)
• Simplify vector_push_back when length is known for complex types (#11717) (95fc5e9)
• ssa: More aggressive Brillig loop unrolling (#7236) (8e57c6b)
• stdlib: Add #[foreign(poseidon2_config_state_size)] and use static_assert in poseidon2_permutation (#11716) (4c33f8a)
• Warn on unnecessary mut on variables (#11678) (f2116b0)

Bug Fixes

• <Type>::trait_method and Type::trait_method fixes (#11636) (65c3939)
• acir: Do not create an input witness when there are no input parameters (#11672) (f8685f7)
• acir: Handle inserting into an empty vector at index 0 in ACIR (#11703) (0e02b0c)
• acir: Unify empty vector handling in pop (#11688) (79e5f95)
• acir: Use flat_element_types to set the value_types of AcirDynamicArray (#11719) (64b1b82)
• Apply check on truncating output of unchecked sub only to signed types (#11814) (7104fb7)
• Avoiding panic from cyclic global (#11537) (34e3758)
• brillig: Prevent premature register deallocation in coalesced pairs (#11652) (824f568)
• brillig: Protect against memory address overflows (#11864) (3a5091b)
• brillig: Reuse transient spill slots when re-spilling an unmarked value (#11862) (f60c8ef)
• Check a capture was inserted when computing the capture index (#11868) (f115dcc)
• Check for overlapping implementations (#11328) (de7e439)
• Clone generic binding values in comptime (#11765) (c9652be)
• comptime: Follow bindings when interpreting format string (#11853) (363fc8a)
• comptime: Implement Hash and PartialEq for TraitConstraint (#11809) (f1db02c)
• Copy lambda env in comptime evaluation (#11731) (d6a4564)
• Correct bit size assumption for bound constraint (#11654) (38bb8a4)
• Correct comptime handling of bindings/generics in call_closure (#11732) (013636e)
• Correct index out of bounds location (#11685) (fffdad0)
• Correct token conversion for Integer::Field in comptime (#11786) (0adc7fb)
• Detect unconstrained callees via type for indirect calls (#11657) (2f24b9a)
• Disallow mutating non-mutable references (owernship feature) (#11674) (f179cc0)
• Do not nest semi-colon inside Comptime statements (#11640) (26d12a0)
• doc: Double-reexport can lead to empty module (#11665) (85aae28)
• docs: Add v1.0.0-beta.19 versioned docs (#11724) (fa33ce4)
• docs: Resolve #include_code macros in v1.0.0-beta.19 versioned docs (#11812) (da53c8f)
• Don't skip clone for vector operations in Brillig (#11485) (efc4e62)
• Don't update the bindings when checking functions (#11844) (764aca4)
• elaborator: Replace generics with fresh type variables in add_prepared_trait_implementation (#11598) (fb7837b)
• Fix casting negative fields to Field (#11618) (d45f2b1)
• Fix LICM hoisting failing constraints out of loops (#11771) (b79712e)
• fmt: Off by one error when wrapping comments (#11847) (c7fe615)
• frontend: Always validate macro calls (#11836) (26af3f7)
• frontend: Avoid spurious errors on turbofish generic count mismatch (#11861) (7861de2)
• frontend: Block private inherent impl methods from leaking across modules (#11839) (b99d3c9)
• frontend: Follow bindings in Type::substitute to avoid infinite loop (#11624) (6868747)
• frontend: Numeric type alias validation (#11845) (ef7a218)
• frontend: Reject #[oracle] returning a vector containing a str (#11881) (5ddd28c)
• frontend: Resolve turbofish in numeric type aliases (#11840) (a47c381)
• Guard against mutations from external crates in TypeDefinition methods (#11632) (a9d8b61)
• Keep vector length for zero types (#11601) (1177456)
• Let comptime string value hold Vec<u8> (#11743) (9f2785b)
• Look for associated types on parent traits and impls (#11745) (e3904eb)
• Missing Type::Vector in array_zero_value (#11683) (803a56b)
• noirc_frontend: Improve error for struct literal in if condition (#11557) (721d7ab)
• parser: Handle member access in Parser::parse_statement_or_expression_or_lvalue (#11822) (d100770)
• Perform abi check on struct on declaration, not usage (#11628) (a4c32f0)
• Perserve comptime struct field order (#11804) (cd41829)
• Preserve side-effects predicate for heterogeneous vector_push_back (#11664) (325fd70)
• Prevent crash when resolving method in trait impl with unknown t… (#11656) (7cff3a6)
• Prevent double register deallocation in coalescing hub pattern (#11706) (733c373)
• Prevent infinite constant term movement during unification (#11867) (d837fac)
• Proper field comparison in comptime (#11748) (28c3b5f)
• Quoted eq/hash consistency (#11733) (c603e3c)
• Resolve imports in batches (#11583) (48245f6)
• Simplify before simulate (#11645) (c4c43e7)
• Skip empty AssertZero opcodes in ACVM optimizer (#11780) (a48028f)
• ssa: Count params as loop header defined variables when folding (#11630) (8e35c63)
• ssa: Do not fold ArraySet to MakeArray in simplifier (#11659) (ebb5ff1)
• ssa: Fully simplify CFG by exploring new successors and cascading invalidation (#11619) (8aa2809)
• ssa: Make get_bit_size_from_ssa_type match ssa_type_to_parameter for Function (#11860) (70dcc2f)
• ssa: Simplify boolean AND with max value and harden simplify_cfg (#11602) (1f771be)
• ssa: Track instruction results when hoisting to loop header (#11634) (9dec202)
• ssa: Try not to hoist into loop headers during constant folding (#11616) (ea8f830)
• ssa: Verify jmpif condition matches header instruction in get_const_upper_bound (#11615) (8bdc389)
• Treat uses of comptime globals identically to comptime { GLOBAL_NAME } (#11627) (947f6a3)
• Unwrap expr in comptime is_break/is_continue/has_semicolon (#11805) (17f185d)
• Use correct types for Prover.toml template (#11693) (71c0384)

Miscellaneous Chores

• Remove deprecated StructDefinition (#11859) (02e54ec)
• stdlib: Remove deprecated type Vec from stdlib (#11282) (76ff5b8)

---

This PR was generated with Release Please. See documentation.

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Test Suite Duration'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: d1ca875	Previous: f4d093d	Ratio
test_report_noir-lang_sha512_	14 s	11 s	1.27

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 5ef0726	Previous: f115dcc	Ratio
rollup-block-root-single-tx	0.003 s	0.002 s	1.50

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

🚀 Deployed on https://69b93a6fc9348c291df87e86--noir-docs.netlify.app

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Brillig Execution Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 5ef0726	Previous: f115dcc	Ratio
private-kernel-reset	0.057 s	0.042 s	1.36

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'ACVM Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 77fdd3d	Previous: 5fc2c79	Ratio
perfectly_parallel_batch_inversion_opcodes	2738267 ns/iter (± 12516)	2207543 ns/iter (± 10931)	1.24

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Compilation Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 3cbf168	Previous: 70dcc2f	Ratio
rollup-checkpoint-root	446 s	327 s	1.36

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Elaboration Time'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.20.

Benchmark suite	Current: 5f363d3	Previous: 85aae28	Ratio
rollup-checkpoint-root	1.68 s	1.37 s	1.23

This comment was automatically generated by workflow using github-action-benchmark.

CC: @TomAFrench

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	browserify-fs@​1.0.0
	@​web/​test-runner-playwright@​0.11.1
	@​typescript-eslint/​parser@​8.57.0
	@​types/​path-browserify@​1.0.3
	@​types/​pako@​2.0.4
	@​web/​dev-server-import-maps@​0.2.1
	@​web/​dev-server-esbuild@​1.0.5
	@​types/​adm-zip@​0.5.7
	ethers@​6.16.0
	@​types/​readable-stream@​4.0.23
	buffer-esm@​1.2.0
	mocha-each@​2.0.1
	@​types/​mocha-each@​2.0.4
	@​types/​sinon@​21.0.0
	@​types/​chai@​5.2.3
	@​nomicfoundation/​hardhat-toolbox-mocha-ethers@​3.0.3
	@​types/​mocha@​10.0.10
	@​nomicfoundation/​hardhat-node-test-runner@​3.0.10
	@​nomicfoundation/​hardhat-typechain@​3.0.4
	@​ltd/​j-toml@​1.38.0
	@​typescript-eslint/​eslint-plugin@​8.57.0
	adm-zip@​0.5.16
	@​types/​node@​24.6.1 ⏵ 22.19.15
	@​nomicfoundation/​hardhat-keystore@​3.0.5
	@​nomicfoundation/​hardhat-ignition@​3.0.9
	@​esm-bundle/​chai@​4.3.4
	@​wasm-tool/​wasm-pack-plugin@​1.7.0
	hardhat@​3.1.11
	@​nomicfoundation/​hardhat-mocha@​3.0.12
	@​nomicfoundation/​hardhat-ignition-ethers@​3.0.9
	@​nomicfoundation/​hardhat-ethers-chai-matchers@​3.0.3
	assert@​2.1.0
	chai@​6.2.2
See 15 more rows in the dashboard

View full report

[github-actions]

FYI @noir-lang/developerrelations on Noir doc changes.