triton-air
| Crates.io | triton-air |
| lib.rs | triton-air |
| version | 0.42.1 |
| source | src |
| created_at | 2024-09-10 13:55:59.712874 |
| updated_at | 2024-09-26 08:41:10.990143 |
| description | The Arithmetic Intermediate Representation (AIR) for Triton VM. |
| homepage | https://triton-vm.org/ |
| repository | https://github.com/TritonVM/triton-vm |
| max_upload_size | |
| id | 1370386 |
| size | 369,256 |
Jan Ferdinand Sauer (jan-ferdinand)
documentation
https://triton-vm.org/spec/
README
Triton VM AIR
This crate is part of the Triton VM ecosystem. It contains the definition of the AIR constraints, which are part of the STARK proving system, before degree lowering.