STARK
Scalable Transparent ARgument of KnowledgeA type of cryptographic proof that a computation was performed correctly. “Scalable” means proving/verifying cost grows well with computation size; “Transparent” means it needs no trusted setup ceremony (unlike many SNARKs); “Argument of Knowledge” means it proves the prover actually knows a valid execution, not just that one could exist.
In this repo: produced by
zkvm-stark::prove_program and checked by verify_program, built on Winterfell. Real proof, ~11 KB, ~5.5ms to verify — see the verify-time benchmark post.