密码学

Vitalik:需要用密码学达到协议的极限,同时优化效率和提升安全性

ChainCatcher 消息,2024 香港 Web3 嘉年华中,以太坊联合创始人 Vitalik Buterin 在由 DRK Lab 主办的 “Web3学者峰会 2024” 发表主旨演讲《Reaching the Limits of Protocol Design》,其表示,当前 ZK-SNARKs、MPC、FHE 等技术存在效率与安全问题,其中,以太坊 Slot 出块时间为 12 秒,“普通”区块验证时间约为 400 毫秒,ZK-SNARK 证明时间约为 20 分钟,以太坊的目标是实现实时证明。对于当前效率低下问题,Vitalik 表示解决方案为“并行化与聚合树”(Parallelization + aggregation trees)、使用 SNARK algos 与哈希提升效率、使用 ASIC 进行 ZK 硬件加速。 此外,Vitalik 表示,“ZK-SNARKs、MPC、FHE(完全同态加密)和 BLS 聚合等基于高级密码学的协议虽发展迅速,但同时也存在效率和安全问题,其中效率问题可用并行化和 aggregation trees、提升效率(用SNARK 算法和哈希),以及 ASIC 来解决;ZK-SNARK 电路漏洞问题可由安全委员会、multi-provers 来解决,未来可用AI形式验证来解决。我们需要用密码学达到协议的极限,同时优化效率和提升安全性。” Vitalik 指出,当前签名聚合效率为每个 slot 约 30000 个签名,节点要求高,期望的目标是支持尽可能多的验证器,节点要求低,协议相当简单。

Vitalik 最新博文阐述对技术乐观主义、AI 风险、区块链和密码学等的看法

ChainCatcher 消息,Vitalik Buterin 在最新博文《My techno-optimism》中,阐述了对最近围绕技术乐观主义、人工智能风险以及避免 21 世纪极端中心化方法争论、区块链和密码学等看法。 其中,Vitalik 表示,人工智能与其他技术有着根本的不同,值得特别小心。在以太坊中,他们有意试图确保堆栈的许多部分都是去中心化的:确保没有一个单一的代码库控制超过一半的权益证明网络,试图抵制大型权益池的主导地位,改善地理分散等。基本上,以太坊实际上正试图实现一个基于市场的社会的古老自由主义梦想。在某种程度上,这是有效的:Prysm 客户端的主导地位从 70% 以上下降到 45% 以下。但这并不是一种自动的市场过程:这是人类意愿和协调行动的结果。 区块链使能够创建具有“共享硬盘驱动器”的经济和社会结构,而无需依赖于中央化的行为体。加密货币使个人能够储存资金并进行金融交易,就像在互联网出现之前使用现金一样,而无需依赖于可能随意改变规则的信任第三方。它们还可以充当备用的反伪造机制,使攻击和垃圾邮件对那些没有或不想透露其真实身份的用户来说变得昂贵。 账户抽象化,尤其是社交恢复钱包,可以保护我们的加密资产,未来还有可能保护其他类资产,而不过分依赖于中心化的中介机构。 零知识证明可用于隐私保护,使用户能够证明关于自己的事情,而无需透露私人信息。例如,将数字护照签名封装在 ZK-SNARK 中,以证明你是某个国家的独特公民,而不必透露你是具体哪个公民。类似这样的技术可以让我们保持隐私和匿名性的好处,同时仍然能够获得安全性保证,并打击垃圾邮件和不良行为者。
2023-11-28
ChainCatcher 与创新者共建Web3世界