在 ZK Radio 第86期中，@robin_linus (@ZeroSync_) 讲解了他为何创建 BitVM 以及它的实际运作方式。 Robin 首先解释了比特币是如何被设计为一个点对点支付系统的，但 10 分钟的区块时间和每 10 分钟 ~4MB 的容量远远不足以满足全球使用。与其将比特币变成另一个智能合约链，他希望找到一种方法，利用现有的操作码在比特币上实现 zkRollup 风格的桥接和 L2。 这导致了 BitVM 的核心理念：乐观验证——而不是在链上完全验证一个 SNARK，你只需要能够反驳一个无效的证明，就像指向一个糟糕的数独解中的两个冲突单元格。 接着，他解释了 BitVM 如何将比特币脚本非常有限的 32 位、无乘法环境转变为一个通用的验证层，通过围绕两个角色构建系统：一个发布声明的操作员和能够简洁证明欺诈的挑战者。信任模型从“诚实多数”转变为“一个诚实的挑战者就足够”，为信任最小化的桥接和更具表现力的 L2 开辟了道路，而无需软分叉。 观看完整的节目，深入了解 BitVM 的演变（BitVM1 → BitVM2 → BitVM3）、混淆电路和 Glock，为什么他称 BitVM 为“黑客中的黑客”，以及这一切如何融入比特币原生扩展的更广泛路线图中：