fix(prover): deterministic blob layout tag + continuation tamper coverage#851

Open

diegokingston wants to merge 3 commits into

mainfrom

fix/continuation-rkyv-review

Commits on Jul 16, 2026

feat(recursion): supply DECODE/global-memory-genesis roots via private input for continuation verify
Oppen
committed
perf(prover): verify continuation proofs in place via rkyv
Oppen
committed

Commits on Jul 17, 2026

fix(prover): tag recursion blob layouts deterministically + continuation tamper coverage
diegokingston
committed