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 |
More from hairyf/blockchain-skills
solana-anchor
Agent-oriented skills for the Anchor framework—Solana program structure, accounts, CPI, IDL, clients, and tooling.
7solana
Solana blockchain development — core concepts, clients, RPC, tokens, and payments for agent-driven tooling.
6tron
TRON (java-tron) - account model, DPoS, resources, system contracts, TVM, TRC-10/TRC-20, DEX, APIs, events, TronGrid.
4solana-kit
Solana Kit (JavaScript SDK) — RPC, signers, transactions, accounts, codecs, instruction plans, and program clients for agent-driven Solana tooling.
4tronbox
Development framework and testing environment for TRON (TVM) and EVM-compatible chains — compile, migrate, test, and console.
3tonweb
TonWeb JavaScript SDK for TON. Wallets, BOC, HttpProvider, NFT, Jetton, DNS.
3