Skip to content

Circuits: batched C3 fold + two C3 per‑proof gate cuts (I5, I14, I15) - #1916

Open
auryn-macmillan wants to merge 74 commits into
theinterfold:mainfrom
auryn-macmillan:i5/dkg-research
Open

Circuits: batched C3 fold + two C3 per‑proof gate cuts (I5, I14, I15)#1916
auryn-macmillan wants to merge 74 commits into
theinterfold:mainfrom
auryn-macmillan:i5/dkg-research

r130: close the fixture-bootstrap nested-cargo deadlock (FIX1+2+3) - …

5dcd172
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
detect_changes
succeeded Sep 13, 2026 in 7s