当前的比特币Layer2已成为一股热潮，而市面上具有“比特币Layer2”自标签的项目据说已有数十家。这些项目中有不少声称自己采用了BitVM白皮书的方案，成为了比特币生态的显学。摘要：为了便于读者理解，其中一些表达方式与BitVM白皮书中阐述的内容不同，我们假定读者对Layer2有一些了解，并能够理解“欺诈证明”的简单思想。发生挑战/欺诈证明时，我们只把需要上链的数据onchian，证明其与链上的Commitment存在关联。...
不幸的是，目前大多数关于BitVM的文献都未能对其原理进行通俗解释。
本文对BitVM的白皮书进行了解读，总结出了通俗易懂的内容。在此基础上，介绍了BitVM如何在BTC链上验证欺诈证明执行EVM或其他VM的操作码。
BitVM的核心思路是：无需在链上存储数据，而是先在链下发布并存储数据，链上只保存承诺。当发生挑战或欺诈证明时，只有需要上链的数据会被提交，并证明与链上的承诺存在关联。BTC主网会对这些数据进行验证，以验证数据生产者是否有作恶行为。本方案遵循奥卡姆剃刀原则，即“若非必要，勿增实体”（能少上链就少上链）。
此外，文章还解释了BitVM如何使用Bitcoin Script模拟EVM或WASM，以及如何进行交互式欺诈证明等。文章还介绍了MAST树和Merkle Proof，及BitVM方案的设计中面临的一些挑战。
