
维塔利克·布特林量化评估三大密码学技术的实用化前景
以太坊联合创始人维塔利克·布特林在9月6日发布的一则分析中,针对零知识证明、全同态加密及不可区分混淆等高级密码学工具,提出其在实际应用中实现低于十倍计算开销的综合概率为60%。该评估基于总能耗与摊销计算费用的双重标准,并进一步指出,这三项技术最终逼近近乎无额外开销(即1+ε)状态的可能性约为33%。
SNARKs有望率先达成个位数开销,推动以太坊架构演进
相较于其他两种技术,简洁非交互式零知识论证(SNARKs)在降低验证成本方面展现出显著领先优势。其核心价值在于允许系统生成计算正确性的证明,而无需每个节点重复执行完整过程,从而大幅减少网络验证负担。目前,零知识Rollups已广泛采用此机制,在链外处理交易批次后提交有效性证明至主网,保障安全性的同时提升吞吐量。
尽管证明生成仍依赖高算力资源,甚至部分场景需专用硬件支持,但近期研究显示,某些大型语言模型推理任务的证明开销已趋近十倍以下阈值。此外,特定哈希函数已在实践中实现单数字级开销。随着效率持续优化,未来若能实现低成本生成,将极大助力以太坊推进全区块验证的zkEVM路线图——即由验证器统一验证整批交易的证明,而非逐笔重放,从而在不显著增加硬件要求的前提下,支持更高Gas上限。
FHE与iO面临更严峻的实用效率挑战
全同态加密(FHE)专注于数据隐私保护,使计算可在加密状态下直接进行,无需解密即可操作原始信息。这一特性对构建私有自动做市商、保密借贷协议和密封拍卖等应用场景具有重要意义。然而,其当前计算开销远高于常规明文运算,因此能否跨越十倍成本门槛,将成为决定其是否具备广泛应用潜力的关键节点。
不可区分混淆(iO)则致力于在保持功能不变的前提下,将程序转换为难以辨识的等效形式。尽管近年来理论基础不断夯实,但其实际运行成本仍处于极高水平,布特林曾形容传统方案的代价相当于“整个银河系”的计算资源消耗。为应对这一难题,他正探索钻石型iO与局部混合等新型构造路径,前者虽减轻理论负担但仍不具可行性,后者则因安全性尚未验证而存在不确定性。
总体而言,三类技术分别解决不同层面的密码学难题:高效SNARKs促进可验证计算普及,FHE拓展加密数据上的通用计算能力,iO则强化软件逻辑的保密性。然而,布特林所给出的60%概率仅为个人判断,尚未构成以太坊官方路线图中的承诺或目标。
