1. 引言 StarkWare团队和Polygon Labs团队，历时数月，构造了基于Mersenne素数域M31的Circle STARK协议，通过使用M31 over a circle，可基于任意有限域构造高效STARKs，具体见2024年2月19日论文《Circle STARKs》。 基于Circle STARK协议，StarkWare团队开发了超快的证明系统：Stwo，大幅改进了现有S