1.3 Item M31：让函数根据一个以上的对象来决定怎么虚拟 有时，借用一下Jacqueline Susann的话：一次是不够的。例如你有着一个光辉形象、崇高声望、丰厚薪水的程序员工作，在Redmond，Wshington的一个著名软件公司－－当然，我说的就是任天堂。为了得到经理的注意，你可能决定编写一个video game。游戏的背景是发生在太空，有宇宙飞船、太空站和小行星。 在你构造的

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