火星链 火星链
Ctrl+D收藏火星链
首页 > 中币 > 正文

以太坊重要扩容方案: Optimistic Rollup现状报告(中)

作者:

时间:1900/1/1 0:00:00

本文是《以太坊重要扩容方案: Optimistic Rollup现状报告》的第二部分,第一部分请点击《以太坊重要扩容方案: Optimistic Rollup现状报告(上)》查阅。

完整的 EVM: Layer 2虚拟机

为了使 Layer 2 智能合约计算保持无需信任,必须有一个备用方案,即以某种形式在 Layer 1执行这种计算。由此可见,ORU 支持完整的 EVM,Layer 2 需要自己的虚拟机,该虚拟机可在 EVM 基本层中执行,为此高性能的创建实现并非易事。简而言之,EVM 的设计初衷并非旨在自身运行。您可以从 EIP 中了解到其中的一些挑战,它也讨论了修改 EVM 以直接合并此功能的可能性,以及 Kelvin Fitcher 在 Plamsa 中对这一问题的概述。

因此,所有五个完整的 EVM 项目都为 Layer 2 执行创建了自己的 EVM 修正版本。为了确保欺诈证明的可靠性和可预测性,VMs 的执行必须是确定性的;即,在证明时必须能够准确再现最初发现欺诈的情况。 因此,非确定性操作必须完全修改或删除,例如,检查区块高度,难度和时间戳。同样,用于合约创建或销毁的操作码也需要删除,因为这种逻辑是特殊的。因此,在部署到 ORU 链之前,ORU 上 Layer 1 的合约可能需要对 Solidity 代码进行一些小的修改。

欺诈证明  

所有完整的 EVM ORUs 在如何促进欺诈证明方面都具有一些基本的共性:定期排序并提交 ORU 链的状态,计算操作的哈希值也是如此,包括执行状态转换。(在所有实践中,生成和验证state-root的提交责任都落在了运营商身上,而不是用户身上)。欺诈证明在某种程度上使用了这些数据来表明,所提交的步骤实际上并未正确地将初始状态转换为最终状态。 

以太坊域名服务正在转向DAO,Coinbase有意参与治理:11月10日消息,以太坊域名服务(ENS)开始授权DAO,以广泛分发其ENS治理代币。

DAO治理代币的意义在于使社区成员能够拥有他们自己使用的底层项目。ENS DAO的首要任务是对“宪法(Constitution)”进行投票。由ENS创始人和首席开发者Nick Johnson起草的五篇文章概述了创始人希望社区能够遵守的基本原则。在未来几天内,代币持有人须以绝对多数票通过。“这只是最初的ENS宪法,”Millegan解释说,“还有一个修正条款,我们希望未来DAO能够对其进行修订和改进。”

该项目还接受来自潜在委托人的申请,这些委托人将被社区授权承担管理ENS财库和代表DAO成员利益的责任。值得一提的是,Coinbase Inc.作为一个组织,有意成为一个委托人。这引起了一些人的不满,因为大型上市公司作为Web3基础设施重要部分委托人的想法与去中心化背道而驰。然而,Millegan对此表示欢迎:“Coinbase想要参与进来,我认为这很好。ENS是Web3的身份协议,所以我们需要广泛的视角:普通用户、开发人员、公司、DAO等。关键是Coinbase没有特殊的内部优势。他们和其他人一样。”Coinbase目前在委托人投票中排名第三,仅次于Millegan和Johnson,所以很有可能成为有影响力的委托人。该过程是开放式的,ENS代币持有者可以选择委托给任何委托人,或者直接就治理问题进行自我委托和投票。(Blockworks)[2021/11/10 21:40:04]

完整的 EVM 实践中主要区别在于它们处理这些欺诈证明的交互程度。 ORU 本质上必须包含足够的呼叫数据,这样可以立刻发现欺诈行为,并最终得到主链的共识。但是,执行此欺诈证明的过程因构造而异。

数据:以太坊网络当前已销毁超49.5万枚ETH:金色财经报道,据Ultrasound数据显示,截止目前,以太坊网络总共销毁495449.17枚ETH。其中以OpenSea开头地址销毁945.03枚ETH,ETHtransfers销毁582.85枚ETH,UniswapV2销毁431.48枚。注:自以太坊伦敦升级引入EIP-1559后,以太坊网络会根据交易需求和区块大小动态调整每笔交易的BaseFee,而这部分的费用将直接燃烧销毁。[2021/10/11 20:19:08]

