risc0
1
总安装量
1
周安装量
#78410
全站排名
安装命令
npx skills add https://github.com/hairyf/blockchain-master --skill risc0
Agent 安装分布
mcpjam
1
claude-code
1
replit
1
junie
1
windsurf
1
zencoder
1
Skill 文档
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 |