القائمة
BitVM2—Groth16 SNARK verifier on Bitcoin, bridge CLI, chunk API, header chain and final SPV.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
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 |
