Menu
BitVM2—Groth16 SNARK verifier on Bitcoin, bridge CLI, chunk API, header chain and final SPV.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Go Ethereum (geth) — CLI, JSON-RPC, Clef, abigen, and developer workflows.
Agent-oriented skills for the Anchor framework—Solana program structure, accounts, CPI, IDL, clients, and tooling.
Solana Kit (JavaScript SDK) — RPC, signers, transactions, accounts, codecs, instruction plans, and program clients for agent-driven Solana tooling.
Solana blockchain development — core concepts, clients, RPC, tokens, and payments for agent-driven tooling.
TON Blueprint development environment — project layout, build/test/run, NetworkProvider, config, scripts, wrappers, and deploy/testing practices.
TON Blockchain — addresses, messages, TVM, cells, Blueprint, contracts, payments, API.
| name | bitvm |
| description | BitVM2—Groth16 SNARK verifier on Bitcoin, bridge CLI, chunk API, header chain and final SPV. |
| metadata | {"author":"hairy","version":"2026.2.24","source":"Generated from https://github.com/BitVM/BitVM, scripts at https://github.com/antfu/skills"} |
Skill based on BitVM (BitVM/BitVM), generated from
sources/bitvm. Doc path:README.md,docs/chunk_instructions.md,DEMO_INSTRUCTIONS.md,prover/README.md,header-chain/README.md,final-spv/README.md,regtest/README.md.
BitVM implements the BitVM2 optimistic paradigm: a Groth16 SNARK verifier executable on Bitcoin without soft forks, plus a trust-minimized bridge. Use for scripting u32/u4 arithmetic, hashes (SHA256, BLAKE3), bigint, BN254, chunked Groth16 verification, and peg-in/peg-out flows. Do not use in production.
| Topic | Description | Reference |
|---|---|---|
| Overview | BitVM2 paradigm, SNARK verifier, component map, capabilities | core-overview |
| Components | u32, u4, hash, bigint, BN254, Groth16, chunk, signatures, bridge | core-components |
| Topic | Description | Reference |
|---|---|---|
| Bridge CLI | Keys, addresses, UTXOs, peg-in/peg-out, MuSig2, broadcast, env and config | features-bridge-cli |
| Chunk API | Tapscripts, disprove logic, DataType/ElementType, hashing, tests | features-chunk-api |
| Header chain | Risc0 header chain circuit and prover binary, data and proving | features-header-chain |
| Final SPV | Header verification, tx inclusion proof, 32-byte Blake3 digest | features-final-spv |
| Topic | Description | Reference |
|---|---|---|
| Demo flows | Funding UTXOs, happy peg-out, successful disprove, environment setup | best-practices-demo-flows |
