。 与 GPU 一样,FPGA 也是可编程的,在运行时可重新配置,能够根据系统规格和特定应用重复用于不同的算法,通用性与灵活性更高。同时,FPGA 也更适合 FFT、NTT 计算类型。说到底,在 FPGA 硬件研发出来之后,它也变成了一种软件游戏。此外,虽然单个 FPGA 打不过 GPU,但是很多个 FPGA 连在一起,性能就比 GPU 高出很多倍。同时,顶级 FPGA 要比顶级 GPU 的硬件成本便宜 3 倍。在能耗比上,由于 GPU 需连接主机设备,而主机设备耗电严重,因此 FPGA 的能效要高上 10 倍。但是,相比于 GPU,FPGA 芯片的获取成本,和供应链的配套需求相对较高。 ASIC 是一种为了满足某种特定需求而定制的专用芯片,其性能之高、算力之强已经被包括 Cysic 在内的 ZK 硬件加速厂商视为终极解决方案。但 ASIC 的业务逻辑是「一次写入」,不可编程,只能针对特定的单一任务,无法并行处理多个 ZK 算法。ASIC 在性能与能耗上都优于 GPU 与 FPGA,但需要的生产周期较长。此外,作为一个资本密集型游戏,ASIC 的生产成本也要更高。 来源:Amber Group 综合比较下来,我们也就能够理解为什么 Cysic 首先选择了自研 FPGA 加速硬件。因为在 ASIC 尚不具备通用性、成本过高、上市时间长的情况下,FPGA 是过渡时期抢占市场的最佳方案。具体来说,Cysic 的 FPGA 硬件能够适应 Halo2、RapidSnark、Plonky2x 等多种 ZK 证明系统,可以执行当今所有主流的 ZK 算法(指的是 ZK 证明生成中的计算操作)。换言之,凡是存在 ZK 计算场景的算力需求,FPGA 都能够适应,包括 ZK Rollup、ZKML、ZK Bridge 等等。同时,ZK 证明生成不仅对计算要求很高,而且对内存要求同样很高。今天 Scroll zkEVM 电路的证明生成需要至少 280 GB 的 RAM,面对这种需求,FPGA 则可以不断堆加,进行内存扩容。 自研 FPGA 也不代表 Cysic 放弃了 GPU 与 ASIC。Cysic 也在研发基于 GPU 的硬件加速方案,试图提供更灵活的 ZK、AI 计算的加速服务。目前,Cysic GPU 算力网络已经链接了数十万张高阶 3090/4090 算力显卡。 Cysic 显卡与机房 而他们的内部数据已经显示,Cysic CUDA SDK 比最新的开源框架提速了 50%-80% 以上,并且使用该 GPU SDK 为多个顶级 ZK 项目方提供证明生成服务。同时,Cysic 关于 ASIC 的设计和流片工作也在进行之中。 ZKP + DePIN:Cysic Network 的星辰大海 如果仅仅只是 ZKP 加速硬件,那么 Cysic 似乎无需过多笔墨点缀。但在 Helium Mobile 疯狂在前、io.net 爆火在后的 2024,DePIN 的出现也给了 Cysic 更多的想象空间。 Cysic 真正要做的是一个基于 ZKP 硬件加速的 Prover Network。它不仅要将 FPGA、GPU、ASIC 等自研硬件接入 Prover Network,还将允许社区用户提供各种类型的算力,通过构建一个去中心化算力网络给 ZK 证明生成计算增加经济激励与治理。 可以说,通过 Prover Network,Cysic 将一个面向 B 端的加速服务彻底向 C 端用户开放,成为 ZK 项目方、算力提供商与社区验证者之间的桥梁,这在当前 ZKP 硬件加速市场上绝无仅有。在此之前,普通用户不仅难以理解 ZKP,也很难说购买专用硬件给 ZKP 加速。但 Cysic 网络不再需要用户掌握专业知识,由于其通用性,用户只需提供算力即可进入 ZKP 算力网络。试想一下,整个网络中的用户越多,算力越多,ZK 证明速度也会越快,秒级别的「实时证明」也将指日可待。 事实上,以太坊在 The Merge 合并后,原先的 PoW 矿工手上留有大量闲置的 GPU,对 Prover Network 来说这个存量市场可太宝贵了。不过,大多数人可能并没有相应的硬件参与 DePIN 网络。怎么办?如何才能引入更多的社区用户,做大增量市场?Cysic 做了一些 make sense 的事情,他们最近设计了两款 ZK DePIN 芯片 / 设备,分别是 ZK Air 和 ZK Pro,预计将于 2025 年上市。 如上图所示,ZK Air 的大小和充电宝 / 笔记本电脑电源接近。这是一种轻量级便携式的 ZK DePIN 设备,其算力大于顶级消费级显卡,用户可通过 Type-C 将其连接到笔记本电脑、iPad 甚至手机上,通过 Prover Network 为小规模 ZKP 提供加速服务,并获得网络奖励。同时,ZK Air 也可直接连接电脑在本地生成及时的 ZK 证明。ZK Pro 则类似于传统矿机,主要服务于专有公司,适用于 zkRollup、zkML 等大型 ZK 项目。对绝大多数用户来说,ZK Air 可能是一个更值得期待的产品。 ZKP 硬件加速与 DePIN 天然吻合。与 io.net 去中心化 GPU 网络面向 AI 与 ML 不同,Cysic 笃定 ZK 是区块链行业的未来,凭借自研硬件对不同 ZK 算法的适应能够接纳任何存在 ZK 计算场景的算力需求,加之背靠着超过 150 亿美元估值的 ZK 市场,未来的增长潜力巨大。 肖风曾说,「区块链与生俱来就是建立在 DePIN 之上,比特币硬件挖矿是一个初级版的 DePIN」。ZKP 硬件加速让我想起了比特币 PoW 机制,但有了 Prover Network,Cysic 才算是真正构建起一个属于 ZKP 的算力网络。正如 PoW 无需许可,DePIN 原语下的 ZKP 挖矿也将真正变得无需许可。不过,ZKP 挖矿与 PoW 挖矿还是有所不同,在传统 PoW 机制中,算力越高越快的矿工才能获得区块奖励,而其他人的工作量证明将作废。Cysic 的 Prover Network 不存在无效工作量一说,用户始终都可根据算力贡献获得激励。 目前,用户可参与 Cysic 在 Galxe 上的活动并获取早期徽章,参与 NFT 铸造,以及将于今年 5 至 6 月上线的测试网。据 Cysic 透露,部分早期参与者可获得 NFT 激励。此外,Cysic 还计划于今年第三、第四季度进行 TGE。 参考文献: Georgios Konstantopoulos, Hardware Acceleration for Zero Knowledge Proofs, Paradigm, April 13, 2022. Elena Burger, Decentralized Speed: Advances in Zero Knowledge Proofs, a16z crypto, April 15, 2022. Amber Group, Need for Speed: Zero Knowledge, Sep 5, 2022. IOSG:《为什么我们看好零知识证明硬件加速》,Nov, 2022. ABCDE:为什么我们要投资 Cysic,Feb 18, 2023. msfew, Criticism on ZK, April 20, 2023. Trace, Accelerating Zero-Knowledge Proofs, Figment Capital, April 25, 2023. Luke Pearson and the Cysic team, ZK Hardware Acceleration: The Past, the Present and the Future, April 27, 2023. ZPrize, ZPRIZE II SPOTLIGHT: INTRODUCING THE ARCHITECTS: LEO FAN, CYSIC, Oct 10, 2023. Loopy Lu:《Vitalik 为什么看好 ZK 硬件加速?》,BeWater, April 12, 2024. Cysic, New Paradigm in Designing ZK-ASICs, the zkVM way, April 9, 2024. Cysic:《迈向以太坊的可验证未来:Cysic 助力构建可信 ZK 计算网络》,2024. * 本文蒙 ZK 研究员 Miles、ZK 开发者 Paul 帮助与指导,特此感谢! 来源:金色财经lg...