Jolt: SNARKs for Virtual Machines via Lookups

ePrint Report: Jolt: SNARKs for Virtual Machines via Lookups

Arasu Arun, Srinath Setty, Justin Thaler

Succinct Non-interactive Arguments of Knowledge (SNARKs) allow an untrusted prover to establish that it correctly ran some "witness-checking procedure" on a witness. A zkVM (short for zero-knowledge Virtual Machine) is a SNARK that allows the witness-checking procedure to be specified as a computer program written in the assembly language of a specific instruction set architecture (ISA).


A $\textit{front-end}$ converts computer programs into a lower-level representation …

eprint report justin knowledge machine machines non procedure report untrusted virtual virtual machine virtual machines