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 |
Features
| Topic |
Description |
Reference |
| Proving options |
Dev-mode, local, remote (Boundless), prove_with_opts |
features-proving-options |
| Precompiles |
Crypto precompiles, patched crates (sha2, k256, etc.) |
features-precompiles |
| Proof composition |
Verify receipts in guest, assumptions, resolve |
features-composition |
| Recursion |
Segment → lift → join → Groth16, receipt kinds |
features-recursion |
| Ethereum integration |
Verifier contracts, Groth16, shrink-wrapping |
features-blockchain-ethereum |
Best practices
Advanced
