refactor: split stage 6 sumchecks#16

Open

RadNi wants to merge 14 commits into

amir/bytecode-commitment-stack-basefrom

amir/bytecode-stack/01-stage6-split

Commits on May 25, 2026

fix(zkvm): make stage6 split compatible with zk flow

committed
fix(zkvm): import verifier opening accumulator in stage6 split

RadNi
and
cursoragent
committed
fix(zkvm): make stage6 split verifier impls generic

RadNi
and
cursoragent
committed
fix(zkvm): update stage6 split serialization and transpiler

RadNi
and
cursoragent
committed
fix(zkvm): accept generic accumulators in stage6 verifier constructors

RadNi
and
cursoragent
committed
style: format stage6 split branch

RadNi
and
cursoragent
committed
fix(zkvm): update transpiler proof symbolization for stage6 split

RadNi
and
cursoragent
committed
refactor(zkvm): align stage6 sumcheck phases with final structure

RadNi
and
cursoragent
committed
fix(zkvm): keep booleanity exports module-local

RadNi
and
cursoragent
committed
fix(zkvm): pass stage6a bytecode read-raf state

RadNi
and
cursoragent
committed
fix(zkvm): align stage6 booleanity handoff

RadNi
and
cursoragent
committed
fix(zkvm): include stage6a in blindfold verification

RadNi
and
cursoragent
committed
fix(advice): align round offsets with stage6 split

RadNi
and
cursoragent
committed

Commits on May 26, 2026

Avoid duplicate booleanity RA index computation
RadNi
committed