本文深入探讨了零知识证明(ZKP)的不同应用,包括ZK支付、ZK硬件加速和zkVMs,强调了如何通过ZK技术提升区块链交易的隐私性和效率。文章详细介绍了ZK支付中的私密交易机制、使用特定硬件加速证明生成的优势,以及zkVM的通用性和实现原理,展现了零知识技术的广泛应用潜力。
本文介绍了Ingonyama团队在2023年ZPrize竞赛中获得第一名的基于FPGA的MSM加速方案。该方案首次在加速器平台上实现了批量仿射椭圆曲线加法,显著降低了MSM的计算负担。该设计在AMD Alveo U250 FPGA上实现了高性能,支持BLS12-381和BLS12-377曲线,并在未来异构计算中具有广阔的应用前景。
本文从MSM的计算入手,分析FPGA和GPU加速零知识证明计算的优缺点。
Ingonyama发布了ZaKi,一种新的、垂直集成的ZK托管服务,它基于ICICLE,并对硬件进行了优化配置,以运行加速的ZK工作负载,旨在提供卓越的性价比。ZaKi通过提供一个已经为ZK计算优化的托管环境,消除了硬件设置和配置的障碍,使团队能够专注于他们的ZK应用。
Ingonyama Research 宣布了 2025 年度的研究资助计划,总额为 10 万美元,旨在支持使用 ICICLE(一个用于零知识证明的数学库)进行算法研究的开发者和研究人员。该计划鼓励研究者使用 ICICLE 重新实现已有的算法,并通过与原始论文的性能比较来获得资助,资助金额与性能提升幅度成正比。
Ingonyama 于 2024 年 4 月 11 日举办了 ZK Accelerate Athens,重点关注 ZK 工程和产品。活动包括 16 场技术讲座、演示和 3 场小组讨论。涵盖了 STWO 性能、去中心化证明层、zkEVM、隐私协议、硬件加速等多个主题,展示了 ZK 领域的最新进展。
本文介绍了Ingonyama公司为Aleo区块链设计的IP Core,该IP旨在加速Aleo测试网的ZK coinbase puzzle的求解过程。文章对比了该IP与GPU在性能和功耗方面的差异,并解释了公司选择IP Core而非直接流片的原因,强调了ZK技术快速发展和保持硬件创新灵活性的重要性。