SkillsAdd

hairyf/blockchain-skills

risc0

Verifiable computation with the RISC Zero zkVM—guest/host code, receipts, proving options, and Ethereum verification.

First seen Feb 28, 2026

Installation

$ npx skills add hairyf/blockchain-skills --skill risc0
View on skills.sh ↗ GitHub repository ↗

Also in this package

Other skills from hairyf/blockchain-skills · top by installs.

npx skills add hairyf/blockchain-skills
ton 23 openzeppelin-contracts 21 viem 21 wagmi 15 solana-anchor 14 thegraph 11 solidity 10 envio 10 ton-http 9 uniswap-v4 9

Browse all from hairyf/blockchain-skills

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 4
License LICENSE.md
Default branch main
Open issues 1
Status Active

Skill metadata

Parsed from SKILL.md frontmatter.

Version2026.2.24
More metadata
author
hairy
version
2026.2.24
source
Generated from https://github.com/risc0/risc0

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 2,534 B
  • docs SUMMARY.md 132 B

History

  1. First seen on skills.sh
  2. First recorded snapshot · 6 installs

SKILL.md

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](references/core-zkvm-overview.md)
Guest code Entry macro, env read/write/commit, no_std [core-guest-code](references/core-guest-code.md)
Host code ExecutorEnv, prove, verify, journal decode [core-host-code](references/core-host-code.md)
Receipts Structure, verify, journal, serialization, receipt kinds [core-receipts](references/core-receipts.md)

Features

Topic Description Reference
Proving options Dev-mode, local, remote (Boundless), provewithopts [features-proving-options](references/features-proving-options.md)
Precompiles Crypto precompiles, patched crates (sha2, k256, etc.) [features-precompiles](references/features-precompiles.md)
Proof composition Verify receipts in guest, assumptions, resolve [features-composition](references/features-composition.md)
Recursion Segment → lift → join → Groth16, receipt kinds [features-recursion](references/features-recursion.md)
Ethereum integration Verifier contracts, Groth16, shrink-wrapping [features-blockchain-ethereum](references/features-blockchain-ethereum.md)

Best practices

Topic Description Reference
Guest optimization Cycles, paging, precompiles, profiling, alignment [best-practices-guest-optimization](references/best-practices-guest-optimization.md)

Advanced

Topic Description Reference
Security model Components, soundness, ZK caveats, audits [advanced-security-model](references/advanced-security-model.md)