/air-script-miden

A domain-specific language for writing AIR constraints for STARKs

Primary LanguageRustMIT LicenseMIT

Watchers

No one’s watching this repository yet.