该系统的核心特征是assertiontree（断言树）。使用ETH发布bond的验证者对Arbitrum的状态做出声明（或断言）。这些断言形成了一条链，每个断言都建立在上一个断言之上。然而，当出现相互矛盾的断言时，断言树会分裂出分支，这表明可能存在欺诈。
解决这些争议涉及到一种名为dissection的交互式证明技术。参与争议的验证者系统地缩小了他们的分歧，直到只剩下一个操作。然后该操作在以太坊L1上运行以确定其有效性。
具体步骤如下：
两个验证者对Arbitrum的状态存在分歧。
他们逐渐将他们的争议减少到只剩一个计算步骤。
然后在以太坊L1上运行此步骤以验证哪个验证者是正确的。
Arbitrum的方法以其高效而著称。通过隔离和检查有争议的计算，它避免了在以太坊上重新运行整个交易而带来的更高成本的过程，正如Optimism的单轮欺诈证明所做的那样，因为单轮欺诈证明需要在L1链上进行全部计算。
3.1.2ArbitrumBoLD
BoLD（有界流动性延迟）是专为Arbitrum链上的OptimisticRoolup量身定制的新的争议解决协议，旨在促进无需许可的验证。这种机制通过确保争议在预定的时间窗口内得到解决，从而降低了延迟攻击相关风险。
BoLD具有几个关键特性，是其功能的重要组成部分。首先，它引入了无需许可的验证，允许任何诚实的一方验证并绑定他们的资金，以发布正确的L2状态断言。此特性使诚实的验证者能够挑战并赢得与恶意参与者的争议。其次，BoLD保证争议将在固定的时间窗口内解决，目前对ArbitrumOne和Nova设置为一个挑战期（约6.4天）。此外，解决争议的最长时间包括最多两个挑战期加上安全理事会可能进行干预的两天宽限期。最后，BoLD支持Arbitrum进入Stage2rollup阶段，确保任何人都可以验证该L2状态并向以太坊提交欺诈证明，这增强了该平台的去中心化特性和安全性。
至关重要的是，BoLD提倡无需许可的参与，鼓励任何诚实的一方参与验证过程。这种包容性旨在通过多样化参与和减少中心故障点，培养网络内的更大的弹性。目前，BoLD正处于alpha发布阶段，并部署在公共测试网络上。它还经过了两次审计。
OP-Stack中的错误证明系统旨在挑战和减轻网络中的恶意活动。即将推出的错误证明虚拟机将是一个关键改进。该系统由三个主要部分组成：错误证明程序（FPP）、错误证明虚拟机（FPVM）和争议博弈协议。FPP检查rollup状态转换，以验证L2输出（L1输入），整理L1输出的争议。这种模块化架构允许独立开发和部署多个证明系统和独特的争议博弈，极大地增强了系统的灵活性和安全性。
FPVM是该架构中的一个最小且可组合的单元，由于与FPP分离，它可以执行用于证明交易的指令周期，同时不受以太坊协议更新的影响。争议博弈协议通过等分状态转换来协调挑战机制，将争议缩小到单个指令验证，从而允许在L1EVM上进行有效证明。该系统促进了一个包括各种证明方法的多证明未来，如ZK证明和聚合证明系统。
Initia是一个ComsosL1区块链，它正在构建一个统一的、相互交织的rollup生态系统。Initia非常类似于以太坊中的rollup生态系统，只不过是专为rollup自下而上设计的。InitiaL1的验证者为rollup运行排序器，基于optimistic证明的结算嵌入到L1区块链中。让我们看看这些rollup是如何工作的，这些rollup是由OPinitStack构建的，OPinitStack支持EVM、WasmVM和MoveVM，具有通过IBC实现的原生互操作性。
OPinitStack是一个旨在启动基于InitiaL1区块链的MinitiaL2的框架。OPinitStack专门使用CosmosSDK构建的，CosmosSDK可帮助构建虚拟机无关的OptimisticRollup，非常接近于Optimism的Bedrock接口。通过利用InitiaL1治理模型，它有效地处理欺诈证明纠纷，确保可靠的交易验证和纠纷解决。就像Bedrock的挑战系统一样，被许可的挑战者可以删除未确定的输出。此外，通过L1提议，可以更改输出提交者。
OPinitStack必不可少的两个主要模OPHost和OPChild：
OPHost模块是为Initia生态系统中的L1操作而设计的，利用了CosmosSDK功能。它包括各种消息类型和RPChandler方法，以促进诸如批量提交、桥创建、输出数据提议和输出删除等核心活动。
OPChild模块专注于L2操作，提供支持代币转移和费用池管理的机制。它还包括特定的消息类型和RPChandler，用于执行消息、确定代币存储和启动从L2到L1的代币提取，从而确保在Initia架构内实现改进的L2功能。
Taiko是一个默认的optimisticrollup，使用一个多重证明系统。该系统结合了optimistic方法和zk证明的使用。
这个过程从Proposer（提议者）开始，他们从L2交易中构建rollup块，并将它们推荐给以太坊上的L1Taiko合约。这些提议区块被添加到L1合约中，不需要任何有效性证明。然后，Prover（证明者）有机会通过提供bond来挑战所提议区块的有效性，这需要质押TAIKO代币。如果一个区块在挑战期内没有受到挑战，那么它将被认为是有效的，并在L1上被最终确定，并返回证明者的bond。在区块受到挑战的情况下，需要zk证明来确认区块的有效性。正确的Prover，无论是最初的Prover还是挑战者，除了拿回bond之外还会获得奖励。与此同时，错误的一方的bond将被罚没，一部分将被burn（燃烧销毁）。
有趣的是，Taiko估计大约有1%的区块需要zk证明，这有助于减少计算开销，同时仍然提供有效性保证。为了增强其弹性，Taiko支持PLONK、Halo2和SGX等多个证明后端，以防止潜在的bug或漏洞。这种方法允许dApp设置自己的信任假设和安全级别，展示了Taiko对区块链可扩展性和安全性的贡献。
3.5.1Dymension
欺诈证明是Dymension生态系统的一个组成部分，旨在确保区块链状态转换的完整性。当RollApp（DymensionL1中的Rollup）排序器发布一个状态根时，RollApp全部节点监视这些转换。如果检测到无效的状态转换，这些节点通过收集区块内直到欺诈性状态转换之前的所有状态转换列表来生成唯一的欺诈证明交易。
这个集合交易，包括诸如块高度、交易索引、blob份额、blob包含证明和状态见证等细节，然后被发送到Dymension进行验证。一旦提交，Dymension全节点将验证数据并重新计算状态转换。如果计算的转换产生的临时状态根（ISR）与发布的状态跟不同，则欺诈证明被验证，从而导致争议状态的回滚以及责任排序器的罚没。
当前Dymension主网上的争议期被设置为大约12万个区块。由于当前每6秒产出一个区块，因此最终确定时间约为8天。
3.5.2Rollkit
Rollkit的状态欺诈证明通过识别欺诈交易帮助减少区块链网络中的信任问题。它们用于由全节点和排序器产生的状态根不匹配的情况下。全节点创建一个在整个网络上共享的证明以供验证。如果确认不匹配，则需要采取纠正措施，增强安全性并分散监督。
许多人曾经认为optimisticrollup不如zkrollup。随着zkrollup越来越多地投入生产，其安全互操作性和更快的最终确定性等优势众所周知，人们不仅疑惑，optimistic证明系统是否会地位大跌。我并不这么认为，因为针对optimistic证明系统中的主要问题出现了很多积极进展。
现在，让我们来看看这些主要问题是什么，有哪些潜在的解决方案？
运营中心化
高运营成本
以上就是Optimistic证明 Vs. ZK证明：未来谁将成为主流的全部内容，望能这篇Optimistic证明 Vs. ZK证明：未来谁将成为主流可以帮助您解决问题，能够解决大家的实际问题是非常好学习网一直努力的方向和目标。