air-codegen-masm
| Crates.io | air-codegen-masm |
| lib.rs | air-codegen-masm |
| version | 0.1.0 |
| source | src |
| created_at | 2023-07-12 23:56:13.922616 |
| updated_at | 2023-07-12 23:56:13.922616 |
| description | Miden Assembly code generator for the AirScript language |
| homepage | |
| repository | https://github.com/0xPolygonMiden/air-script |
| max_upload_size | |
| id | 914919 |
| size | 112,068 |
Bobbin Threadbare (bobbinth)
documentation
README
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.