首个 BitVM 桥用例在比特币主网成功执行

<!--StartFragment-->

Bitlayer 激动地宣布一项里程碑式的成就：我们在比特币主网上成功演示了两个 BitVM 桥的实时用例。这一里程碑不仅展示了我们 BitVM 桥的全部功能和强大安全性，更关键地证明了我们与矿池的战略合作伙伴关系在处理非标准交易（NSTs）方面的有效性——这是 BitVM 桥长期面临的一个挑战。

3月31日，Bitlayer 团队首次在专用测试网 bitvmnet 上展示了 BitVM 的潜力。为了在 bitvmnet 上有效地进行原型设计，我们不得不修改比特币核心客户端以适应 NSTs，NSTs 通常是大于比特币默认内存池策略允许的 400KB 的交易。在主网上克服这个 NST 问题是我们产品的最后一个关键步骤。

就在几天前，Bitlayer 宣布了与几家矿池的关键合作伙伴关系，专门致力于解决 NST 挑战。我们激动地报告，在宣布这一消息的同时，这些矿池的 API 已经处理了首批来自 Bitlayer BitVM 桥的实时 NSTs，以响应真实用户的请求。

本文详细介绍了在比特币主网上执行的两个完整的 BitVM 桥用例。值得注意的是，其中一个案例涉及处理两种不同的 NSTs：一个 Assert 交易和一个 Disprove 交易。这次演示有力地证明了 BitVM 桥的能力以及我们与矿池合作的成功。

主网实况演示

演示中的角色

为了说明桥的工作机制，我们的主网演示包括：

• 一名充值用户（Peg-in User）： 通过将 BTC 桥入以太坊来启动流程。

• 两名 Broker：

  • Broker A（恶意）： 试图通过无效的提现请求来窃取资金。
  • Broker B（诚实）： 发起合法的提现过程。

准备工作：充值和创建桥实例

1. 充值用户将 0.0001 BTC 存入 BitVM 智能合约。 (在 mempool 查看充值交易 Pegin TX)
2. 随后，充值用户在以太坊网络上铸造了 0.0001 Peg-BTC (YBTC)。 (在 Etherscan 查看铸币交易 Mint TX)

案例1：BROKER-WITHDRAW-OPTIMISTICALLY

此场景演示了一个诚实的 Broker 在以太坊上销毁其 Peg-BTC (YBTC) 后，成功取回其 BTC 和抵押品。这利用了 BitVM 桥的灵活提现（peg-out）功能（了解更多关于我们的关键差异化特性）。

1. 销毁 Peg-BTC： Broker B 在以太坊上销毁了其 YBTC。 (在 Etherscan 查看销毁交易 Burn TX)
2. 发起提款请求： Broker B 在比特币上发送了一个 Kickoff 交易以发起提款请求。 (在 mempool 查看 Kickoff TX)
3. 取回 BTC 和抵押品： 在预定义的超时后， Broker B 通过一个 HappyTake 交易成功取回了其 BTC 和抵押品。 (在 mempool 查看 HappyTake TX)

此案例验证了诚实参与者的乐观提现路径。

案例2：INVALID-RECLAIM-REJECTED

这个关键场景展示了 Bitlayer 安全模型的稳健性。一个恶意 Broker（Broker A）试图窃取资金，但涉及 NSTs 的欺诈证明协议成功挫败了这次攻击。

1. 发起无效提款请求： Broker A 通过发送一个 Kickoff 交易发起了一个无效的提款请求。 (在 mempool 查看 Kickoff TX)
2. 欺诈检测与挑战： 一个诚实的观察者（watcher）检测到了欺诈行为并发送了一个 Challenge 交易，迫使 Broker A 进入欺诈证明协议的“悲观路径”（unhappy path）。 (在 mempool 查看 Challenge TX)
3. 强制揭示（Assert 交易 - NST）： Broker A 被迫揭示验证者数据块（verifier chunks）的所有中间值。由于提款请求无效，至少有一个数据块的执行是不正确的。此步骤涉及一个 Assert 交易，这是一个由我们的合作矿池成功处理的 NST。 (在 mempool 查看 PreAssert TX，在 mempool 查看 Assert TX (NST))
4. 否决欺诈（Disprove 交易 - NST）： 观察者离线运行了所有数据块并识别出不正确的一个，然后发送了一个 Disprove 交易以在链上重放错误的数据块。这最终否决了无效的提款请求。Disprove 交易也是一个 NST，并再次在主网上成功处理。 (在 mempool 查看 Disprove TX (NST))

此案例明确展示了 BitVM 桥惩罚恶意行为者和保护用户资金的能力，这关键地得益于主网对 Assert 交易和 Disprove 交易等 NSTs 的处理。

非标准的 Assert 交易：

非标准的 Disprove 交易：

这次在比特币主网上的成功实况演示对 Bitlayer 而言是里程碑式的一步。它验证了我们的技术、我们与矿池伙伴关系的强大实力，以及我们致力于构建真正可扩展、安全和无需信任的比特币基础设施的承诺。我们正在为比特币上新一代的去中心化金融应用铺平道路。

<!--EndFragment-->

原文链接：https://blog.bitlayer.org/demo_bitvm_bridge_on_mainnet_with_nst/