以太坊基金会第10次AMA要点:验证者集、随机数、DVT、技术方向。

以太坊基金会第10次AMA要点: 验证者集、随机数、DVT、技术方向。

以太坊基金会研究团队第十次AMA摘要

7月12日,以太坊基金会研究团队在reddit论坛举行了第十次AMA(Ask Me Anything),社区成员可以在帖子中提问并得到团队成员的解答。以下是本次AMA中涉及的相关问题和技术要点的摘要:

1、验证者退出相关问题

本问题与EIP-7002草案相关,该草案旨在允许验证者从其执行层(0x01)取款凭证触发退出到信标链。目前,只有活跃密钥才能启动验证者退出,这意味着在非标准托管关系中,持有取款凭证的人不能独立选择退出并开始取款过程。为了解决这个问题,EIP-7002草案允许0x01取款凭证触发退出,从而实现了无需信任地控制质押的ETH。这个提案有利于流动性质押和分布式验证的发展,同时也可以更好地管理风险,比如私钥丢失或验证器失去与大部分共享密钥的连接等情况。

2、随机数难题:RANDAO + VDF

RANDAO是一种生成随机数的方式,通过将多个随机数进行加和和求余运算来选择特定的结果。然而,如果某个参与者作弊,可以根据其他参与者给出的随机数信息选择一个有利于自己的数字,从而破坏了随机性。为了解决这个问题,可以引入VDF(可验证延迟函数)来生成随机数。VDF是通过哈希函数实现的,计算结果的过程无法并行计算,但验证结果的计算量非常小。VDF的计算特性使其适合用于生成随机数,与RANDAO的性质一致。

3、SSV和DVT对以太坊的必要性

随着以太坊质押量的增加,面临着节点运营商的中心化风险。一些研究团队成员认为,SSV(密钥共享验证器)和DVT(分布式验证者技术)可能是短期内必要的解决方案。然而,Justin Drake表示,一次性签名技术的实现可能需要数十年的时间,因此短期内DVT可能是更有效的解决方案。一次性签名是一种特殊的加密签名,私钥只能用于签署一个消息,可以解决区块链领域的许多问题。

4、最大有效余额

提高验证者质押的上限可以减少网络中验证者的数量,从而实现更快的交易最终性。但是,提高质押上限可能引入交易现有验证者资格的交易市场,存在潜在的安全隐患。另一种选择是将验证者的证明数量计入投票权重,这将改变协议的安全模型,降低攻击者重组链的难度。近期社区有关将最大有效验证者余额从32 ETH增加到2048 ETH的提议,以帮助减少活跃验证者集的增长。

5、单一秘密领导者选举(SSLE)的进展

SSLE目前仍处于研究阶段,因为目前Leader的非秘密性尚未被证明是一个问题,所以SSLE的优先级较低。SSLE是一种解决当前信标链中提议者易受DoS攻击的问题的方案,通过加密隐藏提议者身份来缓解潜在风险。

6、以太坊技术路线图的更新

大部分以太坊技术路线图都在按计划推进,但也有些优先次序的调整。例如,由于Mev-Boost漏洞导致的恶意验证者攻击事件,实现协议级别内的提议者构建者分离(PBS)的优先级提高了。此外,对于再质押带来的潜在安全风险,优化简化solo质押体验的优先级也提高了。在大方向上,需要提高优先级的是能够有效帮助生态系统的事情,如ERC-4337智能钱包需要实现友好地跨Layer 2,并提高Gas效率等。

7、EIP-4844对流动性碎片化问题的解决

EIP-4844无法解决zk-rollups的即时可组合性问题,但zk-rollups之间的可组合协调设计空间很大。一种可能的方案是将一个最小化的zk-rollup作为流动性聚合。EIP-4844无法解决流动性碎片化问题,但zk-rollups之间的设计空间可以通过其他方式实现。

8、Based Rollups的应用

Based Rollups(或称为L1排序的Rollups)是一种将Rollup网络的排序放在其基于的L1上(通常是以太坊网络)的方法。与传统的Rollup网络相比,Based Rollups具有许多优势,如依赖于L1的交易排序、无需担心排序器或验证者的故障、去中心化和无需代币等。Taiko项目将采用Based Rollups形式发布。

9、构建者市场的中心化风险

当前的构建者市场已经相当中心化,中心化的主要风险是审查。目前的解决方案包括部分区块拍卖、包含列表、提议者后缀、预承诺和加密内存池等。

10、以太坊主网能支持的验证者数量

目前以太坊主网大约能支持1-2百万个验证者。开发者社区正在进行相关的探索,下一个测试网Holesky将拥有1百万个验证者。

11、以太坊基金会的终局

以太坊基金会没有收入,也不会使用财政库的ETH进行质押创收。如果财政库用完了,资金来源可能来自生态内的公共产品融资基础设施和以太坊L1预算。

12、跨rollups交易执行的技术方案

Vitalik表示,非同步的跨rollups交易执行是可以接受的,并且有很多用例。同步跨rollups交易执行的用例可能不太高,如果能够解决这个问题,市场效率可能会提高,但目前我们完全可以没有它。

13、以太坊阶段二分片的可能性

执行分片并不提供更多的扩展性,Rollups的瓶颈是数据而不是执行。一旦L1 EVM实现了SNARKified,以太坊将拥有一个在L1上享有共识集成的rollup,相当于拥有了执行分片。只要完成了SNARKifying的工作,在L1 EVM中将SNARK验证逻辑公开为EVM操作码变得相对容易。这样就可以实现无限数量的rollups,它们在以太坊的共识层面就像是执行分片一样,具有扩展性和与主网同等的安全性。