feat: update to Noir 1.0.0-beta.25 - #311

Open

TomAFrench wants to merge 10 commits into

reilabs:mainfrom

noir-lang:tf/update-to-beta.25

Commits on Jul 27, 2026

Document the Noir version update process
TomAFrench
committed
a077af3
Target Noir 1.0.0-beta.25 in the extractor
TomAFrench
committed
45257c9
Re-vendor the Noir stdlib at 1.0.0-beta.25
TomAFrench
committed
c261871
Support beta.25 extraction output in the Lampe library
TomAFrench
committed
a8c0c36
Note that testing/ fixtures may need Noir language updates
TomAFrench
committed
4fb06e8
Model beta.25's bool bit decomposition in Lampe
TomAFrench
committed
2fe0d32
Re-extract the stdlib at beta.25 and repair its theorems
TomAFrench
committed
c4609cc

Commits on Jul 28, 2026

Repair the remaining stdlib theorems for beta.25
TomAFrench
committed
d7904e2
Re-extract the testing projects at beta.25 and repair their proofs
TomAFrench
committed
dc175c5
Run extraction tests on a larger stack
TomAFrench
committed
4aab857