欺诈证明

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

本文深入分析了Arbitrum One、Optimism和Polygon zkEVM这三个主流以太坊L2架构的安全模型、证明机制和中心化风险。文章强调，相比于底层的证明系统，升级密钥和相关的治理机制才是L2部署中更主要的安全性风险。它对比了乐观与ZK Rollup的欺诈/有效性证明，并详细阐述了各网络的升级路径、时锁、退出窗口以及排序器中心化问题，最终提供了风险评估的实用建议。

本文作者 Paul Sztorc 深入探讨了比特币欺诈证明（Fraud Proof）的概念，提出了一种 SPV+ 模式，旨在提高 SPV 节点的安全性，使其能够像全节点一样验证交易。SPV+ 节点需要保存区块头以及每个区块的第一笔和最后一笔交易，并通过支付通道向全节点支付小额费用来验证区块的正确性，同时作者还提出了通过引入新的操作码来降低 SPV+ 节点的使用成本。

本文第二部分探讨了区块链网络及其二层滚动方案的数据可用性问题。尽管以太坊提供链上数据可用性，但二层滚动方案处理交易时极易受到数据可用性不足的影响，这会影响用户验证状态、提交欺诈证明或提取资金的能力。解决这一问题的关键在于提供有效的离链数据可用性解决方案，以确保可靠性和高并发性能。

本文深入探讨了乐观Rollup的技术细节，特别是欺诈证明和挑战机制的实现与演变，分析了不同协议（如Arbitrum、Optimism等）在保证用户资产安全方面的措施和潜在的安全风险，并展望了未来可能的改进方向。文章提供了关于乐观汇总及其面临的挑战的深入见解，旨在提供对扩展以太坊解决方案的懂得理解。

本文深入探讨了现代区块链中的欺诈证明技术，特别关注其在比特币生态系统中的应用。

本文深入探讨了在比特币上实现欺诈证明的方式，特别是BitVM和BitVM2的设计及其应用。文中详细介绍了BitVM如何利用欺诈证明实现比特币的可编程性，并探讨了BitVM2作为锁定-铸造跨链桥的创新设计，同时分析了其优缺点及对比特币的影响。文章结构清晰，内容丰富。

本文比较了欺诈证明和有效性证明这两种用于rollup的交易有效性检查机制，介绍了它们的工作原理、特点及优缺点。欺诈证明用于乐观rollup，假定所有交易都是有效的，而有效性证明用于ZK rollup，通过计算每批交易的有效性证明以确保交易的正确性。

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

本文探讨了在比特币中添加限制条款（Covenant）的可能性，旨在扩展比特币 Layer 1 的能力，使其成为支持一切计算的通用结算层。

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

本文档定义了争议游戏（Dispute Game）的接口，争议游戏用于在乐观rollup中，当对layer2状态的声明产生争议时，由多方参与进行仲裁。文档详细描述了`DisputeGameFactory`和`DisputeGame`两个核心接口，以及相关的类型定义，为不同证明系统（如欺诈证明、有效性证明、认证证明）的实现提供了灵活性。

本文档深入探讨了 Fault Proof（也称为欺诈证明或交互式游戏）的组成部分：program，vm，以及交互式的争议解决游戏。

Offchain Labs团队向OP Labs团队披露了Optimism欺诈证明系统中存在的两个严重安全漏洞，这些漏洞允许恶意方强制OP Stack欺诈证明机制接受欺诈性的链历史，或阻止其接受正确的链历史。漏洞源于OP欺诈证明设计处理定时器的方式的缺陷。文章还简要介绍了Arbitrum的BoLD协议如何通过详细的威胁模型和安全证明来避免此类攻击。

本文介绍了MegaETH如何使用零知识证明（ZK）技术来增强其安全性，提出了一个混合方法，即使用ZK证明来验证欺诈行为，而不是验证有效性。这种方法结合了Optimistic Rollup的效率和ZK证明的安全性，通过EigenDA确保数据可用性，从而缩短最终确认时间，并显著降低了恶意攻击的风险。