ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Mon 星期一
11.24
2025
S-two book https://blog.zksecurity.xyz/posts/stwo-book/
@zksecurityXYZ shared a S-two book, teaching how to write AIR, Cairo AIR implementation, and Circle STARKs details. @zksecurityXYZ 分享了与 @StarkWareLtd 合作开发的S-two书籍，内容包括学习如何编写AIR、Cairo AIR实现以及Circle STARKs技术细节。
Notes
- 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