币灵灵财经
首页 > 币圈新闻 > 文章正文

V神:ETH不需做最快的Layer1!持续提升以太坊安全性和去中心化

币灵灵财经 2024-11-23 03:17 987

欧易交易所

欧易交易所

软件大小:268.26MB

软件版本:v3.4.2

币灵灵财经(bilingling.com):以太坊创办人Vitalik Buterin于昨(17)日发布最新文章表示,以太坊在近期和中期内,将着重提升其无需许可性和去中心化特性,围绕无状态节点、MEV缓解等概念,使以太坊在去中心化方向上迈出更远一步。

以下为您编译V神原文:

我坐在这里写这篇文章是在肯亚以太坊开发者交流会的最后一天,我们在实施和解决即将到来的以太坊重要改进的技术细节方面取得了很大进展,最引人注目的是Peer DAS、Verkle树过渡和去中心化方法在EIP-4444上的历史记录。

从我自己的角度来看,以太坊的发展速度以及我们提供大型重要功能的能力正在不断增强,这些功能可以有效改善节点营运商和用户的体验。

鉴于这种更强大的技术能力,需要问的一个重要问题是:我们是否正在朝着正确的目标前进?长期的Geth核心开发人员Peter Szilagyi最近发布的一系列不满推文促使我们思考这个问题:

这些担忧都是有道理的。这是以太坊社群许多人表达的担忧。

我个人曾多次担心这些问题。然而,我也不认为情况像推文所暗示的那样绝望。相反,许多问题已经通过正在进行的协议功能得到解决,而许多其他问题可以通过对当前路线图进行非常现实的调整来解决。

为了了解这在实践中意味着什么,让我们一一回顾推文中所提供的三个例子。这些问题是许多社群成员普遍关心的问题,解决这些问题非常重要。

MEV和构建者依赖性

过去,以太坊区块是由矿工创建的,他们使用相对简单的演算法来创建区块。使用者将交易发送到公共p2p网络,通常称为「mempool」或「txpool」。

矿工监听记忆体池,接受有效的交易并支付费用。它们包括可以进行的交易,如果没有足够的空间,它们会按照费用最高的优先顺序进行优先排序。

这是一个非常简单的系统,而且对去中心化很友好:作为矿工,你只需运行默认软件,你就可以从一个区块中获得与从高度专业的矿场获得的相同水平的费用收入。然而,在2020年左右,人们开始利用所谓的矿工可提取价值(MEV):只有通过执行复杂的策略才能获得收入,这些策略了解各种DeFi协议内部发生的活动。

例如,考虑像Uniswap这样的去中心化交易所。假设在时刻T,中心化交易所和Uniswap上的USD/ETH汇率为3000美元。届时T+11,中心化交易所的USD/ETH汇率将上升至3005美元。

但以太坊还没有下一个区块。无论谁创建了该区块,他们的第一笔交易都可以3000美元到3004美元的价格购买Uniswap上所有可用的ETH。(备注:以较低价格买后较高价格卖出)

这是额外收入,称为MEV。除DEX之外的应用程式也有类似的问题。2019年发表的Flash Boys 2.0论文对此进行了详细介绍。

Flash Boys 2.0论文中的图表显示了使用上述各种方法可获取的收入金额

问题在于,这打破了为什么挖矿(或2022年后的区块提议)可以「公平」的原因:现在,拥有更好的优化此类提取演算法能力的大型参与者可以在每个区块中获得更好的回报。

从那时起,两种策略之间就出现了争论,我将其称为MEV最小化和MEV隔离。MEV最小化有两种形式:

  • 积极开发Uniswap的无MEV替代方案(例如Cowswap)

  • 构建协议内技术,如加密内存池,减少区块生产者可用的信息,从而减少他们可以获得的收入。

特别是,加密的记忆体池可以防止三明治攻击等策略,这种攻击将交易放在用户交易之前和之后,以便在经济上利用它们(「抢先交易」)。

MEV隔离的工作原理是接受MEV,但试图通过将市场分为两种参与者来限制其对质押中心化的影响:验证者负责证明和提议区块,但选择区块内容的任务通过拍卖协议。个人质押者现在不再需要担心自己优化DeFi套利;他们只是加入拍卖协议并接受最高出价。这称为提议者/建构者分离(PBS)。

这种方法在其他行业中已有先例:餐厅能够保持如此分散的一个主要原因是,它们往往依赖相当集中的供应商来进行各种业务,而这些业务确实具有巨大的经济规模。

