本文是关于 Circle STARKs 系列的第一篇文章，主要介绍了 Mersenne 素数域在 STARK 中的应用动机和背景。由于 Mersenne 素数域具有非常高效的模约简算法，但在传统 STARK 中无法有效支持 FRI/STIR，Circle STARKs 解决了这个问题，使得在这些特定域上使用 STARK 更高效。
zksecurity