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, aszepieniec, Thorkil Værge and 6 contributors

9 releases (4 breaking)

new 0.48.0 Feb 11, 2025
0.45.0 Jan 13, 2025
0.44.1 Jan 7, 2025
0.44.0 Dec 9, 2024
0.42.1 Sep 26, 2024

#632 in Math

Download history 118/week @ 2024-10-26 119/week @ 2024-11-02 276/week @ 2024-11-09 246/week @ 2024-11-16 222/week @ 2024-11-23 192/week @ 2024-11-30 381/week @ 2024-12-07 117/week @ 2024-12-14 10/week @ 2024-12-21 26/week @ 2024-12-28 248/week @ 2025-01-04 352/week @ 2025-01-11 182/week @ 2025-01-18 173/week @ 2025-01-25 183/week @ 2025-02-01 1523/week @ 2025-02-08

2,097 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
~186K SLoC