Skip to content

fix(verifier): pin each trace-opening column width to the AIR, not just their sum - #909

Merged
MauroToscano merged 8 commits into
mainfrom
fix/pin-opening-widths
Aug 7, 2026
Merged

fix(verifier): pin each trace-opening column width to the AIR, not just their sum#909
MauroToscano merged 8 commits into
mainfrom
fix/pin-opening-widths

docs(verifier): trim the opening-width doc to the invariant

b7bc5ee
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar