Vitalik Buterin香港主旨演讲:协议过去10年迅速发展,但存在效率、安全两大问题
2024年,以太坊联合创始人Vitalik Buterin在Web3学者峰会上发表主旨演讲,介绍了基于密码学的协议发展情况。他指出当前技术存在效率和安全问题,提出了解决方法,包括并行化、聚合树、提升效率和利用AI解决漏洞。他强调降低节点需求和采用简单协议来提高签名聚合效率,并呼吁思考如何达到协议设计的极限。
原文作者:Weilin
原文来源:PANews
2024 香港 Web3 嘉年华期间,以太坊联合创始人 Vitalik Buterin 在由DRK Lab主办的“Web3 学者峰会 2024”上发表主旨演讲《Reaching the Limits of Protocol Design》。
他介绍到,2010年代,基于基本密码学的协议是哈希、签名。随后,协议发展迅速。2020年代,基于高级密码学的协议有ZK-SNARKS、2PC、MPC、FHE(完全同态加密)、聚合(包括通过IVC、ICD等方式),还有高级P2P网络。
Vitalik 表示,当前ZK-SNARKs、MPC、FHE等技术存在效率与安全问题,其中,以太坊Slot出块时间为12秒,“普通”区块验证时间约为400毫秒,ZK-SNARK证明时间约为20分钟,以太坊的目标是实现实时证明。其中效率问题有几个解决方法,包括并行化(Parallelization),聚合树(aggregation trees)、提升效率(用 SNARK 算法和哈希),以及 ASIC加速硬件解决。
而ZK-SNARKs 电路漏洞问题可由安全委员会、多证明机制(multi-provers)来解决。未来, AI 可以进行帮助debug,进一步及进行解决。
关于【Vitalik Buterin香港主旨演讲:协议过去10年迅速发展,但存在效率、安全两大问题】的延伸阅读
公共物品系列:升级以太坊——激励层
作者Ben Edgington是一位以太坊权益证明协议专家,正在撰写一本关于以太坊升级的权威技术书籍。本文介绍了以太坊2.0的质押机制和经济激励措施,以及如何平衡参与度和最终确定性时间。作者建议阅读相关著作来深入了解权益证明协议的设计和挑战。文章还探讨了如何量化信标链的安全性,并提出了一些关于可扩展性和模块化的想法。最后,作者提出了一些读者练习。
Galaxy硬核报告:七大案例看懂以太坊治理流程
本文介绍了以太坊的治理流程和机构,以及历史事件。以太坊通过链下决策流程和在线论坛进行治理,擅长部署硬分叉,需要数千名用户的协调。任何人都可以提出改进提案,以太坊生态系统中的每个用户和利益相关者都可以参与治理。以太坊有多个客户端团队,受到来自各种机构的资助。最近,以太坊向PoS过渡完成,但仍有许多改变协议的计划。以太坊治理复杂,受社会规范和叙述影响,需要考虑社会规范对未来的影响。
“我认为一个有趣的未来方向是使用人工智能工具,潜在地使用新工具进行形式验证。比如证明zkEVM中没有漏洞。”他说,”也许我们将来可能真的能够实现一个没有bug的世界。这有点疯狂。”
此外,在谈到签名聚合效率时,Vitalik Buterin指出当前情况是每个时隙约有30000个签名,这需要高节点需求。期望目标是尽可能支持更多的验证者,同时降低节点需求,采用相对简单的协议。而根据理论限制,每个参与者每个时隙需要1 bit的数据,计算方面没有下限限制。
“所以结论是,基本上,我们需要考虑的是我们需要协议来达到你能用密码学做的极限,我们已经到了这样的地步,我们的密码学比几十年前强大得多,但它可以更强大,在这一点上,我认为我们真的需要开始考虑什么是上限,以及我们如何才能真正达到上限。”Vitalik在结尾时说。
免责声明:本文仅代表作者个人观点,不代表链观CHAINLOOK立场,不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险,以及遵守所在国家和地区的相关法律法规。
图文来源:Weilin,如有侵权请联系删除。转载或引用请注明文章出处!
标签:Vitalik