用途：该技能基于 BitVM（BitVM/BitVM），实现 BitVM2 乐观范式，即在无需软分叉的情况下于比特币上执行 Groth16 SNARK 验证器，并提供信任最小化的桥接方案。适用于脚本化 u32/u4 算术、哈希（SHA256、BLAKE3）、bigint、BN254、分块 Groth16 验证以及 peg-in/peg-out 流程。资料明确说明：请勿用于生产环境。
主要能力与组件：核心参考涵盖 BitVM2 范式、SNARK 验证器、组件图与能力（core-overview），以及 u32、u4、哈希、bigint、BN254、Groth16、chunk、签名、桥接等组件（core-components）。
功能模块：桥接 CLI 涉及密钥、地址、UTXO、peg-in/peg-out、MuSig2、广播、环境与配置（features-bridge-cli）；Chunk API 涉及 Tapscripts、disprove 逻辑、DataType/ElementType、哈希与测试（features-chunk-api）；头部链包含 Risc0 header chain 电路与 prover 二进制、数据与证明（features-header-chain）；Final SPV 涉及头部验证、交易包含证明与 32 字节 Blake3 摘要（features-final-spv）。
使用方式：文档路径包括 README.md、docs/chunk_instructions.md、DEMO_INSTRUCTIONS.md、prover/README.md、header-chain/README.md、final-spv/README.md、regtest/README.md。最佳实践中的演示流程涵盖为 UTXO 注资、顺利 peg-out、成功 disprove 与环境搭建（best-practices-demo-flows）。具体安装命令与代码示例资料中暂未提供。
适用场景与限制：适合研究、实验与演示 BitVM2 验证与桥接流程。限制为不可用于生产环境；其余收费、平台、效果等信息暂未提供。