到目前为止,PBS在确保小型验证者和大型验证者处于公平竞争环境方面已经相当成功,至少就MEV而言是如此。然而,它带来了另一个问题:选择包含哪些交易的任务变得更加集中。

我对此的看法一直是MEV最小化是好的,我们应该追求它(我个人经常使用Cowswap!)尽管加密内存池有很多挑战,但MEV最小化可能还不够;MEV不会降至零,甚至接近零。

因此,我们也需要某种MEV隔离。这就产生了一个有趣的任务:我们如何让「MEV隔离箱」尽可能小?我们如何给予建设者尽可能少的权力,同时仍让他们吸收优化套利和其他形式的MEV收集的作用?

如果建构者有权将交易完全排除在区块之外,那么很容易就会出现攻击。假设您在defi协议中拥有抵押债务部位(CDP),由价格快速下跌的资产支持。您想要增加抵押品或退出CDP。

恶意建造者可能会试图串通拒绝包含您的交易,从而推迟交易,直到价格下跌到足以强行清算您的CDP为止。如果发生这种情况,你将不得不支付巨额罚款,而构建者将获得很大一部分。那么我们如何防止建构者排除交易并完成此类攻击?

这就是包含清单的用武之地。

包含清单允许区块提议者(即利益相关者)选择进入区块所需的交易。建构者仍然可以重新排序交易或插入自己的交易,但它们必须包括提议者的交易。最终,修改了包含列表以约束下一个区块而不是当前区块。无论哪种情况,它们都会剥夺建构者将交易完全推出区块的能力。

以上都是背景复杂的深渊。但MEV是一个复杂的问题;即使上面的描述也遗漏了许多重要的细微差别。正如古老的格言所说,「你可能不是在寻找MEV,但MEV正在寻找你」。以太坊研究人员已经非常一致地致力于「最小化隔离箱」的目标,尽可能减少建构者可能造成的危害(例如,通过排除或延迟交易作为攻击特定应用程式的一种方式)。

也就是说,我确实认为我们可以走得更远。从历史上看,包含清单通常被认为是一种「特殊情况功能」:通常,您不会考虑它们,但以防万一恶意建构者开始做疯狂的事情,它们会第二次给您小路。

这种态度反映在目前的设计决策中:在目前的EIP中,包含清单的Gas限制约为210万个。但我们可以在如何看待包含清单方面做出哲学上的转变:将包含清单视为区块,并将建构器的角色视为添加一些交易以收集MEV的辅助功能。如果建造者有210万个Gas限制怎么办?

我认为这个方向的想法,即真正推动隔离箱尽可能小,非常有趣,我赞成朝这个方向发展。这是「2021时代哲学」的转变:在2021时代哲学中,我们更热衷于这样的想法:既然我们现在有了建构者,我们可以「超载」他们的功能,让他们以更复杂的方式为用户服务。例如,通过支持ERC-4337费用市场。在这种新理念中,ERC-4337的交易验证部分必须纳入协议中。幸运的是,ERC-4337团队已经越来越热衷于这个方向。

总结:MEV思想已经回到了赋权区块生产者的方向,包括赋予区块生产者直接确保用户交易纳入的权力。账户抽象提案已经回到了消除对中心化中继器甚至捆绑器的依赖的方向。然而,有一个很好的论点表明我们走得还不够远,我认为推动开发过程朝这个方向走得更远的压力是非常受欢迎的。

流动性质押

如今,单独的质押者在所有以太坊质押中所占的比例相对较小,并且大多数质押是由各种提供者完成的:一些中心化营运商和其他DAO,例如Lido和Rocket Pool。

我做了自己的研究,包括各种民意调查、调查、面对面的对话,询问「为什么你,特别是你,今天不单独下注?」对我来说,到目前为止,一个强大的单独质押生态系统是我对以太坊质押的首选结果,而以太坊最好的事情之一是我们实际上试图支持一个强大的单独质押生态系统,而不是仅仅屈服于委托。然而,我们离这个结果还很远。在我的民调和调查中,有一些一致的趋势:

  • 绝大多数不单独质押的人将其主要原因归为最低32ETH。

  • 在那些提出其他原因的人中,最大的是运行和维护验证器节点的技术挑战。

  • ETH即时可用性的丧失、「热」私钥的安全风险以及同时参与defi协议的能力的丧失,都是重大但较小的问题。

