昨天以太坊迎来了10周年。今天，精简以太坊作为未来10年的愿景和个人使命被揭示出来。 我们站在一个新时代的曙光下。数百万的TPS。量子对手。以太坊如何将极致性能与不妥协的安全性和去中心化结合起来？ 简而言之：下一代密码学是赢得攻防的核心。 免责声明：这是一个面向广泛受众的Drake take™。关于基于哈希的后量子签名和SNARKs的技术深度探讨将随后进行。我们期待并欢迎在协议、EF和更广泛的以太坊社区中存在健康的观点多样性。这使我们更强大。 defense—堡垒模式 以太坊是特别的。自创世以来100%正常运行。无与伦比的客户端多样性。1300亿美元的经济安全（3570万ETH质押 × 3700美元）——也许很快将达到1万亿美元。 以太坊有望成为价值互联网的基石，在几十年甚至几个世纪内保护数万亿的资产。 以太坊必须能够抵御任何挑战：国家、量子计算机。无论发生什么。称之为堡垒模式。如果互联网正常运行，以太坊就正常运行。如果世界在线，世界就在链上。 offense—野兽模式 以太坊渴望成长。“扩展L1，扩展数据块”是EF协议集群内的战略紧迫性。预计在接下来的6到12个月内会有显著的性能提升。 从长远来看？想想千兆级L1，太级L2。称之为野兽模式。 → L1上1千兆次/秒：10K TPS，雄心勃勃的垂直扩展 → L2上1太级/秒：1M TPS，广泛的水平扩展 扩展与去中心化？为什么不两者兼得。我们现在需要的月球数学已经被驯服： → 实时zkVM用于精简执行 → 数据可用性采样（DAS）用于精简数据 一个美味的樱桃在上：跨每个浏览器、钱包、手机的完整链验证。 精简升级 精简以太坊在所有三个L1子层上提出了大胆的升级： → 精简共识是信标链2.0：为终极安全性和去中心化而强化，最终性在几秒钟内；以前称为“光束链” → 精简数据是数据块2.0：后量子数据块，外加类似于调用数据的开发者体验的细粒度数据块大小 → 精简执行是EVM 2.0：一个最小的、友好的SNARK指令集（可能是RISC-V；发音为“风险五”），在保持EVM兼容性及其网络效应的同时提升性能 共识层（CL）、数据层（DL）、执行层（EL）都从第一原则重新构想。它们共同解锁了堡垒模式和野兽模式。 目标：在不可妥协的连续性、最大硬度和清新简单性的约束下实现性能的丰盈。 精简密码学 基于哈希的密码学正在成为精简以太坊的理想基础。它为重塑生态系统的两个重大趋势提供了一个引人注目的统一答案： → SNARKs的爆炸性增长 → 迫在眉睫的量子威胁 想象一下最精简的密码学砖——哈希函数——单枪匹马地为L1提供动力： → CL：基于哈希的聚合签名升级BLS签名 → DL：基于哈希的DAS承诺升级KZG承诺 → EL：基于哈希的实时zkVM升级EVM重新执行 在精简的CL、DL、EL中都有一颗密码学的瑰宝。 精简工艺 精简以太坊不仅仅是强化和扩展以太坊的蓝图。不仅仅是加倍关注安全性、去中心化和尖端密码学。它是一种美学。一种艺术形式。一种工艺。想想《寿司之梦》中的Jiro。当我们能够走得更远时，我们就会这样做。 极简主义。模块化。封装复杂性。形式验证。可证明的安全性。可证明的最优性。这些都是微妙但重要的技术考虑。请关注将使它们明确的后量子密码学的帖子。 精简遗产 经过10年的精彩历程，精简以太坊是一项世代誓言。无论发生什么，保持以太坊在线。毫不妥协地扩展它。让它值得那些未来的人。 这关乎遗产。我们是建设者，我们是传教士。我们是以太坊。希望你能加入我们。

在 @ziskvm，我们现在正在实时证明以太坊区块——开源并运行在越来越高效的基础设施上。 这是一个早期但重要的里程碑。 今天下午13:00在 EthCC，Redford Stage 加入我，了解更多信息。 #EthCC #ZK #Ethereum #zkVM @eth_proofs

实时证明问答 :) 这是什么？ELI12。 答：一群极客刚刚破解了一个科幻问题：实时证明每个以太坊主网区块。这些zk证明的验证成本比重新执行交易便宜得多——只需几毫秒，无论使用了多少gas。 厚区块，微型验证者。去中心化狂热者欢呼吧。 实时证明不是不可能的天方夜谭吗？ 答：确实是。五年前，我们还差五个数量级。但技术每年以10倍的速度复合增长，现在我们做到了。不要低估指数增长。 此外，关于指数增长： → 不要低估量子计算机破解ECDSA → 不要低估减半对比特币安全性的影响 以太坊L1如何成为“基于且原生的Rollup”？ 答：让我们分解一下。 → 基于：L1提议者排序交易。以太坊L1是基础层——从定义上来说它是基于的。 → 原生：L1通过内置的EVM状态转换函数执行交易。从定义上来说，以太坊L1是原生的，并且永远是。 → Rollup：Rollup具有链上数据和链下执行。通过对主网EVM区块进行snark证明，以太坊L1变成了一个zk Rollup。 Rollup解锁了大gas限制。Base已经达到35兆gas/秒——是以太坊L1的20倍。Base的目标是1千兆gas/秒，以太坊L1也可以达到这个目标。 何时实现千兆gas L1？ 答：Ethproofs第3次会议将专门讨论千兆gas L1——请务必收看。Dankrad在EIP-9698中提议每年gas增加约3倍，或者每两年增加约10倍。这意味着6年内增加1,000倍。值得尊敬——但仍然是初级数字。 我的乐观观点？现在zkVM的性能已经匹配EVM，gas限制可以跟随zkVM的改进。如果我们继续每年增长10倍，那么3年内就能达到1千兆gas/秒。我与Dankrad合作了十多年——现实通常介于他的谨慎和我的乐观之间。 zkVM不是有bug吗？正式验证怎么办？ 答：正式验证是终局——不是第一步。短期策略：zkVM多样性。到第二季度末，一些zkVM将实现实时证明。就像CL和EL客户端一样，任何单个客户端都假定有bug。安全性来自多样性。 低延迟证明能扩展到千兆gas吗？ 答：可以。SNARK证明是高度并行化的。只有初始的x86执行和分块是顺序的。EIP-7825提议限制每笔交易使用的最大gas量。这允许在交易边界轻松分块。并行性扩展。延迟保持低。 下一个zkVM瓶颈是什么？ 功率。可信的1-of-n证明者活跃性意味着家庭证明应该对爱好者可访问。一个合理的目标可能是每个证明集群功耗不超过10kW。 我们如何在10kW预算下将gas限制增长1,000倍？ → 软件：证明系统、电路、算法继续复合增长 → 硬件：摩尔定律+SNARK ASIC → 分布式证明：分散负载，可信地

