1 unstable release
0.1.0 | Jul 12, 2023 |
---|
#26 in #stark
Used in air-script
175KB
4K
SLoC
Miden assembly code generator
This crate contains a code generator targeting the Miden VM.
The purpose of this code generator is to convert a provided AirIR
representation of an AIR into a custom Miden assembly module that contains constraint evaluation logic for this AIR. The generated code can be used with the recursive STARK proof verifier in Miden standard library.
Dependencies
~10–19MB
~230K SLoC