skills.rest
hairyf
hairyfCOMMUNITY
Explore all skills by this author →
GitHub

bitvm

Implement BitVM2 optimistic verification of Groth16 SNARK proofs on Bitcoin.

4|1|Updated Jan 30, 2026
Search Tags:#blockchain#cryptography#smart contracts#bitcoin#zk-snarks#optimistic execution
One-click install
npx skills add https://github.com/hairyf/blockchain-skills --skill bitvm
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: bitvm
Source: https://github.com/hairyf/blockchain-skills/tree/main/skills/bitvm
Command: npx skills add https://github.com/hairyf/blockchain-skills --skill bitvm

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill enables the execution of complex computations, including SNARK verifiers, directly on the Bitcoin blockchain without requiring soft forks, and facilitates trust-minimized bridge operations.

Core Features & Use Cases

  • On-chain SNARK Verification: Verifies Groth16 SNARK proofs using Bitcoin script.
  • Trust-Minimized Bridge: Supports peg-in and peg-out operations between Bitcoin and other chains.
  • Modular Script Components: Provides reusable Taproot scripts for arithmetic, hashing, and elliptic curve operations.
  • Use Case: Developers can leverage BitVM to build ZK-powered applications on Bitcoin, such as decentralized exchanges or verifiable computation platforms, by verifying proofs of off-chain computations directly on-chain.

Quick Start

Use the bitvm skill to understand the core components of the BitVM2 paradigm.

Frequently Asked Questions about bitvm

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify a SNARK proof on Bitcoin without a soft fork?▼

You can verify a SNARK proof on Bitcoin without a soft fork by using the BitVM2 optimistic paradigm. It executes a Groth16 SNARK verifier through modular Taproot scripts, enabling complex on-chain computation directly on the Bitcoin network.

How does the BitVM2 optimistic execution model work for Bitcoin smart contracts?▼

The BitVM2 optimistic execution model runs a chunked verifier for SNARK proofs off-chain and only requires on-chain verification if a challenge occurs. This allows complex Bitcoin smart contracts to execute efficiently without network upgrades.

Can I build a trust-minimized bridge between Bitcoin and other blockchains?▼

Yes, you can build a trust-minimized bridge between Bitcoin and other chains using this Skill. It supports peg-in and peg-out operations by verifying off-chain computations and header chain SPV proofs directly within Bitcoin scripts.

What Bitcoin script components are available for elliptic curve operations and arithmetic?▼

The Skill provides modular Bitcoin script components for arithmetic, hashing, and elliptic curve operations. These reusable Taproot scripts form the foundation for implementing the Groth16 SNARK verifier and verifying cryptographic proofs on-chain.

Does running a Groth16 verifier on Bitcoin require modifying the core protocol?▼

No, running a Groth16 verifier on Bitcoin does not require modifying the core protocol. The Skill implements the BitVM2 optimistic paradigm to perform complex on-chain computation and cross-chain interoperability entirely without soft forks.

What are the limitations of using optimistic execution for ZK-powered applications on Bitcoin?▼

The optimistic execution approach for ZK applications on Bitcoin requires an interactive challenge process to dispute fraudulent state transitions. While it avoids soft forks, implementing the modular scripts and chunked verifier for complex computations demands significant technical expertise.

Related Skills

Explore More Software Engineering Skills→
aibtcdevaibtcdev
9

signing

Generate and verify multi-protocol cryptographic signatures via a single CLI.

Official
Advanced
sendaifunsendaifun
125

switchboard

Integrate Switchboard Solana oracle feeds and VRF via TypeScript SDK.

Official
Advanced
aaronbassettaaronbassett

compact-core:standard-library

Provide cryptographic primitives, token operations, and time utilities for Compact smart contracts.

Community
Advanced
selfxyzselfxyz
1

self-xyz

Integrate Self.xyz zero-knowledge identity verification for passports and ID cards.

Official
Advanced