Ingonyama 宣布第二轮研究资助计划，提供 10 万美元用于支持使用其高速密码学库 ICICLE 的研究。该计划旨在通过与现有研究基准进行比较，鼓励研究人员使用 ICICLE 重新实现算法并超越现有性能。文章还展示了两个使用 ICICLE 加速密码学协议的案例研究，分别在加速阈值加密和协作 zk-SNARK 方面取得了显著的性能提升。

ICICLE v3.6 发布，主要更新包括：支持 Metal 后端，为 macOS 用户提供 Metal 加速，无需修改代码即可提升性能。改进包括 Metal 后端支持，Sumcheck 增强和 Lattice 推进，并计划在未来版本中添加更多功能和优化。未来将发布 ICICLE v3.7，引入 FRI 支持。

ICICLE-Snark 是一种快速的 Groth16 证明实现，适用于零知识证明的应用。文章详细论述了 Groth16 的原理、工作流程，以及 ICICLE 如何通过优化算法和缓存技术提升性能，达成记录-breaking 的速度提升，从而为区块链应用提供更高效的解决方案。

Ingonyama Research 宣布了 2025 年度的研究资助计划，总额为 10 万美元，旨在支持使用 ICICLE（一个用于零知识证明的数学库）进行算法研究的开发者和研究人员。该计划鼓励研究者使用 ICICLE 重新实现已有的算法，并通过与原始论文的性能比较来获得资助，资助金额与性能提升幅度成正比。

Zircuit是一个EVM兼容的ZK rollup，旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成，Zircuit优化了其加密计算，显著改善了性能，降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。

ICICLE V3.5 版本引入了完全 CUDA 优化的非交互式 Sumcheck 协议实现，可用于多线性多项式的任意函数。

Ingonyama 与 Starkware 合作，通过 CUDA 后端加速 Starkware 的 Stwo 证明器，在不改变 Stwo 前端设计的前提下，ICICLE-Stwo 在多个 CPU/GPU 配置中实现了比 Starkware 优化后的 SIMD 后端 3.25x-7x 的性能提升. ICICLE-Stwo 仓库完全开源，可直接替换标准 Stwo 证明器。

Ingonyama 于2024年11月11日举办了第三届 ZK Accelerate 大会，重点关注 ZK 产品和工程，包括技术讲座、小组讨论、演示和领先公司的参展摊位。本次活动汇集了近3000名参与者，展示了 ZK 产品和工程的日益增长的势头和广泛的兴趣。活动包含23场技术讲座、2个小组讨论。

Ingonyama 发布了 ICICLE v3.1，这是一个位于 ZK 堆栈硬件和协议层之间的库，旨在优化 CPU 和 GPU 上的 ZK 算法性能。v3.1版本修复了多个bug，并增强了CPU后端性能，支持客户端后端和Sumcheck。未来还将添加Poseidon2哈希算法，目标是在CPU上超越Plonky3的性能。

本文介绍了RC-STARKs，它通过利用复数域上的FFT，并识别问题中的对称性，使得在M31域上使用STARKs成为可能，并能有效利用现有的硬件优化。RC-STARKs在性能上与Circle STARK相当，但由于其对FFT的直接利用，具有更好的硬件兼容性。本文还分享了作者阅读研究论文的经验和方法。