本文深入探讨了Circle STARKs的代数基础，包括复数、单位圆的群性质，以及在有限域上的扩展。文章还讨论了单位圆的子群结构、余集，以及在Circle STARKs中用于计算轨迹的trace domain（标准位置陪集或更一般的双陪集）上的多项式插值和消失多项式。
zksecurity