zkvm

implements a STARK proving system from first principles that proves the correct execution of real Solana-style sBPF bytecode.

understanding how system executes sBPF programs in a real VM, converting the execution trace into an algebraic representation, enforces correctness via AIR constraints, and produces a STARK proof verified using Fiat–Shamir, Merkle commitments, and FRI.

view on github