We are excited to announce that we partnered with Starkware to create the S-two book! (Link to repo: *.mdx files and *.md files)
S-two is Starkware's next-generation prover with state-of-the-art performance thanks to its implementation of Circle STARKs over the Mersenne31 prime field. It is also flexible enough to support proving custom circuits such as various VMs and ML inference.
We encourage anyone who is interested in the following topics to check it out:
- Learning how to write AIRs using the S-two prover
- Learning how the Cairo AIR is implemented in S-two
- Learning how S-two implements Circle STARKs