在协议中，区块出产者仅上传区块的 Merkle 根作为初始投入，仅在质疑时将区块内容宣布到呼唤数据中。由于无法在链上担保 rollup 区块数据的可用性，因此，这并不完全切合上述 “Optimistic Rollup” 的界说； 实际上，他们将其称为 “优化的 Optimizied Rollup”。 一旦宣布呼唤数据后，就可以通过一两个附加步调来证明欺诈行为。下面将接头此要领对信任/安详的影响。

（还要留意，尽量名称和构成部门相似，但 ZK-Optimistic-Rollup 实际上与 ZK-Rollup 有所差异，后者不必然提供隐私掩护，不利用欺诈证明，而且利用运营商生成的 SNARK 证明其有效性。接待利用加密钱币。）

在互动性加强方面最先进的是 Offchain Labs 的 Arbitrum Rollup，可以最洪流平地淘汰链上的足迹。 利用 Arbitrum，只有区块，而非生意业务，需要提交状态根。 与 Interstate 一样，这些也包罗了提交哈希值的计较。 假如两边提出了彼此抵牾的主张，则他们将进入争端；在该争端中，他们会交互式地找出无效执行的单个计较步调（假如欺诈，原则上必需至少存在一个无效步调）。

应用特定的 Rollups

多轮欺诈证明

留意，生成 SNARK 的重任落在用户身上；ANON 估量一个客户会耗费10-30秒生成 SNARK。

Fuel （“区块链上的比特币”）

Nutberry，Optimism 和 Celer 的 ORU 都支持单轮欺诈证明。这就要求每笔生意业务都必需提交到序列化的后状态根（post-state root）。在 Optimism 的模子中，Celer 也直接管到影响，假如检测到欺诈，欺诈证明者会宣布生意业务的初始状态和最终状态的时间（slot），并让主链完全执行生意业务。（此流程与用于验证以太坊区块的无状态客户 stateless client 模子很是相似）。抱负环境下，生意业务只需要最少的状态时间（slot）即可证明欺诈。可是原则上，生意业务大概需要读取大量状态数据。假如欺诈证明需要大量数据和/或计较，很难将其放在主链区块上，那么 Optimism 可将证明拆分为多个生意业务（请留意，这些生意业务仍由欺诈证明者提交。因此，从某种意义上来说，此特别步调不切合“交互”的条件。）

ANON 的 ZK-Optimistic-Rollup（“区块链上的 ZCash”）

与比特币一样，Fuel 链的状态被隐式界说为所有未耗费的生意业务输出的荟萃；不需要状态根序列化。 支持简捷欺诈证明的模子与Greg Maxwell在2014年Greg Maxwell in 2014 最初为比特币提出的模子相似（并在2019年由John Adler单独再次发明）; 生意业务与比特币生意业务很是相似，可是包括一个特另外数据区，用于指定每个输入的处理惩罚位置。 有了这个数据区，就可以在一个回合顶用一个或两个包括证明（inclusion proofs）来证明所有欺诈案件（双重付出进攻，虚假投入等）。 除了低本钱的欺诈证明之外，UTXO模子尚有望实现更高机能的验证-更好的状态会见模式和并行空间（与同步完成的验证EVM执行对比）。

欺诈证明

在 Interstate One 的例子中，生意业务包括状态根，且宣布时提交 Merkle 根至对应执行的步调，而不是提交至步调自己。 从某种意义上说，这种提交是一种二级“optimistic”的假设。 只有验证者提出问题时，操纵员才会将 EVM 动静栈（stack）张贴在呼唤数据中，验证者可以利用该信息扼要证明欺诈。 在最坏的环境下，此进程总共举办3轮，而且要求呼唤数据与所涉及的生意业务中的步调数量成线性干系（与单轮欺诈证明对比，在所有环境下都需要线性数据）。

ORU 项目支持更受限制的成果，同时寻求环绕更特定的案例举办优化：通证付出、去中心化生意业务、私人付出和大局限迁移。这四个协议都各不沟通，也将别离举办探讨。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。