通用的ZK证明生成层 Fermah

<!--StartFragment-->

在推特上看到了一篇对 Fermah 联合创始人兼 CEO Vanishree Rao 的采访，其中有两个问题值得关注： （1）零知识证明在区块链中的发展经历了三个重要阶段，从专用电路到通用 zkVM 的演变，再到对专用电路的重拾； （2）ZK 领域当前最紧迫的两个挑战——改进证明基础设施以提升效率和经济性，以及保护敏感数据的隐私安全。

<!--EndFragment-->

零知识证明在区块链中的发展经历了三个阶段：

1. 首先是早期增长：业界兴趣的提升推动了如Zcash等项目中更高效、更标准化的证明系统；
2. zk的引入：为了降低开发门槛，开发重心逐渐从特定的ZK电路转向支持通用虚拟机（zkVM），使开发者可以使用标准化虚拟机来实现隐私功能。
3. 专用电路的回归：随着项目成熟，对专用ZK电路的兴趣重新增加，以优先考虑性能需求。

项目在专业化和通用化之间的选择通常取决于其成熟度和特定性能要求。

<!--StartFragment-->

当今ZK领域最紧迫的两个挑战：

1. 关键挑战在于证明基础设施。采用ZK技术需要多个层次的参与：确定要证明的业务逻辑、选择正确的证明系统、设置合适的硬件以及协调整个证明生成和结算过程。 大多数层都取得了实质性进展，但基础设施层仍然存在差距。这也正是Fermah诞生的原因——这是一个通用的证明生成层，它抽象了设置和运行证明基础设施的复杂性。我们专注于优化激励机制等问题，以确保证明生成的经济可行性和可靠性，而不会牺牲性能。
2. 另一个挑战是证明涉及敏感信息的计算时的数据隐私。这就是我们致力于数据保护证明委托的原因，它结合了零知识证明、多方计算和可信执行环境，允许在不暴露敏感数据的情况下进行安全证明。

<!--EndFragment-->

<!--StartFragment-->

一个通用的ZK证明生成层项目Fermah

它的功能类似于一个市场，其中供应方由 GPU 和 FPGA 等机器组成。最初，供应方由 EigenLayer Operators 引导。在需求方，寻求者可以请求 Fermah 为使用 ZK 的任何实例生成证明 — 无论是 zkRollups、ZK bridges、zkCoprocessors、ZKML 还是其他任何东西。

<!--StartFragment-->

Fermah 解决了什么问题？

生成证明极其耗费资源：它需要昂贵、强大的物理基础设施。对于开发人员来说，获取、部署和维护这些基础设施是一个障碍。即使他们设法做到了，这些基础设施中的大多数在绝大多数时间里都没有得到利用。这些硬件的利用率不足导致用户为 ZKP 交易支付的价格过高。总体而言，目前的证明生成成本高昂、速度慢且不可靠。

Fermah 旨在适应任何证明系统。

以下是目前支持的证明系统：

1. 由 a16z 提供的 Jolt
2. Jens Groth 的 Groth16
3. RISC Zero zkVM
4. Lita 的 Valida
5. Starkware 的 Stwo
6. Succinct Labs 的 SP1

很快，还将支持：

1. Nexus 2.0 zkVM
2. Starkware 的 Stone
3. Aztec 证明系统

<!--EndFragment-->

<!--EndFragment-->