在 @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 开发

现在直播 - 以太坊的战略转变：恢复主导地位的计划 @ethereumfndn 的研究员 @dankrad 和 @adietrichs 加入 @TrustlessState 和 @MikeIppolito_ 讨论 @ethereum 的身份危机——以及它如何扭转局面。 他们分析了以太坊的文化和组织挑战，向 L1 增长的转变，以及在新领导下以太坊基金会不断演变的角色。讨论涵盖了基础和本地汇总的未来，L2 对齐，以及为什么以太坊的独特价值在竞争激烈的环境中仍然重要。 -------------- 时间戳 0:00 介绍 5:42 以太坊的主要问题 12:33 以太坊第 1 层缺乏增长 27:49 以太坊的路线图困境 38:08 第 1 层扩展进展 39:08 以太坊 L1 对 L2 的价值主张 48:44 基础和本地汇总解释 57:25 汇总世界中的规范 EVM 1:01:26 Vitalik 对 L1 扩展的愿景 1:05:59 ZK 扩展成为现实 1:08:12 快速区块时间和 DeFi 1:16:59 不断发展的以太坊核心文化 1:22:38 其他有趣的变化 1:26:41 以太坊的方向现在感觉不同 1:30:09 结束和披露