本文介绍了BitVM及其变体，它们是在比特币上实现通用计算的重要里程碑，无需改变比特币的共识机制。BitVM 通过“反对者证明”减少链上负担，并使用零知识证明和欺诈证明机制，让验证者可以在链下检查并对作弊者提出挑战。BitVM的后续版本BitVM-2和BitVM-3在降低成本和提高效率方面取得了显著进展，标志着在比特币上构建去信任桥梁、L2层和通用智能合约成为可能。
lambdaclass