Foresight Ventures:我们想要什么样的Ethereum Rollup?
蓑衣网小编整了加密货币Foresight Ventures:我们想要什么样的Ethereum Rollup?内容供大家阅读,下面就跟随蓑衣网小编一起了解Foresight Ventures:我们想要什么样的Ethereum Rollup?。
我们希望L2能够扩展以太坊,这意味着L2必须具有与以太坊的验证桥接。原文作者:Maggie- Foresight Ventures Foresight Ventures Foresight Ventures 成立于 2021 年,旗下多支基金总资产规模已超过 4 亿美元,希望通过「生态的力量」为项目提供全方位支持。
大家下午好,欢迎。我叫 Maggie,是 Foresight Ventures 的技术总监。今天我们会用 30 分钟聊一聊“我们想要什么样的 Ethereum Ethereum 以太坊是一个智能合约平台,使开发人员能够构建代币和去中心化应用程序(dapps)。 ETH 是以太坊平台的原生货币,也是以太坊网络上矿工的交易费用。以太坊是第一个基于区块链的智能合约平台,是基于区块链的智能合约的先驱。智能合约本质上是一个完全按照程序运行的计算机代码,没有任何停机、审查、欺诈或第三方干扰的可能性。它可以促进金钱、内容、财产、股份或任何有价值的东西的交换。当在区块链上运行时,智能合约就像一个自动运行的计算机程序,在满足特定条件时自动执行。以太坊允许程序员运行能够进行任何自定义的完整图灵智能合约。 Rollup?”
现在,我想先简要介绍一下我们公司。
Foresight Ventures 是一家以研究驱动的专注于区块链技术与 Crypto 行业的投资机构。我们的产品矩阵包括几个关键组成部分。
Foresight News 是亚太地区最大的多语种web3媒体平台。
我们还运营着 Foresight X,这是一个加速器,为 Crypto 初创公司提供专属支持,并在此过程中建立一个蓬勃发展的全球Web3开发者社区。
如果您想了解更多关于我们的信息,请随时访问我们的官方网站或在社交媒体渠道上与我们建立联系。
现在让我们转到今天的议程。
首先,让我们回顾一下最近关于“以太坊L2是什么”和 Rollups 的争议。
之后,我们将讨论“我们期待什么样的以太坊 Rollups?”
1. 关于“什么是 Ethereum L2”的争议
上个月,Dankrad 在推特上发表了这样的言论:“如果不使用以太坊作为数据可用性层(DA),那它就不是以太坊的 Rollup,因此也不是以太坊的L2。”他还表示,Plasma 和状态通道被认为是L2,但 Validium 不是。
Dankrad 发表了他的观点之后,许多L2领域的建设者和研究人员开始对此提出质疑。有很多L2项目并不将以太坊作为数据可用性层以节省成本。如果这些项目不被列入L2列表,将会对这些扩容网络项目产生重大影响。此外,一些人认为如果 Validium 不算作L2,那么 Plasma 也不应该被计算在内。
所以,如果你在以太坊的文档中深挖,你可能会注意到他们对于 Validium 是否属于 L2 平台并没有明确说明。但他们确实提到 Validium 比 Plasma 更安全,因为它们使用了有效性证明。这似乎与 Dankred 的观点相矛盾,他认为从某些角度来看 Plasma 比 Validium 更安全,因为用户可以使用过去的状态退出,而 Validium 不能支持。
所以,没有确切的答案来证明 Plasmas 和 Validiums 是否应该包括在 L2中 。
然而,L 2B EAT 在其网站上应用了一个“仅显示 Rollup”过滤器,使用户可以过滤掉所有不使用以太坊作为 DA 层的项目。
关于L2和 Rollup 的争论远不止于此。我们还听到了很多不同的观点,比如“Data availability 是一个令人困惑的术语,Data publishing 更好”,“经典 Rollup 也是主权 Rollup”,“主权 Rollup 根本就不是 Rollup”等等。
所以,与其纠结于那些定义,不如我们关注一个更有意义的话题,我们想要什么样的以太坊L2呢?
2. 我们想要什么样的 Ethereum Rollup?
定义上,Layer 2 是一个独立的区块链,扩展了以太坊,并继承了以太坊的安全保证。
以太坊 Rollup 的安全性问题低估了。我们希望 Rollup 提高安全性,且希望有更多的为应用定制的模块化区块链。
以下是我们在 Layer 2 解决方案中希望拥有的特性:
首先,我们希望L2能够扩展以太坊,这意味着L2必须具有与以太坊的验证桥接,使用户能够在L2和以太坊之间转移资产,并从以太坊获得安全保障。例如,我可以在 Arbitrum Arbitrum Arbitrum 是一个第 2 层解决方案项目,旨在提高以太坊智能合约的速度和可扩展性同时提供额外的隐私功能。它允许开发人员在第 2 层执行未经修改的以太坊虚拟机EVM合约和交易,同时保持以太坊第1层的安全性。它的创建是为了解决当前基于以太坊的智能合约的一些缺点,例如长交易和高执行成本。 L2 上使用我的 ETH 进行某些交易,成本相对较低,同时保留以太坊的安全性。
其次,我们希望L2通过继承以太坊的安全性来实现超高的安全性。
首先,我们希望L2能够继承以太坊的安全性。实现这一目标的最佳方式是使用以太坊作为数据可用性(DA)层,作为以太坊的 Rollup。理想情况下,我们希望使L2节点成为无信任节点,只需信任以太坊完全保证 Rollup 的安全性。
其次,我们希望 Rollup 能够继承以太坊的活性。即使 Rollup 节点不工作用户也应能够自行运行 Rollup,或者至少有一种方式退出L2并将资金取回到L1。
此外,我们还希望 Rollup 能够继承以太坊的去中心化和抗审查性。
2.1 继承以太坊安全性
为了更好地继承以太坊(ETH)的安全性,不仅要将以太坊用于数据可用性和交易排序,还要将其用于结算。Rollup 层负责执行交易,并进行状态转换。通过欺诈证明或有效性证明来用以太坊进行结算。
正如您在图上所看到的,Rollup 节点的角色可以分为 2-3 种不同类型:Sequencer(排序器)、Proposer(提议者)和 ZK prover(证明者)。
Sequencer 在 Rollup 中扮演着重要角色,它将交易打包并将其提交到以太坊网络,利用以太坊来确保数据可用性和交易顺序。
与此同时,Proposer 执行这些交易并生成 Rollup 的最新状态,然后将新状态的 Merkle 根提交给以太坊。如果这是一种乐观 Rollup,并且在指定时间内没有人发起挑战,那么这个状态根将被接受,然后交易也将被确认。
在 ZK Rollup 的情况下,证明者生成零知识证明,证明状态根的有效性。一旦 ZKP 被提交并在以太坊上确认,交易也将被确认。
因此,一旦所有这些数据都被提交并在以太坊上确认,要回滚 Rollup 的交易就需要回滚以太坊,因此继承了以太坊的安全保障。此外,这三个角色有时由同一个节点扮演。在某些协议中,例如 Optimism Optimism Optimism 是第一个开发与以太坊虚拟机 (EVM) 兼容的 Optimistic Rollup 解决方案的以太坊 L2。Optimism 与以太坊并行,能够在继承以太坊安全性的同时大规模处理交易。 ,Sequencer 会同时提交交易批次和 Merkle 状态根。
另一个与安全相关的问题是 Rollup 的状态验证,正如之前提到的,乐观 Rollup 使用欺诈证明,而 ZK Rollup 使用有效性证明,比如零知识证明。
使用欺诈证明(如 Optimism 和 Arbitrum)的优势在于 Rollup 可以等效于以太坊虚拟机(EVM)。但是,用户必须验证链以保护他们的资金,并且由于其长达约 7 天的挑战期限,交易的最终确认较慢。
ZK Rollup,如 Starknet Starknet Starknet 是 StarkWare 开发的一个无需许可的 Layer 2 网络,任何人都可以在上面部署用Cairo语言开发的智能合约。旨在允许以太坊通过称为 STARK 的加密协议进行扩展,而不会损害以太坊的去中心化、透明、包容性和安全性的核心原则。 Starknet 代币是运营生态系统、维护和保护生态系统、决定其价值和战略目标以及指导其发展所必需的。 (i) 治理,(ii) 在 Starknet上支付交易费用,以及 (iii) 参与 Starknet 的共识机制,都需要该代币。 、zkSync、 Scroll Scroll Scroll 是以太坊的原生 zkEVM 第 2 层解决方案。可实现对现有以太坊应用程序和工具的原生兼容。Scroll 处理链下交易,并在链上发布简洁的正确性证明。与以太坊基础层相比,这导致更高的吞吐量和更低的成本。 和 Polygon Polygon Polygon(以前的 Matic Network)是第一个结构良好、易于使用的以太坊扩展和基础设施开发平台。它的核心组件是 Polygon SDK,这是一个模块化、灵活的框架,支持构建多种类型的应用程序。使用 Polygon,可以创建 Optimistic Rollup 链、ZK Rollup 链、独立链或开发人员所需的任何其他类型的基础设施。 Polygon 有效地将以太坊转变为成熟的多链系统(又名区块链互联网)。这种多链系统类似于 Polkadot、Cosmos、Avalanche 等,具有以太坊的安全性、活跃的生态系统和开放性等优势。建立在 Plasma-POS 链上的现有生态系统不会有任何改变。借助 Polygon,围绕现有成熟技术构建了新功能,以扩展满足开发者生态系统各种需求的能力。 Polygon 将继续开发核心技术,使其能够扩展到更大的生态系统。 Matic代币用于权益押注,参与侧链网络的证明共识机制。 zkEVM,通过使用零知识证明来证明状态是正确计算的到的,者提供了更强大的安全性。一旦 ZKP 在L1上验证通过,交易将立即完成。这只需要几分钟或最多几小时,比乐观 Rollup 快得多。然而,ZK Rollup 通常不是完全等效于 EVM 的。
从安全的角度来看,零知识证明效果更好。它们依赖于无需信任的密码学机制来进行状态验证,而不是像乐观 Rollup 那样依赖有激励的参与者的诚实。但交易费用可能会更高,并且不完全等效于 EVM。因此,选择使用哪种取决于网络的目标。
在某些情况下,混合方法可以结合两种 Rollup 的特点。一个名为 Morphism 的新项目使用 ZK 有效性证明来回应乐观 Rollup 设计中的挑战,可以将挑战窗口从 7 天减少到 1 天,并降低 DA 成本。OP stack 也探索了使用 ZKP 来证明 Optimism 故障程序的方法。
然而,Rollup 的可升级性存在着巨大的安全担忧。当 Rollup 需要紧急修复错误或需要升级来支持新功能时,有时就需要升级以太坊上的 Rollup 智能合约。因此,谁控制这些智能合约至关重要。
对于许多 Rollup,控制升级的密钥由核心团队成员持有。从理论上讲,这些成员有能力通过使用升级机制窃取用户的资金。正如 Vitalic 所说,这就像是开发者的“后门”。
为了避免这个问题,可以禁用可升级性。例如,Fuel V1禁用了可升级性,但每个更新迭代都需要重新部署智能合约,用户需要手动迁移其资产到新版本。这个过程类似于启动一个新项目,导致了流动性的碎片化和灵活性显著降低。
更好的方法是使用 DAO 进行治理升级,并设置延迟,以允许不同意升级的用户在升级发生之前退出。这为 Rollup 增加了一些 DAO 的安全假设,如诚实多数假设。
总的来说,为了继承以太坊的安全性,我们建议 Rollup 在数据可用性、交易排序和结算方面使用以太坊。对于状态验证,使用零知识证明更可靠。如果我们希望支持可升级性,最好使用 DAO 来管理升级,并给用户足够的时间(例如 30 天)来退出。
2.2 继承以太坊存活性
现在,让我们谈谈如何从以太坊继承活性。
我们希望即使当前的序列化器和提议者宕机,借助以太坊主网的帮助,用户仍然可以重新创建L2状态,并保持 Rollup 的运行,或者至少用户有一种方法可以在无需信任的情况下退出到L1。
然而,我们发现到目前为止,许多现有的 Rollup 缺乏这种机制,比如 Optimism、zkSync Era 和 Base Base Base 是一个基于 Optimism 的 OP Stack 构建的 Layer 2 网络,由 Coinbase 内部孵化,该区块链将以 Coinbase 的产品、用户和资产为种子,旨在成为一个开放的生态系统。 。因此,如果发生这种情况,Rollup 将停止运行,每个人都会在L2上失去他们的资金。
一些 Rollup 允许用户通过提交L2上的资金的 Merkle 证明或 ZK 证明来强制退出并在L1上提取他们的资金。
但有些 Rollup 除了抵押品之外不允许您提取资产,这意味着您的L2本地资产无法提取。如果您将您的抵押品交易为 NFT 或 LP 代币,您可能无法在以太坊L1上取回它们。
像 dYdX dYdX dYdX 是全球首个去中心化数字货币衍生品交易平台,该平台旨在通过去中心化技术来建立更加开放、透明和安全的金融产品,将在其平台上开发符合监管的办法。dYdX 开放协议以0x、以太坊为基础,由智能合约驱动。在DeFi衍生品交易协议中,dYdX与其他普遍的AMM模式不同,dYdX采用了相对传统的订单簿模式,为用户提供顶级的订单类型。2021年8月30日,dYdX 近24小时交易量突破10.4亿美元,超过PancakeSwap V2和Uniswap V3,位居DEX交易量排行榜首位。 这样的 Rollup 允许您强制执行将L2本地资产转换为抵押品,然后在L1上提取它们。
一些 Rollup 还支持将 NFT 提取到L1。
一个更好的解决方案是允许用户也成为 Sequencer 和 Proposer,以保持 Rollup 的运行。例如,Polygon zkEVM 使用无需许可的 Sequencer。而 Arbitrum 允许用户通过将交易发送到L1来强制将其包含在 Rollup 中(此操作有一天的延迟)。此外,在当前的白名单 Proposer 如果连续不活跃了 6 天后,任何人都可以成为提议者。
事实上,活性与去中心化程度也有关。Rollup 节点如果更好的去中心化和抗审查性,则 Rollup 会有更好的活性。
因此,为了提高 Rollup 的生存性,我们建议去中心化节点,允许用户在出现故障时自行进行交易排序和提议。
2.3 继承以太坊的去中心化和抗审查性
Rollup 去中心化的研究主要集中在去中心化的 Sequencer上。
如今,几乎所有的 Rollup 网络都只使用一个中心化的 sequencer。sequencer 有能力拒绝用户的交易并恶意提取 MEV,这会对用户在经济上造成伤害。此外,使用单一 sequencer 缺乏审查抵抗性。
因此,Rollup 正在探索一些有望实现去中心化 sequencer 的方法之一是无许可的 PoS 去中心化 sequencer。这种方法在 Morphism Rollup 中使用,sequencer 根据 POS 规则进行选择,并执行基于 BFT 的共识算法来就交易批处理达成共识。其他一些 Rollup 则尝试使用领导者选举方法来在每个纪元选举一位 leader sequencer。
另一种方法是通过 MEV 拍卖。在每个时代,参与者根据从交易费和他们可以作为 sequencer 提取的 MEV 所期望的利润来出价。获胜者支付他们的出价金额给 Rollup 财政,并获得在该时代内进行交易排序和捕获所有利润的权利。
Polygon 的 Proof-of-Efficiency 是另一种方法,其中任何人都可以成为 sequencer 或 aggregator。sequencer 在向以太坊L1提出交易批处理时,需要支付额外的费用以防止 spam attacks。aggregator 验证 sequencer 发布的批量交易,第一个提交有效性证明的 aggregator 将获得 sequencer 存入的代币。但是,落后的 aggregator 的计算资源可能会被浪费。
在共享 sequencer 方法中,一组节点向多个 Rollup 提供排序服务。Rollup 连接到共享 sequencer 网络以处理其交易排序和块生成。而共享 sequencer 池是去中心化的(它们执行共识协议对交易达成一致并提交批量交易)
所有这些关于去中心化 sequencer 的技术仍处于初级阶段,仍在不断发展。因此,目前我们只能提供中立的评估。
ZKP 证明者可以像 Polygon 的 Proof-of-Efficiency 一样去中心化和无许可,因为它们无法执行 MEV 并且难以恶意行为。
总之,我们需要去中心化的序列化器和证明者来增强 Rollup 的去中心化和审查抵抗性。
除了安全性问题之外,还有许多其他因素需要考虑。以下是一些相关问题:
如何平衡 sequencer 和 ZKP prover 的激励?
sequencer 可以执行 MEV,而 prover 不能。这个机制使人们更愿意成为序列化器。然而,实际上我们需要的 prover 多于 sequencer,因为,生成零知识证明需要比打包交易更多的计力。那么,如何平衡这两者之间的激励?我认为我们需要设计一个巧妙的动态费用模型和激励模型。
在 EIP 4844 升级后,Rollup 将使用 blob 存储数据,而 blob 数据只在以太坊上保存 1-3 个月,那么这会影响 Rollup 吗?
我的答案是肯定的,我认为会有一些小的影响,但很容易解决。Rollup 的历史数据可以上传到去中心化存储进行归档。如果 Rollup 的所有节点都下线(特别是在当前的单一序列化器情况下),用户将需要从去中心化存储系统下载历史数据,并与来自以太坊L1的 Blob 数据相结合重建状态。
如何降低 Rollup 的交易费用?
设计 Rollup 时,安全性、去中心化和成本效益之间存在许多权衡。例如,我们使用 ZKP 来验证状态以获得增强的安全性,但这需要更多的计算能力,同时也使交易变得更加昂贵。这是安全性和成本之间的权衡。一些 ZK Rollup 使用递归证明来聚合多个交易批次的 ZKP,然后将聚合的证明提交给L1。这可以节省以太坊上的 Gas 成本并降低L2交易费用,但也会拉长交易的最终确认的时间。
总结
总结一下,回到我们一开始的问题,我们在想要什么样的以太坊 Rollup?
首先,我们希望 Rollup 不仅继承以太坊的安全性,还要继承其生存性、去中心化性和抗审查性。
实际上,创建一个没有引入额外信任假设的L2 Rollup 是非常困难的,因为可升级性、去中心化序列化器和零知识证明的受信任设置都可能涉及额外的信任假设。不能说L2 Rollup 在不信任任何L2 Rollup 节点的情况下完全继承 ETH 的安全性。
为了更好的安全性。L1 Rollup 智能合约的升级应该由 DAO 进行治理,并设置延迟,以允许用户有足够的时间退出,如果他们不同意升级。但是,这种方法也将 DAO 的安全假设引入到系统中。
最后但同样重要的是,不要使用单一序列化器,而是使用去中心化序列化器来实现更好的生存性、去中心化性和抗审查性。
在结束我的演示之前,我想强调一下,如果在座的任何人有杰出的想法并需要资源来实现它们,请不要犹豫,随时联系我们 Foresight Ventures。
此外,我们邀请您加入我们的 Foresight X 孵化计划。我们在这里支持和培养您的创业之旅。凭借我们深厚的行业知识和丰富的资源,我们将确保您的项目蓬勃发展。
此外,如果您在学术或研究领域工作,Foresight X 提供竞争力十足的拨款来支持您的研究之路。
还有,我们在这里提供一个 QR 码,其中包含您可能感兴趣的所有链接,包括研究报告。随时拍照或扫描该代码以获取更多信息,如果在会议后有任何问题,您可以在 Twitter Twitter Twitter是源于美国的社群网路服务平台。2022年10月27日,马斯克完成了对推特的收购案并将其并入了新成立的“X”公司。据马斯克此前的推特信息,他将会创建一个包含一切的应用程序,并提到购买Twitter可以加速实现这一愿望。 上找到我。
再次感谢您的时间;希望您都玩得开心,愿您度过愉快的一天。
欲参考 PPT 内容,请点击此处:https://img.foresightnews.pro/file/L2( 0920).pdf
有关Foresight Ventures:我们想要什么样的Ethereum Rollup?内容分享到这里,想要了解更多加密货币价格行情请关注蓑衣网。