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

8 unstable releases (3 breaking)

0.45.0 Jan 13, 2025
0.44.1 Jan 7, 2025
0.44.0 Dec 9, 2024
0.43.0 Nov 14, 2024
0.42.1 Sep 26, 2024

#725 in Math

Download history 35/week @ 2024-10-05 84/week @ 2024-10-12 34/week @ 2024-10-19 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 172/week @ 2025-01-18

799 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
~189K SLoC