质押研究需要解决两个关键问题:

  • 我们如何解决这些担忧?

  • 尽管对大多数问题都有有效的解决方案,但如果大多数人仍然不想获得单独权益,那么尽管如此,我们如何保持协议的稳定性和稳健性以抵御攻击?

许多正在进行的研究和开发项目正是旨在解决这些问题:

  • Verkle树加上EIP-4444允许质押节点以非常低的硬件要求运作。此外,它们允许质押节点几乎立即同步,从而大大简化了设定过程以及从一种实现切换到另一种实现等操作。它们还通过减少为每个状态存取提供证明所需的资料宽带,使以太坊轻客户端更加可行。

  • 研究(例如这些提案)允许更大的验证器集(实现更小的质押最小值),同时减少共识节点开销的方法。这些想法可以作为单槽最终性的一部分来实现。这样做也将使轻客户端更安全,因为他们将能够验证全套签名而不是依赖同步委员会)。

  • 尽管历史不断增长,但正在进行的以太坊客户端优化不断降低运行验证器节点的成本和难度。

  • 对惩罚上限的研究可能会减轻对私钥风险的担忧,并使质押者能够同时将他们的ETH质押到DeFi协议中(如果他们愿意的话)。

  • 0x01提现凭证允许质押者将ETH地址设定为提现地址。这使得去中心化的质押池更加可行,使其比中心化的质押池更具优势。

然而,我们仍然可以做更多的事情。理论上可以允许验证者更快地撤回:即使验证者集每次最终确定时都会发生几个百分点的变化(即每个时期一次),Casper FFG仍然是安全的。

因此,如果我们努力的话,我们可以大大缩短间隔期。如果我们想大幅减少最小存款规模,我们可以做出一个艰难的决定,在其他方向上进行权衡。例如,如果我们将最终确定时间增加4倍,那么最小存款规模将减少4倍。单槽最终性稍后将通过完全超越「每个质押者参与每个时代」的模型来解决这个问题。

整个问题的另一个重要部分是质押的经济学。一个关键问题是:我们是否希望质押成为一项相对小众的活动,或者我们是否希望每个人或几乎每个人都质押他们所有的ETH?

如果每个人都在质押,那我们希望每个人承担什么责任?如果人们最终因为懒惰而简单地委派责任,那么最终可能会导致集中化。这里有重要而深刻的哲学问题。

错误的答案可能会导致以太坊走上中心化的道路,并「通过额外的步骤重新创建传统的金融体系」;正确的答案可以创造一个成功生态系统的光辉典范,该生态系统拥有广泛且多样化的独立质押者和高度去中心化的质押池。这些问题涉及以太坊核心经济和价值观,因此我们需要更多样化的参与。

节点硬件要求

以太坊去中心化的许多关键问题最终都归结为定义区块链政治十年来的一个问题:我们希望如何方便地运行节点,以及如何实现?

如今,运行节点很困难。大多数人不这样做。在我用来写这篇文章的笔记本电脑上,我有一个reth节点,它占用2.1TB的空间,已经是英勇的软件工程和优化的结果。我需要额外购买一个4TB硬盘放入我的笔记本电脑中以储存该节点。我们都希望运行节点变得更容易。在我的理想世界中,人们将能够在手机上运行节点。

正如我上面所写,EIP-4444和Verkle树是让我们更接近这理想的两个关键技术。如果两者都实现,节点的硬件需求最终可能会减少到不到一百字节,如果我们完全消除历史储存责任(可能仅适用于非质押节点),则可能会接近零。

类型1ZK-EVM将消除您自己执行EVM计算的需要,因为您可以简单地验证执行是否正确的证据。在我的理想世界中,我们将所有这些技术堆叠在一起,甚至以太坊浏览器扩展钱包(例如Metamask、Rabby)也有一个内建节点来验证这些证明,进行数据可用性采样,并确保链是正确的。

上述愿景通常被称为The Verge

这都是众所周知和理解的,即使是那些对以太坊节点规模提出担忧的人也是如此。然而,有一个重要的担忧:如果我们卸下了维护状态和提供证明的责任,那么这不是一个中心化向量吗?即使他们不能通过提供无效数据来作弊,但过度依赖他们不是违背了以太坊的原则吗?

