Introduction

Stwo is a state-of-the-art framework for creating ZK proofs that boasts many compelling features to the ZK ecosystem, some of which include:

• Provides both the frontend and backend of creating ZK proofs
• Frontend is designed to be flexible to allow you to express your own proof system
• Backend leverages Circle STARKs over the Mersenne31 prime field for fast prover performance
• Seamlessly integrated with Cairo

This book will guide you through why you should create a proof system using Stwo, guide you through the process of creating your own proof system, and also provide in-depth explanations of the inner workings of Stwo.