zkVM：以太坊扩容的未来

尽管ZKP生产速度缓慢且昂贵，但随着特殊硬件如FPGA和ASIC的普及，其效率将得到大幅提升。随着隐私计算需求日益增长，ZKP的语句复杂性将进一步增加，只能通过使用专门的硬件来提高证明生成速度。这将促成一个完整的ZK**和证明行业的出现，业余爱好者们可以在自己的CPU上生成证明或使用GPU和FPGA。

1、优化数字向量的乘积计算。可以使用更高效的算法和并行计算来加速向量乘积的计算，从而减少生成证明所需的时间。此外，可以通过使用更小的域来减少数字向量的大小，进一步减少计算时间。

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

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

影响zkp证明速度的主要有三个维度：证明系统、待证明电路规模和算法软硬件优化。

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

About Blockchain Academy

About Geek Cartel

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