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.