risc0
Installation
SKILL.md
Skill is based on RISC Zero (risc0/risc0), generated at the listed date.
RISC Zero is a zero-knowledge verifiable computing platform based on zk-STARKs and RISC-V. The zkVM runs arbitrary code (Rust, C, C++) and produces receipts (journal + seal) that anyone can verify with the program’s image ID, without re-running the program or seeing private inputs. Use it for coprocessors, attestation, and on-chain verification (e.g. Ethereum via Groth16 verifier contracts).
Core References
| Topic | Description | Reference |
|---|---|---|
| zkVM overview | Guest, host, method, image ID, journal, receipt, seal | core-zkvm-overview |
| Guest code | Entry macro, env read/write/commit, no_std | core-guest-code |
| Host code | ExecutorEnv, prove, verify, journal decode | core-host-code |
| Receipts | Structure, verify, journal, serialization, receipt kinds | core-receipts |