2024 香港 Web3 嘉年华期间，以太坊联合创始人 Vitalik Buterin 在由DRK Lab主办的"Web3 学者峰会 2024”上发表主旨演讲《Reaching the Limits of Protocol Design》。
演讲中，Vitalik Buterin 回顾了过去十年中加密技术领域的巨大变化。他指出，比特币在2009年诞生时所使用的加密技术相对简单，主要包括哈希和椭圆曲线签名等基本密码学技术。
然而随着时间的推移，新型加密技术如零知识证明（ZK-SNARKs）、多方计算（MPC）和全同态加密（FHE）、聚合（包括通过 IVC、ICD 等方式)等开始崭露头角，并在区块链领域得到了广泛应用。
Vitalik Buterin 尤其强调了ZK-SNARKs在隐私保护和可扩展性方面的重要性。
他指出，虽然区块链技术带来了开放性和全球可验证性等优势，但也面临着隐私和可扩展性等挑战。
ZK-SNARKs作为一种强大的加密技术，为解决这些问题提供了新的可能性，使得在保护用户隐私的同时实现了可扩展性的提升。
但当前 ZK-SNARKs、MPC、FHE 等技术也存在一定程度上的效率与安全问题，其中，以太坊 Slot 出块时间为 12 秒，“普通”区块验证时间约为 400 毫秒，ZK-SNARK 证明时间约为 20 分钟，虽然还是挺长时间的，但要知道的是在两年前ZK-SNARK 证明时间是5个小时，这个发展的速度已经很快了，以太坊的目标是实现实时证明。
在演讲的后半部分，Buterin 重点探讨了如何进一步提高加密技术的效率和安全性。他提出了一些可能的解决方案，包括并行化（Parallelization），聚合树（aggregation trees）、提升效率（用 SNARK 算法和哈希），以及 ASIC 加速硬件解决。
而 ZK-SNARKs 电路漏洞问题可由安全委员会、多证明机制（multi-provers）来解决。
V神：“我认为一个有趣的未来方向是使用人工智能工具，潜在地使用新工具进行形式验证。比如证明 zkEVM 中没有漏洞。也许我们将来可能真的能够实现一个没有 bug 的世界。这有点疯狂。”
此外，在谈到签名聚合效率时，Vitalik Buterin 指出当前情况是每个时隙约有 30000 个签名，这需要高节点需求。
期望目标是尽可能支持更多的验证者，同时降低节点需求，采用相对简单的协议。而根据理论限制，每个参与者每个时隙需要 1 bit 的数据，计算方面没有下限限制。
“所以结论是，基本上我们需要考虑的是我们需要协议来达到你能用密码学做的极限，我们已经到了这样的地步，我们的密码学比几十年前强大得多，但它可以更强大，在这一点上，我认为我们真的需要开始考虑什么是上限，以及我们如何才能真正达到上限。”Vitalik 在结尾时说。
总之Vitalik Buterin 在 Web3 学者峰会上的演讲深入探讨了加密技术的发展趋势和面临的挑战，为加密领域的研究和应用指明了方向。
他的观点和见解不仅对于加密技术的进一步发展具有重要意义，也对于推动区块链和加密货币领域的创新和进步起到了积极作用。
原文：Odaily
编译：koki in cloak
注：部分图片来源于网络，如有侵权请联系删除
本文仅做知识分享，不代表情报处观点，不构成任何投资建议
地址：0xd4E129dB6cf93b2aeB90FD71002B278C79b557a7