在单轮(有时,会被令人困惑地称之为“非交互式”)欺诈证明方案中,欺诈总是可以在单笔交易中证明,也可以在单方的多笔交易中证明。这样做的好处是可以立即“解决争议”,没有麻烦的载体,因此不需要欺诈证明人的保证金,而且操作简单。在多轮欺诈证明中,欺诈是显而易见的,但是欺诈证明者和区块生产者之间需要几个交互步骤。这样做的好处是 Gas 成本更低(在某些情况下更低),链上数据成本也可能更低。

◎ 单轮欺诈证明

Nutberry,Optimism 和 Celer 的 ORU 都支持单轮欺诈证明。这就要求每笔交易都必须提交到序列化的后状态根(post-state root)。在 Optimism 的模型中,Celer 也直接受到影响,如果检测到欺诈,欺诈证明者会发布交易的初始状态和最终状态的时间(slot),并让主链完全执行交易。(此流程与用于验证以太坊区块的无状态客户 stateless client 模型非常相似)。理想情况下,交易只需要最少的状态时间(slot)即可证明欺诈。但是原则上,交易可能需要读取大量状态数据。如果欺诈证明需要大量数据和/或计算,很难将其放在主链区块上,那么 Optimism 可将证明拆分为多个交易(请注意,这些交易仍由欺诈证明者提交。因此,从某种意义上来说,此额外步骤不符合“交互”的条件。)

以太坊市值超过通用汽车和CME:以太坊价格今年以来已经上涨了322%,其670亿美元的市值已经超过了通用汽车(GM)和芝加哥商品交易所集团(CME)。尽管有如此出色的表现,ETH仍比其2018年的历史高点1431美元低了近59%。(Cointelegraph)[2020/12/2 22:49:30]

Nutberry 的方法与此类似,但使用“门控计算(gated computing)”模型执行合约。智能合约被修补以包含检查点(checkpoint)。 在此模型中,交易会提交多个更细化的中间状态根,可能需要更多数据,但在较小的数据块中执行欺诈证明。

◎ 多轮欺诈证明  

证明者需要与欺诈证明者之间进行多个步骤的交互才能决定多轮欺诈证明是否属实。按照 ORU 的定义,关键是要发布足够的数据,让任何一个诚实的参与者或观察者都可以从一开始就确定哪一方在说真话,从而预测了质疑期的结果。

在 Interstate One 的例子中,交易包含状态根,且发布时提交 Merkle 根至对应执行的步骤,而不是提交至步骤本身。 从某种意义上说,这种提交是一种二级“optimistic”的假设。 只有验证者提出问题时,操作员才会将 EVM 消息栈(stack)张贴在呼叫数据中,验证者可以使用该信息简要证明欺诈。 在最坏的情况下,此过程总共进行3轮,并且要求呼叫数据与所涉及的交易中的步骤数量成线性关系(与单轮欺诈证明相比,在所有情况下都需要线性数据)。

在互动性增强方面最先进的是 Offchain Labs 的 Arbitrum Rollup,可以最大程度地减少链上的足迹。 使用 Arbitrum,只有区块,而非交易,需要提交状态根。 与 Interstate 一样,这些也包括了提交哈希值的计算。 如果双方提出了相互矛盾的主张,则他们将进入争端;在该争端中,他们会交互式地找出无效执行的单个计算步骤(如果欺诈,原则上必须至少存在一个无效步骤)。

动态 | Circle向以太坊网络新增发3000万枚USDC:据DAppTotal.com稳定币专题页面数据显示:10月03日06时30分 ,USDC发行方Circle向以太坊网络新增发1笔价值3,000万美元的USDC, 块高度为:8665536,交易哈希值为:0x80bcbc9279ceddabff9f3a28055a35911ccd42e9efe6d1f43b83e5a3cb258280 。截至目前,Circle在以太坊网络上的ERC20 USDC总发行量已达457,458,587枚。请广大投资者警惕行情变动,谨慎应对市场风险。[2019/10/3]

他们通过在栈(stack)中进行有效的二进制搜索直到欺诈已隔离:即,欺诈证明者通过栈(stack),在中途的一个点请求状态哈希,然后将栈(stack)二等分并重复已知无效的一半。 此过程将不断重复,直到只剩下一个无效的操作,然后在链上执行该操作。 因此,在最坏的情况下,此过程需要(n)个日志步骤(其中n是操作数),并且需要最少的 Layer 1 计算。

