perf(prover): verify continuation proofs in place via rkyv - #845

Merged

MauroToscano merged 9 commits into

mainfrom

perf/continuation-rkyv-zero-copy

Jul 17, 2026

Commits on Jul 17, 2026

perf(prover): verify continuation proofs in place via rkyv
Oppen
committed
5f7a780
test(prover): cover continuation blob tamper path, drop dead API
Oppen
committed
27e342b
fmt
Oppen
committed
71cfb5d
refactor(prover,stark): replace MultiProof field-explosion with borrowed views
Oppen
committed
3883d1b
perf(stark): match Owned/Archived once per MultiProofView iteration, not per element
Oppen
committed
79b2117
Revert "perf(stark): match Owned/Archived once per MultiProofView iteration, not per element"
Oppen
committed
896e6a2
perf(stark): force-inline MultiProofView's per-element accessors
Oppen
committed
772a8a7
fix(prover): cover L2G binding rejection, dedupe ELF re-parse in continuation verify
Oppen
committed
995f971
fmt
Oppen
committed
860e04f