欺诈证明

BitVM 是一种计算范式，用于表达图灵完备的比特币合约。这不需要对比特币网络的共识规则进行任何更改。与在比特币上执行计算不同，它们仅仅是被验证，类似于乐观 Rollups。证明者声明某个给定的函数对某些特定的输入求值得到了特定的输出。 使用这种机制，任何可计算的函数都可以在比特币上进行验证。

介绍欺诈证明系统及其变体， 欺诈证明如何在安全性、及时性和去中心化之间的权衡， 如果我们有 ZK，欺诈证明是否还有意义。

DA与欺诈证明：Plasma不支持智能合约的原因 Plasma 基本只能支持UTXO

为实现比特币扩容，可使用比特承诺突破无状态限制、使用Taproot突破脚本空间限制、使用Connector ouput突破UTXO花费方式限制、使用契约突破预签限制。比特币扩容方式分为有效性证明和欺诈证明两大类。欺诈证明根据交互模型，可分为一轮欺诈证明和多轮欺诈证明。