Ingonyama 与 Starkware 合作,通过 CUDA 后端加速 Starkware 的 Stwo 证明器,在不改变 Stwo 前端设计的前提下,ICICLE-Stwo 在多个 CPU/GPU 配置中实现了比 Starkware 优化后的 SIMD 后端 3.25x-7x 的性能提升. ICICLE-Stwo 仓库完全开源,可直接替换标准 Stwo 证明器。
本文介绍了RC-STARKs,它通过利用复数域上的FFT,并识别问题中的对称性,使得在M31域上使用STARKs成为可能,并能有效利用现有的硬件优化。RC-STARKs在性能上与Circle STARK相当,但由于其对FFT的直接利用,具有更好的硬件兼容性。本文还分享了作者阅读研究论文的经验和方法。
Ingonyama 与 Starknet 基金会合作,旨在优化 Starknet 的 ZK Prover 基础设施。