0xMiden

0xMiden/air-script

A domain-specific language for writing AIR constraints for STARKs

1 good first / help-wanted issue · Rust · last activity Jul 21, 2026

97 stars 39 forks 97 watchers Rust MIT License

View on GitHub Website

1 Open Issue Need Help Last updated: Jul 21, 2026

Open Issues Need Help

View All on GitHub

Treatment of duplicate integrity constraints 2 months ago

good first issue

0xMiden/air-script

97

A domain-specific language for writing AIR constraints for STARKs

Rust