feat: List-based IOP model with composition & sumcheck security proofs#392

Draft

quangvdao wants to merge 47 commits intomainfrom

quang/iop-refactor

Commits on Feb 25, 2026

docs: add IOP refactor design document

quangvdao
and
cursoragent
committed
feat(Refactor): Phase 0 — HVector, ProtocolSpec, Transcript

quangvdao
and
cursoragent
committed
feat(Refactor): Phase 1 — Prover, Verifier, OracleVerifier, Reduction

quangvdao
and
cursoragent
committed
feat(Refactor): Phase 2 — security definitions, build fixes, lint cleanup

quangvdao
and
cursoragent
committed
feat(Refactor): Phase 3 — composition (comp, compNth, security composition)

quangvdao
and
cursoragent
committed
feat(Refactor): implement oracle bridge functions, remove 6 sorries

quangvdao
and
cursoragent
committed
feat(Refactor): structural recursion for split/join, implement OracleVerifier.comp

quangvdao
and
cursoragent
committed
docs(Refactor): add inline comments on complex definitions

quangvdao
and
cursoragent
committed
feat(Refactor): add Fiat-Shamir transformation for list-based ProtocolSpec
quangvdao
committed
fix(Refactor): correct security games randomness
quangvdao
committed
feat(Refactor): add invariant-robust security definitions
quangvdao
committed
chore(Deps): update VCVio to master
quangvdao
committed

Commits on Feb 26, 2026

Commits on Mar 2, 2026

Commits on Mar 4, 2026

Commits on Mar 5, 2026

refactor: complete sumcheck RBR soundness via composition and fix lint warnings
quangvdao
committed

Commits on Mar 7, 2026

Commits on Mar 10, 2026

refactor: add telescope-native dependent protocol stack
quangvdao
committed