FFT

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

本文介绍了FN-DSA（FIPS 206）这一新的数字签名标准，它使用快速傅里叶变换（FFT）优化了晶格结构中的变换过程，从而在后量子密码学（PQC）中实现了比ML-DSA更小、更高效的签名。文章提供了JavaScript代码示例和性能对比，展示了FN-DSA在密钥大小和签名大小方面的优势，并建议在区块链等应用中考虑使用。

circle stark: perspective from a new stark

HyperPlonk是一种新的零知识证明系统，旨在克服传统Plonk系统在处理大规模计算时遇到的限制，特别是通过去除FFT（快速傅里叶变换）来提高可扩展性，并支持高阶自定义门和查找功能，特别适用于复杂的ZK-EVM应用。

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

本文详细介绍了STARK的实现，特别是通过Python代码展示了如何利用MIMC函数生成STARK证明。文章深入讨论了STARK的计算复杂性、验证过程及其在零知识证明中的应用。

本文详细介绍了快速傅里叶变换（FFT）的原理及其在多项式乘法和多点评估中的应用，特别是在有限域中的实现。文章还提供了相关的代码示例，展示了FFT在计算中的高效性。