[DRAFT] refactor(verifier): collapse to a single archived proof representation#824

Draft

MauroToscano wants to merge 19 commits into

mainfrom

perf/rkyv-archived-only

Commits on Jul 14, 2026

perf(verifier): verify STARK proofs in place via rkyv
Oppen
committed
fmt
Oppen
committed
fix(prover): use rkyv in disk-spill tests instead of stale bincode calls
Oppen
committed
fix(prover): bytecheck-validate recursion blob, guard OOD step_size, align CLI proof reads
Oppen
committed
fix(cli): avoid UB from reading into uninitialized AlignedVec
Oppen
committed
fix(math): gate zero-copy archived field-element casts by sealed marker
Oppen
committed
chore(prover): drop unused bincode dev-dependency

MauroToscano
authored and
Oppen
committed
docs: fix stale bincode/serde references after rkyv migration

MauroToscano
authored and
Oppen
committed
docs(stark): note proof serde derives are kept only for examples/tests

MauroToscano
authored and
Oppen
committed
refactor(syscalls): dedupe get_private_input via get_private_input_slice

MauroToscano
authored and
Oppen
committed
refactor(stark): avoid cloning the proof in Verifier::verify

MauroToscano
authored and
Oppen
committed
refactor(stark): unify owned/archived Table dimensions_consistent and into_frame

MauroToscano
authored and
Oppen
committed

Commits on Jul 15, 2026