Compare
Four documents, the same five questions.
No throughput league table and no yield. The cells are what this library is willing to say about the text.
| Question | SP1: a zkVM for RISC-V programs |
|---|---|
| What the text proposes | SP1 publishes a zkVM that proves RISC-V execution, with a receipt a Groth16 or PLONK wrapper can compress for a settlement contract. |
| Who may write | Succinct |
| What is settled | The program is identified by an image. A proof for a different image is a proof of a different program, even if the source looks similar. |
| Load-bearing assumption | No cycle count and no cost is stated here. |
| What this library says afterwards | A reading of the project's public design document. Not a copy, not a benchmark, and not an offer. |
| Rights | Official external source only |