以太坊联合创始人Vitalik Buterin为密码学界一个长期存在的问题给出了具体数字：先进的隐私与验证工具距离普通计算成本还有多远。在9月6日发布的一篇文章中，Buterin给出60%的概率，认为SNARKs、全同态加密（FHE）和不可区分混淆（iO）最终将以低于10倍的计算开销运行，这一开销通过总能耗和摊销计算成本来衡量。他还认为三者有33%的机会在平均真实世界计算中接近1+ε的开销。

Ethereum co-founder Vitalik Buterin said he believes there is a 60% chance that SNARKs, fully homomorphic encryption and indistinguishability obfuscation could eventually be implemented with single-digit… pic.twitter.com/kdtCcHwajq — Wu Blockchain (@WuBlockchain) September 6, 2026

这一区分很重要，因为时间范围比标题概率所暗示的更窄。Buterin并未表示三项技术都会在2030年前跨越10倍以下门槛，而是说至少有一项可能在本十年末达到个位数开销，其中SNARKs是最有可能的候选者。这一表述源于应用密码学中的一个长期难题：这三项技术在理论上已可行多年——FHE最早由Craig Gentry于2009年构造——但其计算成本使其主要局限于研究环境，而非生产系统。

SNARKs引领迈向10倍以下计算成本的进程

SNARKs允许系统证明某项计算被正确执行，而无需每个验证者重复整个过程。因此，它们已成为以太坊零知识扩展模型的核心。零知识Rollup已经在使用这一方法：在以太坊基础层之外处理批量交易，然后向主网提交有效性证明，使网络能够在保持以太坊安全保障的同时验证这些交易。

然而，证明生成仍然是一个主要制约因素。复杂的证明仍需要大量算力，某些工作负载还依赖专用硬件。尽管如此，Buterin表示效率差距正在开始缩小。8月，他强调的研究显示，某些大语言模型推理工作负载的证明开销正接近10倍以下。他还指出了专用哈希函数，其个位数开销已经实现。

随着证明成本下降，这一改进可能对以太坊的未来架构产生直接影响。网络的zkEVM路线图设想由验证者验证整个区块的证明，而不是独立重放每一笔交易。因此，足够高效的证明生成可以让以太坊提高gas上限，而无需验证者硬件成比例增加，从而使更低成本的SNARKs与可扩展性和验证者效率都密切相关。这一趋势在更广泛的零知识生态系统中也可见一斑，证明系统经历了旨在缩短证明时间和降低硬件依赖的一系列优化努力。

FHE和iO面临更高障碍

SNARKs专注于验证计算，而FHE解决的是另一个问题：隐私。它允许直接在加密数据上运行计算，而无需先揭示底层信息。NIST将FHE描述为一种隐私增强技术，可以在不访问秘密解密密钥的情况下对加密数据应用任意函数。对区块链而言，这一能力可以支持私密自动做市商、机密借贷市场和密封拍卖——这些应用在以太坊的隐私路线图中被直接提及。然而，FHE的计算成本仍显著高于普通明文处理，因此达到10倍以下开销将是迈向更广泛实际应用的重要一步。

不可区分混淆则面临更严峻的挑战。该技术旨在转换软件同时保留其功能，使等价的混淆程序在计算上不可区分。近期研究加强了iO的理论基础，但其实际成本仍然极高；Buterin曾将传统构造描述为计算开销上几乎是“星际级”的。为降低这些成本，他近期的工作探索了包括diamond iO和局部混合（local mixing）在内的方法。Diamond iO降低了理论负担但仍不实用，而局部混合采取了另一条路线，其安全性尚未得到证明。

尽管如此，每项技术都针对更广泛密码学问题的不同方面。更廉价的SNARKs可以让可验证计算变得更加常规，FHE可以扩展共享数据上的私密计算，而高效的iO则有助于保护可执行软件的内部逻辑。目前，Buterin的60%估计仍属于个人概率评估，而非以太坊路线图承诺。

来源：Blockonomi