
vitalik.eth|2025年08月06日 16:30
令人惊讶的是,在第一阶段看到这么多主要的L2。
在我看来,我们应该追求的下一个目标是通过有效性(又名ZK)证明系统实现快速(<1h)的提款时间。
我认为这比第二阶段更重要。
快速提款时间很重要,因为等待一周的提款时间对人们来说太长了,即使是基于意图的桥接(例如ERC-7683),如果流动性提供者必须等待一周,资金成本也会变得太高。这就产生了巨大的动机,促使人们转而使用具有不可接受的信任假设的解决方案(例如多重图片/MPC),这破坏了L2而不是完全独立的L1的全部意义。
如果我们能够将本地提款时间短期减少到1小时以下,中期减少到12秒以下,那么我们就可以进一步巩固以太坊L1作为发行资产的默认地点和以太坊生态系统的经济中心。
要做到这一点,我们需要摆脱乐观的证明系统,这种系统本质上需要等待数天才能撤回。
从历史上看,ZK证明技术一直不成熟且昂贵,这使得乐观证明成为明智和安全的选择。但最近,这种情况正在迅速改变。https://ethproofs.org/是跟踪正在迅速改进的ZK-EVM证明进展的绝佳场所。ZK证明的形式化验证也在推进。
今年早些时候,我提出了一种3选2的ZK+neneneba OP+TEE验证系统策略,该策略在安全性、速度和成熟度之间穿针引线:
https://ethereum-magicians.org/t/a-simple-l2-security-and-finalization-roadmap/23309
*3个系统中的2个(ZK、OP)是不可信任的,因此任何单个参与者(包括TEE制造商或侧通道攻击者)都不能通过违反信任假设来破坏证明系统
*3个系统中的2个(ZK、TEE)是即时的,因此在正常情况下您可以快速提款
*3个系统中的2个(TEE、OP)已在各种环境中投入生产多年
这是one办法;也许人们会选择做ZK+ZK+neneneba OP抢七,或者ZK+ZK+安理会抢七。我在这里没有强烈的意见,我关心的是潜在的目标,即快速(在正常情况下)和安全。
有了这样的证明系统,快速结算的唯一瓶颈就是在链上提交证明的gas成本。这就是为什么短期内我说每小时一次:如果你试图更频繁地提交500k+天然气ZK证明(或5m天然气STARK),它会增加很高的额外成本。
从长远来看,我们可以通过聚合来解决这个问题:来自N个汇总的N个证明(加上来自隐私协议用户的tx)可以被证明N个证明有效性的单个证明所取代。这使得每个插槽提交一次变得经济,从而实现了最终游戏:通过L1近乎即时的本地跨L2资产移动。
让我们共同努力实现这一目标。
分享至:
热门快讯
APP下载
X
Telegram
复制链接