How to Write an AIR using Stwo Abstractions
This guide walks through the process of creating a custom AIR using Stwo's abstractions and tools.
AIR Structure
An AIR in Stwo consists of:
- Trace columns
- Transition constraints
- Boundary constraints
- Lookup tables (optional)
Best Practices
When writing an AIR:
- Keep constraints simple and modular
- Use lookup tables for repeated patterns
- Optimize field operations
- Consider composition with other AIRs