我们很高兴地宣布，我们与蚂蚁链 OpenLabs合作，为 SP1 开发 FPGA 加速。蚂蚁链是蚂蚁数字科技（由蚂蚁集团孵化）的子公司，也是中国跨国公司蚂蚁集团和阿里巴巴集团的子公司。蚂蚁链已成功利用 FPGA 实现 SP1 的性能，较 CPU 提升了 20 倍。他们将在 Succinct Prover Network 上提供 FPGA 加速的 SP1 证明。
过去，SP1 一直使用 CPU 和 GPU 等通用硬件进行加速。虽然我们已经看到这些平台的强劲性能，但我们相信，通过投资定制芯片，可以开启新的发展轨迹。AMD Alveo U55C FPGA 上的基准测试表明，该加速器的早期研究预览版速度已比 CPU 快 15-20 倍，这展现了专用硬件的巨大潜力。FPGA 是迈向 ASIC 的理想基石，使我们能够在投入芯片之前验证和迭代定制设计。
这使得 SP1 成为首款具备端到端 FPGA 硬件加速、可投入生产的 RISC-V zkVM，这一承诺使我们在竞争中保持领先地位。更令人兴奋的是，Zan（负责 FPGA 工作的硬件团队）将加入 Succinct Prover Network，为 SP1 生态系统带来持续提升的性能。这充分证明了 Prover Network 能够协调激励机制，鼓励外部硬件团队加速 SP1 并从中直接受益。
在后台，FPGA 加速器由Zetta驱动，Zetta 是专为 SP1 开发的 FPGA 架构。Zetta 基于 AMD Alveo U55C 实现，旨在通过用于 CosetNTT 运算、Merkle 树生成以及向量化计算（例如置换迹生成和 FRI 折叠）的自定义模块来加速 SP1 的证明生成流水线。其模块化设计通过 CrossBar 和数据总线连接到高带宽内存 (HBM)，以实现高效的并行数据移动，并通过 PCIe 与主机接口。通过支持可编程指令序列，Zetta 还可以灵活地加速 SP1 内部的任何电路组，包括尚未开发的电路组。
AntChain OpenLabs 针对 SP1 v4.1.0 的 CPU 实现对 Zetta 进行了基准测试，重点关注核心证明器和压缩证明器的端到端性能。下表重点展示了 zkvm-perf 基准测试套件中一系列程序的性能提升。
我们很高兴能与蚂蚁链 OpenLabs 继续合作开发 FPGA 加速器，并坚信这项工作将大幅降低客户的验证成本。您可以阅读他们的博客文章，了解更多关于 Zetta 的架构和基准测试的信息。
在 Succinct，我们致力于突破 SP1 的极限，不仅在安全性和开发者体验方面，更在原始性能方面。FPGA 加速器只是我们更广泛路线图的一部分，该路线图旨在重新定义零知识证明的速度和可扩展性。敬请关注更多进展，包括我们最近在SP1 Hypercube方面的工作以及实时证明方面的突破，我们将继续拓展 SP1 的功能边界。