🤯 实时证明来了 🤯 主网 EVM 区块在不到 1 个以太坊时隙（12 秒）内完成证明。令人起鸡皮疙瘩。 Succinct 证明每个以太坊 L1 区块： → 94% 在 <12 秒内 → 99% 在 <13 秒内 → 99.9% 在 <12 秒内，很快™ 昨天，RISC Zero 发布了一个价值 $120K 的家庭 GPU 集群——预计证明时间为 9.25 秒。Brevis、OpenVM、Snarkify、ZisK、ZKM 即将加入实时俱乐部。 很快™ 我的验证器将在一个 Raspberry Pi Pico 上验证 EVM 区块——一个价格仅为 $5 的板子，功耗小于 1W。我将放弃我的 EL 客户端，转而使用 zkEL。不再需要 1 TB NVMe。再见 Geth，你好 zkReth。无状态且无 RAM 的验证将在单个 CPU 核心上以毫秒级完成。 有了实时证明，1 gigagas/sec（10K TPS）触手可及，同时不会影响验证器的去中心化。从现在开始，预计会定期提高 gas 限制。10% 的权益已经投票支持 60M 限制——你的验证器也可以。 将主网 Snarkify 将以太坊 L1 转变为第一个原生的基于 rollup 的网络。第二阶段。无漏洞。去中心化排序。没有安全委员会。没有治理。L1 将以身作则。 本周五我们庆祝。加入我们参加 Ethproofs 第 2 次电话会议，5 月 23 日 UTC 时间下午 2 点。25 位演讲者，2 小时内容。电话会议开放——请 DM @corcoranwill 获取日历邀请。 我们正在见证历史。相信真实的东西。相信实时证明。

以太坊核心开发者们并不常在推特上谈论他们工作的艰辛，所以让我们来聊聊： 1. 他们合并的每一行代码都能转移比大多数银行一个季度处理的资金还多。没有用于此的预演服务器。 2. 他们在不安排停机时间的情况下，为一个超过4000亿美元的经济体交换共识逻辑。永远如此。 3. 他们协调数百名研究人员、审计员和客户端团队，跨越时区、文化和理念，却像一个单一的思维一样运作。 4. 他们在公众面前完成所有工作，每个决定都被互联网上最喧嚣的观众剖析，但仍然保持合作的氛围。 5. 他们为拥有九位数激励和无限耐心的攻击者设计，然后仍然能安然入睡。 6. 他们保持六个独立客户端完美同步，以确保每个节点的同一区块在世界范围内处于同一高度。 7. 他们将尖端研究转化为生产代码，同时保持对在DeFi出现之前上线的机器的向后兼容性。 8. 他们调试每年只在单个存档节点上发生一次的问题，因为某个地方有人会依赖那个边缘情况。 9. 他们编写的密码学必须在几十年内保持不被破解，而数学本身在他们脚下不断演变。 10. 当升级顺利进行时，外界可能不以为然。但在以太坊内部，我们知道这是一场小奇迹。每次成功的分叉证明去中心化协调可以超越世界上最好的层级结构，并显示开放的互联网资本市场现在是默认的。 感谢你们，真的。 我们欠你们一切。

已将我的验证器配置为60M的Gas限制 ⛽ → 从36M提升66%在Pectra之后是安全的 → 验证者设置限制——用你的投票 → 说明请见PumpTheGas[.]org 什么时候以太坊L1能达到1 gigagas/秒（10K TPS）？ → 需要为消费设备提供zkEVM证明 → Ethproofs电话会议#2：实时证明 → Ethproofs电话会议#3：gigagas L1 相信某些东西

简化 L1

以太坊 R1 简介 — 为以太坊构建的中性 rollup 无令牌。没有私人销售。没有治理崇拜。 只有以太坊价值、公共资金和社区控制。 🧵 为什么R1很重要以及如何加入：

以太坊L1上的1 gigagas/sec（10K TPS）与zkVMs 无妥协： → 消费者硬件（zkVMs） → 家庭互联网（DAS） → 抵制审查（FOCIL） → 100%正常运行时间（客户端多样性） → 8K共识节点 为互联网金融而建。相信真实的东西。

在 Ethproofs 第一次电话会议中揭示了三个新的 zkVM → Ix (Lean 4) 由 @argumentxyz 开发 → StarkV (RISC-V) 由 @StarkWareLtd 开发 → zCray (受 RISC-V 启发) 由 @IrreducibleHW 开发