这种担忧的一个近期版本是许多人对EIP-4444的不适:如果常规以太坊节点不再需要储存旧历史记录,那么谁需要呢?一个常见的答案是:肯定有足够多的大参与者(例如区块浏览器、交易所、Layer2)有动力持有这些数据,并且与Wayback Machine存储的100PB相比,以太坊链很小。因此,认为任何历史实际上都会失去的想法是荒谬的。

然而,这种论点依赖于少数大型参与者。在我的信任模型分类中,这是N中的1假设,但N非常小。这有其尾部风险。我们可以做的一件事是将旧历史记录储存在对等网络中,其中每个节点仅储存一小部分资料。这种网络仍然会进行足够的复制以确保稳健性:每个资料都会有数千个副本,并且将来我们可以使用纠删码(实际上,通过将历史记录放入EIP-4844样式的blob中,这已经内建纠删码)以进一步提高稳健性。

长期以来,这项工作一直处于次要地位。门户网络确实存在,但实际上它并没有得到与其在以太坊未来的重要性相称的关注程度。幸运的是,现在人们对将更多资源投入到入口网站的最小化版本中抱有浓厚的兴趣,该版本专注于历史记录的分散式储存和可访问性。我们应该以此为基础,共同努力尽快实施EIP-4444,并搭配强大的去中心化点对点网络来储存和检索旧历史记录。

对于状态和ZK-EVM,这种分散式方法更加困难。要建立一个高效的区块,您只需要拥有完整的状态。在这种情况下,我个人倾向于采取务实的方法:我们定义并坚持拥有一个「做所有事情的节点」所需的某种程度的硬件要求,这高于简单验证节点的(理想情况下不断降低的)成本链,但仍然足够低,爱好者可以负担得起。我们依赖N中的1假设,确保N相当大。例如,这可能是高阶消费笔记本电脑。

ZK-EVM证明可能是最棘手的部分,即时ZK-EVM证明器可能需要比存档节点更强大的硬件,即使有像Binius这样的进步,以及多维气体的最坏情况边界。我们可以在分散式证明网络上努力工作,其中每个节点都承担证明的责任。例如,一个区块执行的百分之一,然后区块生产者只需要在最后聚合一百个证明。证明聚合树可以提供更多帮助。但如果这不能很好地工作,那么另一种妥协是允许证明的硬件要求变得更高,但要确保「做所有事情的节点」可以直接验证以太坊区块(无需证明),速度足够快有效参与网络。

结论

我认为,只要存在某种市场机制或零知识证明系统来迫使中心化参与者诚实行事,2021时代的以太坊思想确实已经习惯于将责任转移给少数大型参与者。此类系统通常在一般情况下运作良好,但在最坏的情况下会发生灾难性故障。

同时,我认为有必要强调的是,目前的以太坊协议提案已经大大偏离了这种模型,并且更加认真地对待真正去中心化网络的需求。围绕无状态节点、MEV缓解、单时隙最终性和类似概念的想法已经在这个方向上走得更远。

一年前,人们认真考虑了通过中继作为半集中节点来进行资料可用性采样的想法。今年,我们已经不再需要做这些事情,在PeerDAS上取得了令人惊讶的长足进展。

但是,在我上面谈到的所有三个轴以及许多其他重要轴上,我们可以做很多事情来朝这个方向走得更远。Helios在为以太坊提供「真正的轻客户端」方面取得了巨大进步。现在,我们需要将其预设包含在以太坊钱包中,并让RPC提供者提供证明及其结果,以便对其进行验证,并将轻客户端技术扩展到Layer2。

如果以太坊通过以Rollup为中心的路线图进行扩展,则Layer2需要获得与Layer1相同的安全性和去中心化保证。分散且高效的跨Layer2桥就是众多例子之一。许多dapp通过集中式协定来取得日志,因为以太坊的本机日志扫描变得太慢。我们可以通过专用的去中心化子协定来改进这一点;这是我关于如何做到这一点的一项建议。

有几乎无限数量的区块链项目瞄准「我们可以超快,我们稍后会考虑去中心化」这个利基市场。我认为以太坊不应该成为这些项目之一。以太坊Layer1可以而且当然应该成为采用超大规模方法的Layer2项目的强大基础层,使用以太坊作为去中心化和安全性的支柱。

即使以Layer2为中心的方法也要求Layer1本身俱有足够的可扩展性来处理大量操作。但我们应该深深尊重使以太坊独一无二的特性,并随着以太坊的扩展继续努力维护和改进这些特性。