Lib.rs

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

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)

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

#646 in Math

Download history 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 1533/week @ 2025-02-08 339/week @ 2025-02-15 268/week @ 2025-02-22 317/week @ 2025-03-01

2,506 downloads per month
Used in 6 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
~193K SLoC