如果在比特币上验证证明不再是“理论上可行”，而是在实践中痛苦呢？ 许多类似BitVM的设计都遇到了同样的障碍：链上成本低，但链下开销巨大。 BABE 强力推回了这个障碍。 它将争议成本保持在 BitVM3 范围内，同时将链下存储和设置负担缩小了几个数量级（约 1000 倍）。 如果你关心无信任的 BTC 抵押、桥接或任何基于证明的比特币构造，这就是你想要在思维模型中包含的基础原语之一。 阅读 @dntse 的推文以获取论文、具体数字和完整机制 👇