零知识证明（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 面临的挑战
- 总结
- 要点结构图
- 参考文献
