feat: program commitment (bytecode + program image)#1221

Closed

quangvdao wants to merge 48 commits intoa16z:mainfrom

quangvdao:quang/program-image-commitment

Commits on Jan 19, 2026

feat: split Stage 6 into 6a (address) and 6b (cycle) phases
quangvdao
committed
refactor: separate Address/Cycle provers into independent structs
quangvdao
committed
refactor(stage6): remove state handoff for booleanity/read-raf
quangvdao
committed

Commits on Jan 20, 2026

Commits on Jan 22, 2026

Commits on Jan 23, 2026

refactor(zkvm): unify BytecodePreprocessing and ProgramImagePreprocessing into ProgramPreprocessing
quangvdao
committed
fix: add missing update_flamegraph impl for ProgramImageClaimReductionProver
quangvdao
committed
refactor: rename BytecodeMode to ProgramMode + add comprehensive tests
quangvdao
committed
fix: resolve clippy warnings for too_many_arguments and identity_op
quangvdao
committed
fix(dory): fix CycleMajor bytecode embedding for committed mode Stage 8
quangvdao
committed
perf: optimize IO polynomial evaluation with sparse MLE
quangvdao
committed
Merge quang/optimize-io-mle-eval into quang/program-image-commitment
quangvdao
committed
style: apply cargo fmt
quangvdao
committed
fix: add SumcheckFrontend impl for RegistersReadWriteCheckingVerifier
quangvdao
committed
refactor(prover,verifier): consolidate imports and clean up stage params
quangvdao
committed

Commits on Jan 24, 2026

Commits on Jan 26, 2026

Commits on Jan 27, 2026

Commits on Jan 30, 2026

perf(zkvm): fuse bytecode claim reduction lanes in cycle phase
quangvdao
committed

Commits on Jan 31, 2026