这种方法的一个令人惊讶的特性是,尽管争议正在进行,但无需暂停系统的其余部分。用户和区块生产者可以继续照常进行交易。可以将“争议”视为可能性树中的分枝。诚实的用户可以验证且确定哪一方是诚实的,并在此基础上继续发展,了解争端最终将以何种方式解决。因此,争议的持续时间不会让系统的其余部分延迟。有关更多信息,请参见 How Arbitrum Rollup Works。

应用特定的 Rollups

行情 | 目前以太坊网络极为拥堵:根据公开数据显示,目前以太坊的网络未确认交易笔数为80615笔,网络极为拥堵。[2018/8/10]

ORU 项目支持更受限制的功能,同时寻求围绕更特定的案例进行优化:通证支付、去中心化交易、私人支付和大规模迁移。这四个协议都各不相同,也将分别进行探讨。

◎ Fuel (“区块链上的比特币”)

Fuel 正在实施以支付为中心的、基于UTXO的ORU侧链,其数据模型类似于比特币。 这种设计需要平衡智能合约的一些功能,以利于实现简便性以及更便宜的验证和欺诈证明。 实际上,关于 Fuel 与完整 EVM ORU 的权衡,许多想法与比特币与和以太坊的权衡相似。

与比特币一样,Fuel 链的状态被隐式定义为所有未花费的交易输出的集合;不需要状态根序列化。 支持简洁欺诈证明的模型与Greg Maxwell在2014年Greg Maxwell in 2014 最初为比特币提出的模型相似(并在2019年由John Adler单独再次发现and independently rediscovered by John Adler in 2019); 交易与比特币交易非常相似,但是包含一个额外的数据区,用于指定每个输入的处理位置。 有了这个数据区,就可以在一个回合中用一个或两个包含证明(inclusion proofs)来证明所有欺诈案件(双重支付攻击,虚假投入等)。 除了低成本的欺诈证明之外,UTXO模型还有望实现更高性能的验证-更好的状态访问模式和并行空间(与同步完成的验证EVM执行相比)。

Fuel 将使用一种模型来支持 ERC20 和 ERC721 传输,该模型可以反映比特币彩色硬币提案(colored coins proposal for Bitcoin)。 它还支持某些特殊的交易类型,包括 HTLCs 的原子互换。 该计划最终支持一种更强大的无状态谓语脚本语言,其功能类似于比特币脚本。 (有关更多信息,请参见此处)。

◎ ANON 的 ZK-Optimistic-Rollup(“区块链上的 ZCash”)

另一个独特的 ORU 项目是 ANON 的 ZK-Optistic-Rollup,它支持E RC-20 和 ERC-721 支付交易,并具有与 ZCash 隐私地址相同的隐私保证。该设计与 ZCash 本身有很多共同点(有关ZCash primer,请参见此处);资金索赔采用 UTXO 式的“签发”形式;支付产生的新签发和创建的“废止通知(nullifier)”,记录该签发是用于防止未来重复支出。交易也包括 ZK-SNARK,可证明其满足所有有效性条件,且没有向观察者实际透露任何细节。

为了维护简洁的欺诈证明,ZK-ORU 拥有 ZCash 中没有的功能:废止通知存储在 Sparse Merkle 树中,并随每个新的 ORU 块进行更新。这样可以轻松证明成员资格(已提交的)和非成员资格(未提交的)。与所有其他 ORU 一样,计算被乐观地延迟了,包括 SNARKS 本身的验证。所有的欺诈情况,包括无效的 SNARK,只需一步就能证明。

注意,生成 SNARK 的重任落在用户身上;ANON 预计一个客户会花费10-30秒生成 SNARK。

(还要注意,尽管名称和组成部分相似,但 ZK-Optimistic-Rollup 实际上与 ZK-Rollup 有所不同,后者不一定提供隐私保护,不使用欺诈证明,并且使用运营商生成的 SNARK 证明其有效性。欢迎使用加密货币。)

◎ WCL 的 ORU Hub

该 ORU 操作旨在成为 rollup 链之间的批交易标准,是让用户自愿将其资金迁移到升级合约的一种手段。

