一站式 Web3 探索中心 | 去中心化应用商店 & Web3 线下活动

热门话题

soispoke.eth

Robust Incentives Group 研究@ethereum

soispoke.eth 已转发

看到这么多主要的L2现在处于第一阶段，真是令人惊叹。在我看来，我们下一个目标应该是实现快速（<1小时）提款时间，这需要通过有效性（即ZK）证明系统来实现。我认为这比第二阶段更为重要。快速提款时间很重要，因为等待一周才能提款对人们来说实在是太长了，即使是基于意图的桥接（例如ERC-7683），如果流动性提供者必须等待一周，资本成本也会变得过高。这会导致人们更倾向于使用具有不可接受信任假设的解决方案（例如多重签名/MPC），这破坏了使用L2而不是完全独立的L1的整个意义。如果我们能将本地提款时间缩短到短期内1小时以内，中期12秒，那么我们可以进一步巩固以太坊L1作为发行资产的默认场所，以及以太坊生态系统的经济中心。为此，我们需要摆脱乐观证明系统，因为这些系统本质上需要等待多天才能提款。历史上，ZK证明技术一直不成熟且成本高，这使得乐观证明成为明智和安全的选择。但最近，这种情况正在迅速改变。是跟踪ZK-EVM证明进展的绝佳地方，这些证明正在迅速改善。ZK证明的形式验证也在进步。今年早些时候，我提出了一种2-of-3 ZK + OP + TEE证明系统策略，旨在在安全性、速度和成熟度之间找到平衡： * 2 of 3系统（ZK，OP）是无信任的，因此没有单一参与者（包括TEE制造商或侧信道攻击者）可以通过违反信任假设来破坏证明系统 * 2 of 3系统（ZK，TEE）是即时的，因此在正常情况下可以快速提款 * 2 of 3系统（TEE，OP）在各种环境中已经投入生产多年这是一种方法；也许人们会选择ZK + ZK + OP平局，或ZK + ZK + 安全委员会平局。我对此没有强烈的看法，我关心的是根本目标，即在正常情况下快速且安全。有了这样的证明系统，快速结算的唯一瓶颈就是在链上提交证明的燃气成本。这就是为什么我说短期内每小时一次：如果你尝试更频繁地提交一个500k+燃气的ZK证明（或一个5m燃气的STARK），会增加很高的额外成本。从长远来看，我们可以通过聚合来解决这个问题：来自N个rollup的N个证明（加上来自隐私协议用户的交易）可以被一个单一的证明替代，该证明证明了N个证明的有效性。这在每个时隙提交一次变得经济可行，从而实现最终目标：通过L1实现近乎即时的本地跨L2资产转移。让我们共同努力实现这一目标。

soispoke.eth 已转发

昨天以太坊迎来了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年的精彩历程，精简以太坊是一项世代誓言。无论发生什么，保持以太坊在线。毫不妥协地扩展它。让它值得那些未来的人。这关乎遗产。我们是建设者，我们是传教士。我们是以太坊。希望你能加入我们。