本文深入探讨了BitVM及其变体如何通过在比特币的UTXO模型上构建电路抽象，实现对比特币上任意计算的验证。通过模拟 covenant、利用一次性签名实现状态性，以及结合时间锁等技术，BitVM 在不修改比特币核心协议的前提下，扩展了其功能，并为高效验证复杂计算开辟了道路。
本文概述了区块链领域中多种不同的设计思路，包括Cardano的扩展UTXO模型，Ripple的信任共识机制，Avalanche的雪崩协议，Monero的隐私保护技术以及Polygon的侧链方案。每种设计方案都在去中心化、安全性、效率和隐私等方面做出了不同的权衡。
zksecurity
Frank Mangone