零知识证明(zero-knowledge proof,简称 ZKP)自提出至今已有近 40 年,在区块链开发领域广泛应用于数据隐私保护、二层网络扩容等场景。然而,ZKP 的算法计算资源消耗巨大,验证计算速度较慢,限制了用户规模的进一步增长。为了解决这项挑战,硬件加速便成为提升 ZKP 计算速度的直接解决方案。
2022 年,知名风投机构 Paradigm 的合伙人兼 CTO Georgios Konstantopoulos 发布了 《零知识证明的硬件加速》一文,掀起了对 ZKP 硬件加速 “最佳实践” 的热议。近年来,FPGA、ASIC 和 GPU 等硬件加速方案在零知识证明社区中频繁出现,那么究竟哪种硬件方案能成为推动 ZKP 走向亿级用户的 “杠杆”?目前,FPGA 和 GPU 加速已在 ZKP 领域落地多项产品,而在 2024 年 5 月,以太坊联合创始人 Vitalik Buterin 在演讲 《Reaching the Limits of Protocol Design》中对 ASIC 加速 SNARKs 的展望,进一步引发了行业对 ZKP ASIC 的关注。与 FPGA 和 GPU 相比,ASIC 具有绝对领导力,但其高昂的设计和生产成本,以及市场不确定性,使其成为 ZKP 行业的 “珠穆朗玛峰”。
目前,Cysic 是业内首要专注于开发 ZKP ASIC 的团队。本报告将深入解读 Cysic 项目,探索其如何在 ZKP 加速领域迈出创新性一步。
作者:Bob,Web3Caff Research 研究员
封面:Logo and Photo by Cysic,Typography by Web3Caff Research
字数:全文共计 12500+ 字
目录
- ZKP 在 Web3 行业发展的起源
- 为什么 ZKP 的硬件加速很重要?
- ZKP 对链上扩容的重要影响
- ZKP 硬件加速的现状
- 硬件加速的瓶颈:MSM 与 FFT (NTT) 算法
- FPGA、GPU 与 ASIC 方案对比
- 市场主流的解决方案
- Ingonyama
- Irreducible
- Cysic
- Cysic 技术原理
- Cysic Network 技术概述
- 共识机制 CometBFT
- Cysic 硬件加速
- 小结
- Cysic Testnet 测试网报告
- Cysic 的业务场景
- 创始人与团队
- Cysic 利弊分析
- Cysic 的优势
- Cysic 面临的挑战
- 总结
- 要点结构图
- 参考文献