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-master
openzeppelin-contracts
Secure smart contract library—access control, tokens (ERC20/721/1155/4626/6909), upgradeable contracts, and utilities.
15viem
TypeScript interface for Ethereum — clients, contracts, accounts, chains, ENS, and utilities.
13wagmi
Wagmi — React/Vue/Solid hooks and Core for Ethereum; config, connectors, read/write contracts, TanStack Query.
11ton
TON Blockchain — addresses, messages, TVM, cells, Blueprint, contracts, payments, API.
11envio
Envio blockchain data stack — HyperSync, HyperIndex, HyperRPC; fast indexing and data APIs.
8uniswap-v4
Uniswap v4 core pool logic — singleton PoolManager, unlock/callback, pool actions, hooks, and types.
7