Cysic 今日发布了首个开源零知识虚拟机（zkVM）的 FPGA 实现，旨在加速以太坊 Layer 2 网络的 ZK 证明生成。该代码已在 GitHub 上以 Apache 2.0 和 MIT 许可证发布，包含 Cysic 开源 zkVM Venus 的完整证明流水线，并以宽松许可方式供研究人员和开发者学习、修改和部署。
FPGA（现场可编程门阵列）运行 ZK 证明计算的速度比通用 CPU 或 GPU 快数个数量级，且能效更高。如果被 Rollup 运营者和证明者网络采用，该技术可将 ZK-Rollup 成本降低至与 Optimistic Rollup 竞争的水平，从而可能实现包括私有稳定币支付、隐私保护身份验证、本地设备上的可验证 AI 以及具有即时最终性的链上游戏等消费者应用。该代码目前正在积极开发中，尚未经过生产环境使用审计。
