Lib.rs

› Science › Math | Cryptography › TritonVM
#intermediate-representation #zero-knowledge-proofs #virtual-machine #triton #table #arithmetic #air

triton-air

The Arithmetic Intermediate Representation (AIR) for Triton VM

by Jan Ferdinand Sauer and 8 contributors

6 releases

new 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

#734 in Math

Download history 162/week @ 2024-09-08 439/week @ 2024-09-15 204/week @ 2024-09-22 59/week @ 2024-09-29 49/week @ 2024-10-06 67/week @ 2024-10-13 35/week @ 2024-10-20 126/week @ 2024-10-27 115/week @ 2024-11-03 290/week @ 2024-11-10 261/week @ 2024-11-17 195/week @ 2024-11-24 210/week @ 2024-12-01

961 downloads per month
Used in 5 crates (2 directly)

Apache-2.0 and GPL-2.0 licenses

625KB
12K SLoC

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.

Dependencies

~11MB
~188K SLoC