IDEX 的奇特之处在于，他们将 ORU 作为已经投入出产的项目标最佳扩容版本，IDEX 合约当前已在主网运行，IDEX 合约利用的状态模块（state）比任何故太坊其他应用措施都要多。
IDEX 的 ORU 中的验证者必需有 IDEX 通证。验证者提交收据证明已宣布的区块，并按照他们在有效区块上的签名和有效欺诈证明的签发而受到嘉奖和 / 或处罚（假如他们选择接管全部的「风险」验证）。嘉奖是利用一部门的生意业务用度和本身的通证付出的（加密经济学模子的阐明不在本文范畴内；有关更多信息，请参阅 IDEX 2.0 白皮书 DEX 2.0 whitepaper）。
他们通过在栈（stack）中举办有效的二进制搜索直到欺诈已断绝：即，欺诈证明者通过栈（stack），在半途的一个点请求状态哈希，然后将栈（stack）二平分并反复已知无效的一半。 此进程将不绝反复，直到只剩下一个无效的操纵，然后在链上执行该操纵。 因此，在最坏的环境下，此进程需要（n）个日志步调（个中 n 是操纵数），而且需要最少的 Layer 1 计较。
IDEX
正如我们预料，纵然是上述因素也需要在差异的 ORU 布局中彼此衡量。（有关 ORU 背后的更多信息，请参阅 John Adler 的 「The Why’s of Optimistic Rollup」。）
数据可用性： 让步我们可以在各类先前的提案中发明今朝 Optimistic Rollup 的结构陈迹，好比 Shadowchains, Coinwitness, bulk validation with ZK-SNARKS (此刻称之为 ZK Rollup), 以及 2015 年头的一场关于 Arbitrum 的学生演讲等。
假如我们的界说足够宽松，针对该数据隐瞒问题的所有办理方案都可以分为两大类：状态通道和 Plasma （channels and Plasma）。假如两方在一个通道中，两边一致同意后，链下数据的更新才真正有效。因此，假如 Alice 选择保存 Bob 的数据，Alice 将处于最新状态；保存数据对她没有长处。对比之下，Plasma 则没有两边一致同意的这一要求。这直接导致在 Plasma 中，假如用户没有任何直接证据，则大概产生无效更新。纵然在这种环境下，Plasma 仍可以担保用户持有须要的链下数据，在交互质疑期中证明并确保其资产所有权。
ANON
为了维护简捷的欺诈证明，ZK-ORU 拥有 ZCash 中没有的成果：废止通知存储在 Sparse Merkle 树中，并随每个新的 ORU 块举办更新。这样可以轻松证明成员资格（已提交的）和非成员资格（未提交的）。与所有其他 ORU 一样，计较被乐观地延迟了，包罗 SNARKS 自己的验证。所有的欺诈环境，包罗无效的 SNARK，只需一步就能证明。
智能合约支持和欺诈证明互动性郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
