极简解读BitVM:如何在BTC链上验证欺诈证明(执行EVM或其他VM的操作码)

BTC EVM 操作 操作码 欺诈 2024-01-28 99

摘要:为了便于读者理解,其中一些表达方式与BitVM白皮书中阐述的内容不同,我们假定读者对Layer2有一些了解,并能够理解“欺诈证明”的简单思想。发生挑战/欺诈证明时,我们只把需要上链的数据onchian,证明其与链上的Commitment存在关联。...

目前,比特币Layer2已成为市场中一股热潮,有数十家自我定位为“比特币Layer2”的项目。然而,未能将BitVM的原理做出通俗易懂的解释。

我们通过读BitVM的白皮书以及查阅了一些关于Taproot、MAST树、Bitcoin Script相关的资料,得出一份简单的总结,帮助读者更好地理解BitVM的核心思路。

首先,BitVM的核心思路之一是,无需在链上存储大量的数据,只存储Commitment(承诺)。当发生挑战/欺诈证明时,只将需要上链的数据on chian,证明其与链上的Commitment存在关联,然后再由BTC主网对这些数据进行核验。这一切都是为了遵循奥卡姆剃刀原则——“若非必要,勿增实体”。

BitVM通过使用Bitcoin Script码来模拟逻辑门电路的输入/输出效果,从而实现图灵机的计算任务。这意味着只要有足够的资源,就可以利用Bitcoin Script码来实现EVM或WASM的功能。

为什么要用Bitcoin Script模拟EVM或WASM呢?原因是大多数比特币Layer2支持Solidity或Move等高级语言,然而目前可以直接在比特币链上运行的是Bitcoin Script,这种简陋的编程语言。

BitVM的方案也涉及交互式欺诈证明和单步欺诈证明,以及MAST树和Merkle Proof。这些技术都是为了实现在比特币链上验证欺诈证明执行EVM或其他VM的操作码。

虽然BitVM的方案可行,但其中仍存在一些挑战,比如需要压缩on chain的数据量,设计协议和处理流程等细节都需要精心考虑和处理。这些细节可能会让读者产生困惑,但我们相信读者可以领会BitVM的核心思路和要旨。

相关推荐