编译&整理:Karen,Foresight News
1 月 10 日 21:00 开始,以太坊基金会研究小组在 Reddit 上举办第 11 次 AMA,Foresight News 翻阅 313 条评论,编译和汇总了 Vitalik Buterin 和以太坊基金会成员的精华观点,讨论内容主要包括 EIP-4844 在扩展以太坊方面的局限性、以太坊 L2 上的流动性碎片和可组合性挑战、Lido 主导地位思考、以太坊安全预算、原生 Rollup、AI 和区块链间的交叉点、隐私、Rollup 等内容。
Vitalik 精华观点问题:现在我们可以安全增加多少 Gas Limit?Verkle 之后呢?
Vitalik:老实说,我认为即使在今天,适度增加 Gas 限额也是合理的。 Gas 限制已近三年没有增加。(Vitalik 做了一些简单的计算,称这意味着网络吞吐量将增加到 4000 万左右。)
问题:为以太坊用户带来隐私的中长期计划是什么?未来,隐私是否有可能退居次要地位,而被其他更紧迫的问题(如扩展)所取代?
Vitalik:肯定还有其他隐私解决方案,例 Railway,我一直在使用。我预计这样的解决方案最终将在现有的 L2 之上可用。因为我们还没有接近达成一个单一的理想技术路径来实现,不过有十几种方法,包括(i)使用哪种 ZK-SNARK 方案,(ii)如何做隐私池,(iii)构建什么样的 UTXO 系统,(iv)复杂性和功能之间的权衡。
问题:您能说出区块链比现有非区块链技术更好的具体事情吗?
Vitalik:
许多人,特别是在政治不稳定的国家,正在使用加密货币来执行基本业务功能并进行储蓄。在某些情况下,超过 10% 的人口会受到这种影响。ENS 是世界上最大、维护最完善的域名 / 用户名系统,不依赖于单个公司或组织,并且具有抗审查性。在许多情况下,与传统金融提供的任何方式相比,多重签名对于群体安全管理资金来说是一种更加方便且易于部署的方式。NFT 正被用作艺术家筹集资金的一种方式,这是以前是无法实现的。在我看来,NFT 领域的平均质量正在提高。问题:crList 何时发布?它是否足以(与 PBS 一起)在可预见的未来提供审查制度抵抗力?
Vitalik:可能与单槽最终确定大约同时,或不久之后。
问题:对于如何解决 Geth 执行客户端偏好的问题,是否可能作为备用运行其他客户端,并且这样做是否会增加技术工作量?
Vitalik:我知道作为质押者运行多个客户端的基础设施正在改善。我还期望无状态等升级能够进一步改善情况。
问题:你是否认为当前 Rolllup Centric 路线图中存在安全碎片化和社交碎片化问题?
Vitalik:我同意这是一个问题。最终,我认为这应该是钱包的责任,而不是个人用户的责任。
问题:ZK Light Client 与 Helios、Kevlar 或 Ninbus 相比有何优势?
Vitalik:ZK 轻客户端可以更轻,并且有可能覆盖整个状态转换功能,而不仅仅是同步委员会或共识。
问题:你还在研究降低运行验证器所需的以太坊门槛的可能性吗?
Vitalik:有两点,分别为减少客户端资源负载和降低 32 ETH 门槛。
问题:你对 Vitalik 的 8192 签名 post-ssf 提案有何看法?如果验证者受到声誉限制并且进入门槛很高,那么以太坊岂不是会像 Cosmos 一样成为 DPOS?不允许单独质押似乎是以太坊去中心化的一大风险。
Vitalik:这份提案中的选项 3 无疑是最受欢迎的,很大程度上就是因为这个原因。
问题:我们如何负责任地从终端用户那里抽象出模块化区块链的复杂性?谁拥有它?这是该领域的公共利益吗?是 EF 的某个人,还是构建消费者应用程序的各个团队?
Vitalik:我觉得很多方面都可以在钱包层面进行改进。对于跨 L2 传输,我对 UniswapX 这样的开放式无许可跨链交易协议比较乐观。剩下的就是呈现给用户,现有的钱包肯定做得不好,而且还有改进的空间。我已经开始看到良好的进展,例如。 Rabby 在聚合跨链视图方面做得很好。
问题:一旦 EVM 被 SNARK 化,Rollups 是否会出现在以太坊的路线图上?这将如何影响可扩展性,这对于运行轻客户端的用户意味着什么?
Vitalik:如果同步委员会被移除,那是因为基础共识本身已经变得足够轻,可以让轻客户端直接验证它(或者足够轻,可以让专门的节点对其进行 SNARK 以便轻客户端进行验证)。这是考虑每个 slot 8192 个签名方法的主要原因:它对验证基本共识的复杂性设置了相当低的界限。
问题:我们将看到比特币实现 ZKP 验证操作码或者 Bitcoin Cash 将尝试成为更好的 DA 层的可能性有多大?
Vitalik:出于技术原因,比特币 / 以太坊在该级别上的互操作不太可能:以太坊正在走向快速最终确定性,而比特币则坚持使用 PoW,它根本不提供这种类型的最终确定性(实际上,实际上可能存在着一周到一个月的事实确定性)。超过这个时间的重组可能在社区中被拒绝,但是一周或一个月的时间已经很长了。
问题:是否真的有计划将出块时间增加到 1 分钟?为什么?
Vitalik:不会。曾短暂考虑过将区块时间增加到 32 秒甚至 64 秒,以更好地支持 single-slot 最终确定性,但我认为现在每 single-slot 8192 个签名策略更加主流。
EIP-4844 在扩展以太坊方面的局限性问题:EIP-4844 引入了 Blob 事务,但容量仅限于每区块约 0.375 MB,这仅对应于 L2 上 440 TPS 的简单传输。为了推动区块链采用,以太坊社区希望达到 VISA 级别的规模 2000 TPS。除了等待完全的 danksharding(这似乎很遥远)之外,我们还必须采取哪些选择来更接近这个目标?
以太坊基金会研究员 Dankrad Feist:我同意 EIP-4844 只是提供数据发布(以前称为数据可用性)的第一步。事实上,它本身只是在经济上分离了数据发布,而没有进行扩展,但确实引入了必要的加密技术来允许完全扩展。目前,我们确实在开展一些令人兴奋的研究,旨在尽快实现一定程度的扩展。看起来 PeerDAS似乎很容易实施,我们可以在相对短的时间内推出一个基本版本,提供一定程度的扩展能力,希望能在 4844 发布后的一年内实现。虽然我们不会立即看到扩展到 256 个 blob 或 1.3 MB/s,但我们最初可能会扩展到每个区块 32 个 blob,这是当前数量的 10 倍,并且将位于 4844 和完整 danksharding 之间。扩展以太坊的数据容量绝对是 2024 年甚至 2025 年最重要的事情。
注:PeerDAS 设计的目的是重用以太坊中已投入生产的众所周知的、经过实战考验的 p2p 组件,以将额外的 DA 规模带到 4844 之上,同时将诚实节点的工作量保持在与 4844 相同的领域(下载 <每个插槽 1MB)。
以太坊基金会研究员 Justin Drake:减少每笔交易消耗的数据有多种策略可以选择:
合约重新设计:L1 合约的 Gas golfing 将很快被 Rollup 合约的 Data golfing 所取代。也许 Uniswap v5 可以针对 Rollup 进行定制,并且数据效率会得到显著提高。交易金额也可以适当调整和压缩。状态差异:通过使用 SNARKs,可以删除交易的所有见证数据:签名、Nonce、Gas 限制都可以被移除,而像 Gas 价格和小费金额等信息可以被压缩为最小差异。只有重构状态所需的最小信息是必要的。批量压缩:批处理中的交易数据可以进行压缩。例如,如果批处理中的 10 个交易正在铸造相同的 NFT,那么可以获得显著的优势。可以将其类比为 gzip 压缩:拥有更多未压缩的数据可以获得更好的最终压缩效果。以太坊基金会研究员 Justin Drake:从技术上讲,EIP-4844 本身根本不是一个扩展解决方案。EIP-4844 通过将 Rollup 数据从主区块中分离出来,为未来的扩展奠定了基础。在未来,我们甚至可以在没有额外硬分叉的情况下,基于抽样方法(数据可用性抽样,即 DAS)转向更智能的数据可用性检查。这方面的工作已经在进行中,可以通过搜索 peerDAS 探索。
以太坊 L2 上的流动性碎片和可组合性挑战问题:以太坊将如何解决 L2 上的流动性碎片和可组合性问题?
Vitalik:我个人对 https://uniswap.org/whitepaper-uniswapx.pdf 之类的事情感到兴奋。我们需要通过无需许可的开放协议来完成跨 L2 传输,而不是使用自己的代币和链上治理等专有跨链桥。
Justin Drake:我承认跨 Rollup 的流动性和可组合性的碎片化(更普遍地说跨 L2,包括验证)是一个问题。不过,这只是暂时的过渡,我们处于以 Rollup 为中心的路线图的青春期阶段,可以跨 Rollup 重新获得通用同步可组合性。预计以太坊将能够通过自然市场力量有机地合并「修复」自身。以太坊的未来是无缝的,我们将不需要异步跨链。
重新获得通用同步可组合性有以下两个要素:
共享排序:在任何给定的槽中,多个 Rollup 选择共享相同的排序器,不过有三个不可妥协的要求,分别为可信的中立性、安全性以及预确认,还有 L1 兼容可选需求。实时证明:可以实时使用 SNARK 证明交易执行是有效的。Espresso 很难用他们的代币满足经济安全性,也不可能满足 L1 兼容可选需求。唯一能够满足 L1 兼容可选需求的定序器是以太坊 L1 本身。很少有人意识到以太坊也可以用作共享排序器。
个人观点是,几年后,原生的以太坊排序器将成为 Rollup 共享排序器。使用原生排序器的 Rollup 将与 L1 合并。但最大的障碍是预确认,以太坊的 12 秒区块时间太长了。好消息是由 L1 提供的预确认是有可能的,最有效的方法是使用 execution tickets,这需要硬分叉,需要耐心。
针对 Rollup 测序的总体路线图,我最好的猜测是,我们将渐进实现排序去中心化:从集中式排序(现状)到由治理选举产生的受信任委员会进行联邦式排序(例如 Arbitrum 计划),再到去中心化排序(例如 Espresso),最后回到基于预确认的排序。这需要时间,但很值得。
Lido 主导地位是否值得担忧?问题:如果 Lido 获得 40% 的验证者份额,是否支持通过社会方式减少验证者份额的行动(例如劝阻攻击、对 stETH 交易进行区块构建审查)?
Barnabé Monnot:不支持。如果我们希望 Lido 或任何足够大的参与者变得更小,我们应该专注于降低进入这个市场的壁垒,包括通过在协议中规定某些功能。
Justin Drake:我个人不支持,但这将由社区来决定。我不相信 Hasu 的「LST 最大化主义」,不相信几乎所有质押 ETH 最终都会收敛到一个单一 LST。我不太担心 Lido 的主导地位,甚至有可能 Lido 的主导地位会在未来的几个月和几年内下降,有一个原因是 ETF 发行人可能会选择不将其 ETH 放入 Lido。
以太坊安全预算问题:以太坊需要多少安全预算?你们是怎么得到这个数字的?
Justin Drake:先来区分下安全预算和经济预算这两个概念。
安全预算:共识参与者(PoS 中的质押者、PoW 中的矿工)在一段时间内(通常为一年)获得的收入。对于大多数链来说,安全预算是发行加上 MEV。交易费用是 MEV 的子集。例如,在以太坊中,安全预算大约为:20 亿美元 / 年(发行)+ 5 亿美元 / 年(MEV)= 25 亿美元 / 年。比特币的安全预算约为每年 100 亿美元,其中绝大多数用于发行。
经济安全性:这是共识参与者为保护一条链而部署的资产价值,其本身受到安全预算的激励。在 PoS 中,它是质押数量乘以每个质押单位的价值。例如,在以太坊中为:2870 万枚 ETH * 2,370/ETH = 680 亿美元。在 PoW 中,经济安全性是算力乘以部署每个算力单位的价值(ASIC 成本加上所有固定数据中心成本:土地、电力基础设施、冷却基础设施)。例如,比特币为 550M TH/s * $18/(TH/s) = 100 亿美元。
PoS 的经济效率大约是 PoW 的 30 倍。我个人认为安全预算应该足够大,以使质押的 ETH 数量占总量的四分之一。为什么是四分之一呢?因为它是 2 的幂,而一半可能过高,八分之一可能过低。以太坊的「最小可行发行量」理念则建议发行最少的数量,以使质押的 ETH 数量达到总量的四分之一。有点巧合的是,目前的发行计划使得质押的 ETH 占到了 24%,尽管要考虑到质押的 ETH 数量仍在增长,并且 MEV 扭曲了激励机制,所以这个比例可能还需要谨慎对待。
为了确保我们不会为经济安全支付过高的费用(特别是随着重抵押的出现),有一种潜在的升级,称为质押上限(stake capping),当总质押接近上限时,会降低发行量(甚至可能变为负数)。以太坊研究人员已经达成了粗略共识,即质押上限是可取的,预计 EIP 和更多讨论很快就会出现。
原生 Rollup 是以太坊的未来吗?问题:enshrined rollups 是以太坊的未来吗?我们何时能在主网上看到它们?
Justin Drake:包括我自己在内的很多人都在尝试将「enshrined rollups」重新命名为「native rollups」(原生 Rollup),因为 enshrined 这个词引起了混乱。原生 Rollup 是原生使用 L1 EVM 进行事务执行的 Rollup,而不是部署非原生故障证明或有效性证明验证器的自定义 Rollup。就目前情况而言,不可能在以太坊上构建原生 Rollup,每个现有 Rollup 都是自定义的,包括 EVM 等效 Rollup。不过,我相信原生 Rollup 是以太坊的未来。我的预测是,每个成功的 EVM 等效 Rollup 最终都会升级为原生 Rollup。需要数年(3 年以上?)才能在主网上看到原生 Rollup。原因是在主网上实现 EVM 预编译需要 type 0 zkEVM 在安全性、性能和多样性方面成熟。
AI 和区块链间的交叉点问题:人工智能和区块链之间有哪些不明显的潜在应用 / 激励措施 / 交叉点?
s0isp0ke:我们最近写了一篇论文,重点关注:1、区块链作为基础设施,通过可信承诺来保证人工智能安全与合作;2、在现有的区块链游戏中以及具有现实世界激励机制(例如 MEV)的情况下,研究和实施协作型人工智能的一些具体、可行的方式。
Justin Drake:一个重要的交叉点是「AI 货币」。我们正在构建可编程数字货币,人工智能可以无需许可地托管和交易。先进的 AI 会用加密货币相互支付,并将他们的储蓄保存在加密货币中,最终 AI 将成为世界上最富有的实体,这在一定程度上要归功于加密货币。与人工智能一样,从中期来看这是看涨的,但从长期来看却令人难以置信。与 AI 的另一个交叉点是安全性,人工智能在识别漏洞方面比人类要好得多。
隐私问题:对以太坊上的隐私实施有何看法? Vitalik 此前提到了 Railway 和 Nocturne,鉴于政府的打压,对以太坊隐私的长期可行性有何看法?
Nerolation:当前有更复杂的隐私工具,不会单纯地混合资产,而是同时提供合规工具。 Ameen 的隐私池项目就是一个很好的例子,在为日常以太坊用户提供隐私和使其难以被黑帽等攻击之间取得了很好的平衡。这里有一篇关于该主题的论文。唯一的缺点是成本,因为链上零知识证明验证非常昂贵。
另一种选择是隐形地址。它们提供了较弱的隐私形式——只有不可链接性,没有不可追踪性——但更容易实现,而且使用起来便宜得多。隐形地址在捐赠、工资支票或日常杂货购物方面具有巨大的潜力。
其他
问题:对于 VanEck 承诺将 5% 的 BTC ETF 利润提供给核心开发者,有何看法?这是否是一个潜在风险?如果大量现金开始从 TradFi 流向 ETH 核心团队,并成为他们收入的大部分,你将如何降低中心化风险?
Justin Drake:我个人认为这是个不错的想法。如果接受捐赠的特定机构出现腐败,十年的承诺可能有点长。建议VanEck 进行较短期的承诺,定期进行审查和修订,以保持激励机制的一致性。
问题:你对 Eigenlayer 的再抵押风险有何看法?
Barnabé Monnot:以太坊面临的风险是大型 EigenLayer 削减事件,但如果削减是合法的,那么以太坊协议将自我修复。由于质押价值较低而获得更高奖励将吸引新的质押者。对于非法削减,例如智能合约风险,EigenLayer 计划设置防护措施。
Justin Drake:在目前阶段,我没有看到一种实际或有意义的方式来「确保」重新质押(restaking)。最接近的可能是通过降低发行量(甚至可能为负)来限制质押,即当质押接近上限时减少发行量。实际上,可以将质押上限视为一种「重新质押销毁」机制。
问题:一次性签名(one-shot signatures)是区块链的终极游戏吗?
Justin Drake:是的,我相信一次性签名可以根本上改变共识的结局。当然,我们距离这个这个目标还有几十年(可能 30 多年)的距离。
问题:大多数或所有 L2 从以太坊转向 DA 会对 L1 产生什么影响?
mikeneuder:有两个场景,第一个是,新的 L2 获得大规模采用,然而,假设 L2 拥有自己的原生资产,将其用作 Gas,并且 L2 上的用户不必接触以太坊(他们可以直接加入 L2)。现在,L2 对以太坊的唯一贡献就是为以 blob 形式发布的数据付费。
第二个场景是,不同的 L2 仍然使用以太坊作为结算层,但将 blob 发布到 celestia。这通常称为「validium」。因此,这个 L2 不再支付 L1 数据 blob 费用。这不太可能改变其结算层,因为 ETH 作为 L2 上的 Gas 代币,拥有与以太坊 L1 之间的跨链桥至关重要。
Justin Drake: 围绕 DA 的共享安全存在强大的网络效应。如果 Rollups 停止消耗以太坊 DA,这将表明以太坊在结算游戏中输给了某些竞争对手,这样以来,以太坊将失去费用收入,货币溢价将减少,经济安全和经济带宽将缩小,我预测它会缓慢但肯定会死亡。
问题:以太坊基金会研究团队的结构是怎样的?是否有团队负责特定风险(例如重新质押或流动质押集中化)?有多少研究人员?
Barnabé Monnot:研究团队内部又有多个小组,比如我们的团队是 Robust Incentives Group(RIG)。主题非常多样化,许多团队可能对同一主题感兴趣,你会看到许多团队关于 LST 或重新质押的讨论,因此更多关注的是每个团队的默认范围和方法。我们总共大约有 35 人,RIG 有 7 名成员。
问题:以太坊是否应该努力保持无需许可即可加入验证者集的能力?
Francesco:验证者集肯定永远不会被许可,从这个意义上说,如果当前的验证者集合无法处理满足所有要求的验证者的激活,则应视为次审查攻击。棘手的部分是「满足所有加入要求」,因为这可能会从 32 ETH 变为其他数值,具体取决于所做的选择。就我个人而言,我认为保持 solo 质押的可访问性,甚至提高其可访问性,对以太坊来说非常有价值。
问题:其他区块链网络中的哪些想法很有趣,并且在未来可能会在以太坊中实施?
Barnabé Monnot:我不知道它们是否会被实施,但我对以下几个想法感兴趣:
Multiplicity(多重性)作为一种抗审查工具,是在 Cosmos 链的背景下引入的。
来自 Polkadot 的批量区块空间,可以为支付 blobs.的 Rollup 等项目提供长期的供应保证,并以固定成本提供。
问题:如果以太坊继续走目前的道路,你认为 20 年后还需要其他区块链吗?
Barnabé Monnot:Rollups 就是其他区块链。我相信异构性,以太坊是一种模型,但不是单一模型,还有许多其他方法可以构建对各种用例有意义的区块链,并且我希望他们的设计选择也得到验证。
问题:会减少运行质押节点所需的 ETH 数量吗?如果会,什么时候会减少?关于交易费用呢?
Barnabé Monnot:对于交易费用,我们没有主动控制,费用由市场决定。我们能做的最好的事情就是通过 L2 或对 L1 进行改进来尽可能地扩展以太坊,这应该使我们能够提高 L1 的 Gas 限制并提供更多容量。
问题:目前的共识是,自合并和 EIP-1559 以来,以太坊货币政策不再需要修改?如果不是,会怎么调整发行?增加还是减少?
Domothy:关于货币政策,仍然会有一些变化,但不会像 EIP1559 和合并那样剧烈。大部分变化将与共识相关,我们需要对其进行微调以实现路线图目标(例如,单个插槽确定性可能需要调整质押收益曲线,增加最大有效余额等),而不是专门为了调整发行量而进行的更改。
问题:你认为最被低估且希望看到更多投资和开发的应用场景和用例是什么?
Justin Drake:我相信每周零费用的「以太坊世界彩票」是容易实现的目标。我们现在可以使用 VDF 进行彩票级随机性生成,并且智能合约逻辑在其他方面非常简单。
Nerolation:将用户友好的钱包与增强隐私相结合,比如账户抽象钱包。