BitVM [1] 是 Robin Linus 提出的一种用于表达具有图灵完备性的比特币智能合约的建议，并且声称 BitVM 能够在不对网络的共识规则进行任何改变的情况下实现。BitVM 的设计类似于 Optimistic Rollups，那么 Optimistic Rollups 又是如何实现的呢？ 那么 Optimistic Rollups 又是如何实现的呢？在了解 BitVM 之前，我们先简单说说欺诈证明。 Optimistic Rollups Optimistic Rollups [2] 是一种基于乐观性验证的二层扩容方案，它基于欺诈证明来避免无效的状态转移。 何为欺诈证明？ 欺诈证明默认发生的状态转移是有效的（EVM 维护了一个庞大的状态机），发布者将交易前状态树的根哈希值以及交