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

Open

MauroToscano wants to merge 8 commits into

mainfrom

fix/pin-opening-widths

Commits on Aug 5, 2026

fix(verifier): pin each trace-opening column width to the AIR, not just their sum
MauroToscano
committed
6feeb48
test(verifier): regression tests for the trace-opening column split
MauroToscano
committed
74a171c
style: cargo fmt + drop redundant clones flagged by clippy
MauroToscano
committed
e15bd88
test(verifier): regression tests for the main<->aux opening split (LogUp break)
MauroToscano
committed
9546563
docs(verifier): record the aux instance at verify_trace_openings and in the guard doc
MauroToscano
committed
5ebf69a
test(verifier): drop the prover hook - both instances now pin hook-free
MauroToscano
committed
df9e595

Commits on Aug 6, 2026