尽管生成零知识证明（ZKP）的过程目前速度较慢且成本高昂，但随着专门硬件如FPGA和ASIC的普及，这一状况有望得到改善。随着对隐私计算需求的不断增长，ZKP的语句复杂性也在增加，这使得使用专用硬件来加速证明生成变得越来越必要。这将促使一个完整的ZK和证明行业的诞生，让业余爱好者们能够在自己的CPU上生成证明，或者使用GPU和FPGA来提升效率。

要提高ZKP的生成速度，可以从以下几个方面入手：

1、优化数字向量的乘积计算。通过采用更高效的算法和并行计算，可以加速向量乘积的计算过程，从而缩短生成证明的时间。同时，通过使用更小的域来减少数字向量的规模，也能进一步减少计算时间。

3、优化证明系统的实现。利用更高效的编译器和优化器，可以生成更加高效的代码，从而减少生成证明所需的时间。

在以太坊合并之前，约有2700万张显卡在其网络上运作，算力在5月中达到了1.13P的高峰。随着以太坊的合并，这些算力将转向ETC等分叉链。除了市场上存量庞大的Filecoin（FIL）、AR等算力设备，ZK证明计算可能为矿机硬件提供了新的用武之地。

影响ZKP证明速度的主要有三个维度：证明系统、待证明电路规模和算法软硬件优化。证明系统是基础，而待证明电路的规模则是硬件优化的核心需求之一。例如，zkEVM由于与原生以太坊的兼容性不同，其电路的复杂程度也不同。Zksync和Starkware构建了与原生以太坊不同的虚拟机，从而避免了一些以太坊原生的代码不适合使用zk处理的问题，缩小了电路的复杂度；而Scroll和Hermez等项目则以与底层zkevm兼容为目标，因此其电路设计更为复杂。硬件加速对于设计更复杂的电路的需求更加迫切，但这也是一个具有一定变化程度的问题，对于ZK-EVM也同样如此。

关于Blockchain Academy

关于Geek Cartel

Geekcartel是一家专注于投资早期Web3项目的风险投资机构。我们是一群充满激情和专研知识的极客所组成，团队各来自不同专业的加密背景。我们的使命是为新创公司增加价值，提供技术和运营方面的实际帮助，其包括技术解决方案、安全服务、筹资策略和全球营销等。