ICICLE-Snark 是一种快速的 Groth16 证明实现,适用于零知识证明的应用。文章详细论述了 Groth16 的原理、工作流程,以及 ICICLE 如何通过优化算法和缓存技术提升性能,达成记录-breaking 的速度提升,从而为区块链应用提供更高效的解决方案。
Zircuit是一个EVM兼容的ZK rollup,旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成,Zircuit优化了其加密计算,显著改善了性能,降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。
ZEROBASE是一个模块化的基础设施堆栈,用于构建实时的、保护隐私的零知识应用程序。通过集成Ingonyama的ICICLE库,ZEROBASE显著加快了证明生成速度,降低了基础设施开销,并改善了跨应用程序的用户体验。ICICLE帮助ZEROBASE实现了多个生产级别的实时ZK用例,并在Solana SIM、zkLogin和Staking Network等应用中取得了显著的性能提升。
ICICLE v3.6 发布,主要更新包括:支持 Metal 后端,为 macOS 用户提供 Metal 加速,无需修改代码即可提升性能。改进包括 Metal 后端支持,Sumcheck 增强和 Lattice 推进,并计划在未来版本中添加更多功能和优化。未来将发布 ICICLE v3.7,引入 FRI 支持。
ICICLE V3.5 版本引入了完全 CUDA 优化的非交互式 Sumcheck 协议实现,可用于多线性多项式的任意函数。
Ingonyama 与 Starkware 合作,通过 CUDA 后端加速 Starkware 的 Stwo 证明器,在不改变 Stwo 前端设计的前提下,ICICLE-Stwo 在多个 CPU/GPU 配置中实现了比 Starkware 优化后的 SIMD 后端 3.25x-7x 的性能提升. ICICLE-Stwo 仓库完全开源,可直接替换标准 Stwo 证明器。
Ingonyama发布了ZaKi,一种新的、垂直集成的ZK托管服务,它基于ICICLE,并对硬件进行了优化配置,以运行加速的ZK工作负载,旨在提供卓越的性价比。ZaKi通过提供一个已经为ZK计算优化的托管环境,消除了硬件设置和配置的障碍,使团队能够专注于他们的ZK应用。
本文介绍了ICICLE V1.6.0版本的一系列更新,包括稳定的Golang绑定、多GPU支持、向量运算API、Grumpkin曲线支持、NTT改进和MSM改进。这些更新旨在提升零知识证明(ZKP)加速的性能和效率,并扩展ICICLE的应用范围,如支持更大的电路和更多编程语言。
本文介绍了ICICLE库的更新,该库使用CUDA加速GPU上的ZK证明。主要更新包括:支持Poseidon哈希和优化的Merkle树构建器,新的混合基数NTT算法,改进的MSM设计,以及修复了Rust绑定在Windows上的支持问题。还包括性能测试结果,展示了Poseidon哈希树构建器和NTT算法的性能提升。
Ingonyama 和 Cornami 宣布战略合作,通过硬件-软件集成加速高速密码学,特别是在零知识证明(ZKP)方面,目标是提供一流的解决方案。通过集成 Cornami 的 FracTLcore® 计算架构和 Ingonyama 的 ICICLE 密码学加速库,该解决方案在吞吐量和能源效率能够实现10到100倍的提升。
Ingonyama 宣布第二轮研究资助计划,提供 10 万美元用于支持使用其高速密码学库 ICICLE 的研究。该计划旨在通过与现有研究基准进行比较,鼓励研究人员使用 ICICLE 重新实现算法并超越现有性能。文章还展示了两个使用 ICICLE 加速密码学协议的案例研究,分别在加速阈值加密和协作 zk-SNARK 方面取得了显著的性能提升。
Ingonyama 正在为研究人员和实践者提供 10 万美元的资助,以推进 ZK(零知识证明)加速技术。资助方向包括:学生使用 Icicle 库进行研究、改进 Icicle 中现有加速原语的性能、将现有 ZK 协议移植到 Icicle、向 Icicle 添加新的原语以及将 ZK 基准测试与 Icicle 进行比较。Ingonyama 还将为获得资助者提供技术指导和 GPU 访问权限
Ingonyama Research 宣布了 2025 年度的研究资助计划,总额为 10 万美元,旨在支持使用 ICICLE(一个用于零知识证明的数学库)进行算法研究的开发者和研究人员。该计划鼓励研究者使用 ICICLE 重新实现已有的算法,并通过与原始论文的性能比较来获得资助,资助金额与性能提升幅度成正比。
Ingonyama 发布了 ICICLE v3.1,这是一个位于 ZK 堆栈硬件和协议层之间的库,旨在优化 CPU 和 GPU 上的 ZK 算法性能。v3.1版本修复了多个bug,并增强了CPU后端性能,支持客户端后端和Sumcheck。未来还将添加Poseidon2哈希算法,目标是在CPU上超越Plonky3的性能。
ICICLE v3 发布,这是一个密码学库,旨在加速零知识证明(ZKP)。新版本引入了强大的CPU后端,将ICICLE的卓越性能和用户友好的多项式API扩展到标准处理器,从而实现更大的灵活性和可访问性。此外,新版本还优化了GPU功能,并支持更大的原语。