该操作本身是一条简单的,仅基于帐户支付的链,与 Fuel 一样,它提供廉价的欺诈证明和数据验证。这种构造的主要目的是建立一种标准架构,以便能够直接在不同链之间进行转移,即,不必从一条链中取出款后再重新存到到另一条链上。这可以通过支持批量存款和建立单向链间的交叉连接实现。 只要目的链上的验证者发现出发链上的欺诈行为,就可以将付款视为最终付款,而不会产生任何额外的延迟。这与围绕 ETH 2.0 交叉分片通信的研究 ETH 2.0 cross shard communication 逻辑相类似。

虽然主要的计划用例是可升级性,但此机制潜在的其他用例是在单独的、不同的、实时 rollup 链之间迁移,我们需要对此进行更多研究。关于 rollup 链间迁移的精确协议,以及需要确认的规范链,更多详细信息尚未公开,日后会在此处附上链接。

◎ IDEX 2.0

IDEX 的独特之处在于,他们将 ORU 作为已经投入生产的项目的最佳扩容版本,IDEX 合约当前已在主网运行,IDEX 合约使用的状态模块(state)比任何以太坊其他应用程序都要多。

IDEX 2.0 的 rollup 链支持登记订单式去中心化交易功能,并且围绕此特定用例构建而成。 该链负责执行订单,维护用户余额,允许设置发生其他功能,例如更高级的订单类型,自动交易引擎等。

IDEX 的 ORU 中的验证者必须有 IDEX 通证。验证者提交收据证明已发布的区块,并根据他们在有效区块上的签名和有效欺诈证明的签发而受到奖励和/或惩罚(如果他们选择接受全部的“风险”验证)。奖励是使用一部分的交易费用和自己的通证支付的(加密经济学模型的分析不在本文范围内;有关更多信息,请参阅 IDEX 2.0白皮书 DEX 2.0 whitepaper)。

在协议中,区块生产者仅上传区块的 Merkle 根作为初始投入,仅在质疑时将区块内容发布到呼叫数据中。由于无法在链上保证 rollup 区块数据的可用性,因此,这并不完全符合上述 “Optimistic Rollup” 的定义; 实际上,他们将其称为 “优化的 Optimizied Rollup Optimized Optimistic Rollup”。 一旦发布呼叫数据后,就可以通过一两个附加步骤来证明欺诈行为。下面将讨论此方法对信任/安全的影响。

以上是本报告的第二部分,第三部分内容将于近日推出!

作者:Daniel Goldman(丹尼尔·戈德曼)自由软件工程师、技术顾问、作家

译者:Emma、Snow Lu

校对:Samuel

标签:以太坊ROLROLLPTI幸运以太坊TROLLBNB价格RollerSwapOptimus

中币热门资讯
比特币:比特币期货图表上的这种情况表明可能会出现新的2020年高点

在本周早些时候比特币(BTC)经历了横向交易之后,现在看来基准加密货币再次进入另一个整合阶段,因为它稳定在9,000美元以下的区域内.

1900/1/1 0:00:00
TOKE:金色趋势丨暴跌是PlusToken砸盘所致? 抓住恐慌背后的机会

大盘普跌,整个市场上弥漫着恐慌、悲观的情绪,与此同时,到处都在传言这一次BTC暴跌是PlusToken在砸盘,因为在3月5号就传出消息.

1900/1/1 0:00:00
NBS:以太坊重要扩容方案:Optimistic Rollup现状报告(下)

本文是《以太坊重要扩容方案: Optimistic Rollup现状报告》的第三部分,第一、二部分请查看我们的前期文章.

1900/1/1 0:00:00
数字人:线上直播:FTX杠杆代币小课堂(AKG仓公子的实盘操作教学)

FTX杠杆代币实操课开讲啦!奔走相告:FTX业内首创杠杆代币现已上线FTX、币安、币安DEX、gate.

1900/1/1 0:00:00
USD:金色趋势丨BTC仍未破位长期趋势线 关注三角下轨支撑

周线上,可以发现,整体仍位于2017年至2020年的长达三年多的大三角区间内来回震荡,上边线为17年牛市顶点与19年小牛顶点连线的年线压制线.

1900/1/1 0:00:00
GPO:金色观察 | ProgPoW与技术无关

自以太坊部分开发者抵制EIP-1057(ProgPoW)激活的EIP2583发布,对于ProgPoW的讨论便成为一个除了eth2之外另一个讨论话题.

1900/1/1 0:00:00