本演示是 BitVM 项目迈向下一阶段——“底层库代码审计”的里程碑式成果。你可以在公开 Signet 上亲自查看、验证每一行交易，并通过本地节点复现整个跨链场景。
项目里程碑：BitVM Bridge 首次落地
BitVM、跨链桥、比特币二层、零知识 SNARK 验证器，这些关键词终于从白皮书中走到了 Signet 区块链上。整个流程采用权 PegIn-PegOut-Challenge-Disprove 四步模型，首次完整地跑通了 跨链双向锚定。
开发者只需一台配置了 Rust 环境的笔记本，就能在本地复现以下全部步骤，零门槛体验 信任最小化的跨链桥。
如何查看实时交易：bitvmnet Signet
- 比特层测试网络 bitvmnet Signet 已向公众开放
- 浏览器直接访问：👉 实时浏览 bridge 交易记录，亲手验证 BitVM 的魔力
- 区块高度、Gas 费率、脚本大小，均可与主网数据一一比对
目前 Signet 的出块间隔保持在 30 秒，确保开发者拿到足够的测试用区块。
角色与流程全景图
核心关键词
- BitVM Bridge
- 跨链桥
- Bitcoin 侧链
- SNARK 验证
- 公开 Signet
- 双向锚定
1. 角色速写
| 角色 | 职责 | 持有资产 | 支出操作 |
|---|---|---|---|
| Alice | Peg-In 用户 | 原生 BTC | 托管 v BTC → 侧链 |
| Bob | Peg-Out 用户 | 侧链 wBTC | 销毁 wBTC → 领取 BTC |
第三方 Operator（运营者集）则竞争性地提供中继服务，并各自抵押保证金，承担 挑战-反驳 环节的风险。
2. 五个阶段、12 笔关键交易
Peg-In 阶段
- PegIn 交易
Alice 把 BTC 注入 Bridge 地址；资金尚未锁定，24 小时内可随时 退款。 - PegIn Confirm
Alice 广播确认后，侧链即铸造相应数量v的 Wrapped BTC，用于 DeFi 场景。
Peg-Out 阶段
- Burn 交易（用户在侧链操作）
Bob 销毁 wBTC，触发 Bridge 的赎回逻辑。 - PegOut（比特币链）
Operator 提前抵押 BTC，为满足 Bob 需求而先行垫付；之后用 Kickoff-挑战-Disprove 逻辑回收垫付成本。
挑战路径
- Kickoff_1
Operator 提交第一笔“索要资金”交易，引入挑战窗口（30 分钟）。 - Kickoff_2
立即锁定“时间戳 TS”，正式启动 Superblock 计算期。 Assert 系列
- Assert Initial → Commit_1 → Commit_2 → Final
把 SNARK 验证器的中间状态逐段公开，挑战者可随时校验。
- Assert Initial → Commit_1 → Commit_2 → Final
- Disprove
若 Operator 提交虚假声明，任意验证者可在 7 天内提交反驳交易，立即罚没抵押金。
全流程公开可验证：任何人都能在 Signet 浏览器里搜索哈希校验脚本字节码，>>> 点我立刻体验零信任交互的 Demo
FAQ：开发者最关心的 6 个问题
Q1：现在就可以上线主网吗？
A：不可以。此次是 开发者预览版，仅推荐在 bitvmnet Signet 上测试，核心库尚未完成第三方安全审计。
Q2：普通用户如何零成本体验？
A：只需在支持 Signet 的钱包内创建地址，领取 Signet 水龙头 的测试币，即可跟随本文流程体验跨链桥。
Q3：Operator 需要质押多少 BTC？
A：目前演示参数为 “待垫资金 + 50% 安全保证金”，具体数值可在本地配置修改。
Q4：为什么说“信任最小化”而非“无信任”？
A：BitVM 提供数学上可检验的欺诈证明，挑战窗口设计确保即使一个诚实节点在线也能维护共识，但仍需假设至少一位挑战者存在。
Q5：除了跨链桥，BitVM 还能做什么？
A：可基于同样模型实现 比特币-以太坊 NFT 双向锚定、ZK-Rollup 结算层、去中心化稳定币 等高阶 DeFi 场景。
Q6：代码开源吗？
A：完全 MIT 开源。v0.1.0-alpha 已打 Tag，查看仓库即可本地编译、调试。
5 分钟本地复现步骤
环境要求
- Rust 最新稳定版
- Bitcoin Core 27.x with Signet
- 磁盘预留 5 GB， RAM 4 GB 起步
快速命令
# 1. 克隆仓库
git clone https://github.com/BitVM/BitVM.git
# 2. 切到 Alpha 版
git checkout v0.1.0-alpha
# 3. 按官方指南一键跑通
cd BitVM && cargo run --release --example run_bridge_demo20 条自动化脚本会依次产生上文提及的 12 笔交易，并在终端打印 Signet 浏览器链接，方便比对。
写在最后
BitVM 开发者预览版让我们第一次真正“用”到了比特币二层扩容工具，而非仅仅是纸面协议。随着代码审计展开，主网的安全门槛将逐步降低，由此带来的 比特币跨链桥、ZK 结算网络、去中心化借贷 等场景想象空间巨大。
保持关注，后续更新会第一时间同步到 Signet Explorer，开发者可随时回来 deep dive 最新分支。