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