网站制作营销型,网络营销策划方案3000字,简单广告设计软件,官网静态html模板2024 香港 Web3 嘉年华期间#xff0c;以太坊联合创始人 Vitalik Buterin 在由DRK Lab主办的“Web3 学者峰会 2024”上发表主旨演讲《Reaching the Limits of Protocol Design》。
他介绍到#xff0c;2010年代#xff0c;基于基本密码学的协议是哈希、签名。随后#xff…2024 香港 Web3 嘉年华期间以太坊联合创始人 Vitalik Buterin 在由DRK Lab主办的“Web3 学者峰会 2024”上发表主旨演讲《Reaching the Limits of Protocol Design》。
他介绍到2010年代基于基本密码学的协议是哈希、签名。随后协议发展迅速。2020年代基于高级密码学的协议有ZK-SNARKS、2PC、MPC、FHE完全同态加密、聚合包括通过IVC、ICD等方式还有高级P2P网络。 我该如何安全的参与币圈 遇到困难参考教程: http://www.btcwbo.com/94.html
Vitalik 表示当前ZK-SNARKs、MPC、FHE等技术存在效率与安全问题其中以太坊Slot出块时间为12秒“普通”区块验证时间约为400毫秒ZK-SNARK证明时间约为20分钟以太坊的目标是实现实时证明。其中效率问题有几个解决方法包括并行化Parallelization聚合树aggregation trees、提升效率用 SNARK 算法和哈希以及 ASIC加速硬件解决。
Vitalik Buterin香港主旨演讲协议过去10年迅速发展但存在效率、安全两大问题 而ZK-SNARKs 电路漏洞问题可由安全委员会、多证明机制multi-provers来解决。未来 AI 可以进行帮助debug进一步及进行解决。
“我认为一个有趣的未来方向是使用人工智能工具潜在地使用新工具进行形式验证。比如证明zkEVM中没有漏洞。”他说”也许我们将来可能真的能够实现一个没有bug的世界。这有点疯狂。”
此外在谈到签名聚合效率时Vitalik Buterin指出当前情况是每个时隙约有30000个签名这需要高节点需求。期望目标是尽可能支持更多的验证者同时降低节点需求采用相对简单的协议。而根据理论限制每个参与者每个时隙需要1 bit的数据计算方面没有下限限制。
“所以结论是基本上我们需要考虑的是我们需要协议来达到你能用密码学做的极限我们已经到了这样的地步我们的密码学比几十年前强大得多但它可以更强大在这一点上我认为我们真的需要开始考虑什么是上限以及我们如何才能真正达到上限。”Vitalik在结尾时说。
**本文仅代表原作者观点不构成任何投资意见或建议。
转载请注明比特币区块链时代 » Vitalik Buterin香港主旨演讲协议过去10年迅速发展但存在效率、安全两大问题
