How do I install the Risc0 skill?

Run npx skillmds@latest add hairyf/risc0 in your terminal (requires Node.js), paste this page's agent-chat prompt into Claude, Cursor, or any MCP-connected agent, or download the SKILL.md file and copy it into your agent's skills directory.

Is Risc0 safe to use?

This skill has not completed SkillMD's automated safety review yet. Capability flags: docs only. SkillMD never runs a skill's scripts for you; review the SKILL.md before installing.

Which AI agents work with Risc0?

This skill is tagged as working with Claude Code, Claude.ai, OpenAI Codex. SKILL.md is an open format, so most agents that read a skills directory can load it too.

Is Risc0 free to use?

Yes. Installing skills from SkillMD is free, and the skill stays under its author's original license.

hairyf (@hairyf) published this skill. Their other Agent Skills are listed on their SkillMD profile.

Risc0 by hairyf — Agent Skill

Name: Risc0
Rating: 4.2 (5 reviews)
Author: hairyf

File contents

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

---name: risc0description: Verifiable computation with the RISC Zero zkVM—guest/host code, receipts, proving options, and Ethereum verification.---> 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), prove_with_opts | [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) |

Frequently asked questions

Risc0