4 releases

0.42.1 Sep 26, 2024
0.42.0 Sep 16, 2024
0.42.0-alpha.10 Sep 10, 2024

#323 in Procedural macros

Download history 165/week @ 2024-09-08 445/week @ 2024-09-15 193/week @ 2024-09-22 54/week @ 2024-09-29 49/week @ 2024-10-06 64/week @ 2024-10-13 31/week @ 2024-10-20

208 downloads per month
Used in 2 crates (via triton-vm)

Apache-2.0 and GPL-2.0 licenses

680KB
13K 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

~12MB
~207K SLoC