Introduction

Stwo is a next-generation zkVM framework that brings several innovative features to the zero-knowledge proof ecosystem:

• Leverages Circle STARKs over the Mersenne31 prime field for fast prover performance
• Seamlessly integrated with Cairo
• Features efficient lookup tables with LogUp (future integration with GKR)

This documentation will guide you through understanding and using Stwo, from basic concepts to advanced features.