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 | RISC Zero zkVM: proving RISC-V execution |
|---|---|
| What the text proposes | RISC Zero publishes a zkVM that proves a RISC-V program ran, so a contract can verify a receipt instead of re-running the program. |
| Who may write | RISC Zero |
| What is settled | The guest program is ordinary code compiled to the VM. The host supplies inputs. The receipt binds the image, the inputs, and the outputs the docs say it binds. |
| Load-bearing assumption | This note does not quote proving time or cost. |
| 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 |