BitVM桥在比特币主网首次成功实施

近日，比特币主网上成功执行了两个BitVM桥的实时用例，这是该技术发展的一个重要里程碑。这不仅展示了BitVM桥的全面功能和强大安全性，更证明了在处理非标准交易(NSTs)方面的突破性进展，这一直是BitVM桥面临的主要挑战。

早在3月31日，开发团队就在专用测试网bitvmnet上首次展示了BitVM的潜力。为了在测试网上进行有效的原型设计，团队不得不修改比特币核心客户端以适应NSTs，这些交易通常超过比特币默认内存池策略允许的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 (YBTC)后，成功取回其BTC和抵押品。这利用了BitVM桥的灵活提现功能。

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的处理。

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