BitVM 桥在比特币主网首次成功执行

一项重要的技术突破近日在比特币主网上实现。开发团队成功演示了两个 BitVM 桥的实时用例，这不仅展示了 BitVM 桥的全部功能和安全性，更证明了在处理非标准交易（NSTs）方面的有效性。这一直是 BitVM 桥面临的主要挑战之一。

早在3月31日，开发团队就在专用测试网上首次展示了 BitVM 的潜力。为了在测试网上进行原型设计，团队不得不对比特币核心客户端进行修改，以适应通常大于400KB的非标准交易。而在主网上克服这个NST问题，则是产品开发的最后一个关键步骤。

近期，开发团队与多家矿池建立了战略合作伙伴关系，专门致力于解决NST挑战。令人欣喜的是，这些矿池的API已经成功处理了首批来自 BitVM 桥的实时NSTs，以响应真实用户的请求。

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

主网实况演示

演示中的角色

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

• 充值用户：通过将BTC桥接到以太坊来启动流程。
• 两名Broker：
  • Broker A（恶意）：试图通过无效的提现请求来窃取资金。
  • Broker B（诚实）：发起合法的提现过程。

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

1. 充值用户将0.0001 BTC存入BitVM智能合约。
2. 随后，充值用户在以太坊网络上铸造了0.0001 Peg-BTC (YBTC)。

案例1：诚实Broker的乐观提现

此场景演示了一个诚实的Broker在以太坊上销毁其Peg-BTC后，成功取回其BTC和抵押品的过程。

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

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

案例2：无效提款请求的拒绝

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

1. Broker A通过发送一个Kickoff交易发起了一个无效的提款请求。
2. 一个诚实的观察者检测到了欺诈行为并发送了一个Challenge交易，迫使Broker A进入欺诈证明协议的"悲观路径"。
3. Broker A被迫揭示验证者数据块的所有中间值。此步骤涉及一个Assert交易，这是一个由合作矿池成功处理的NST。
4. 观察者离线运行了所有数据块并识别出不正确的一个，然后发送了一个Disprove交易以在链上重放错误的数据块。Disprove交易也是一个NST，并再次在主网上成功处理。

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

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