risc0

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

Topic	Description	Reference
Guest optimization	Cycles, paging, precompiles, profiling, alignment	best-practices-guest-optimization

Advanced

Topic	Description	Reference
Security model	Components, soundness, ZK caveats, audits	advanced-security-model