6 releases
| 0.44.0 | Dec 9, 2024 |
|---|---|
| 0.43.0 | Nov 14, 2024 |
| 0.42.1 | Sep 26, 2024 |
| 0.42.0 | Sep 16, 2024 |
| 0.42.0-alpha.10 | Sep 10, 2024 |
#437 in Procedural macros
963 downloads per month
Used in 4 crates
(via triton-vm)
695KB
14K
SLoC
Constraint Circuit Builder
This crate is part of the Triton VM ecosystem. It contains the code generator emitting efficient Rust code for Triton VM's AIR constraints, which are part of the STARK proving system.
Dependencies
~11MB
~194K SLoC