Skip to content

v0.1.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@grjte grjte released this 10 Nov 00:15
· 420 commits to main since this release
v0.1.0
2a0d64c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is the first release of AirScript, a domain-specific language for expressing AIR constraints for STARK proofs. It includes a minimal but complete implementation of the AirScript compiler for an initial set of language features. Documentation is available at https://0xpolygonmiden.github.io/air-script/.

What's Changed

  • Parser
  • IR
  • Code generation for Winterfell (in Rust)
  • Command-line interface for transpilation
  • Integration tests
  • mdBook documentation

Full Changelog: https://github.com/0xPolygonMiden/air-script/commits/v0.1.0

Assets 2
Loading