SOURCE RECORD · github

sp1

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Open canonical source ↗

Research paper status → · Book status →