NotesNotes要点

• S-two is the next generation verifier of Starkware, adopting Circle STARKs technology
• Implemented on the Mersenne31 prime field, providing high-performance proof generation
• Supports custom circuits, including virtual machines (VM) and machine learning (ML) inference
• The book covers writing AIR, implementing Cairo AIR, and details of Circle STARKs
• zkSecurity provides audit, research, and development services for ZK systems
• Encourages readers to refer to related blog series to deepen their understanding of Circle STARKs

• S-two是Starkware的下一代证明器，采用Circle STARKs技术
• 在Mersenne31素数域上实现，提供高性能证明生成
• 支持自定义电路，包括虚拟机(VM)和机器学习(ML)推理
• 书籍内容涵盖AIR编写、Cairo AIR实现和Circle STARKs细节
• zkSecurity提供ZK系统审计、研究和开发服务
• 鼓励读者参考相关博客系列以深入了解Circle STARKs

• S-twoは、Circle STARKs技術を採用したStarkwareの次世代verifierです。
• Mersenne31素数体上で実装されており、高性能な証明書生成を提供します。
• 仮想マシン（VM）や機械学習（ML）推論を含むカスタムサーキットをサポートします。
• 本書では、AIRの記述方法、Cairo AIRの実装、およびCircle STARKsの詳細について解説しています。
• zkSecurityは、ZKシステムに対する監査、リサーチ、開発サービスを提供します。
• 読者がCircle STARKsへの理解を深めるために、関連するブログシリーズを参照することを推奨します。