Lib.rs

› Cryptography › Magic Beans
#zero-knowledge-proofs #triton-vm #air #constraints #degree #stark-proof-system

triton-air

The Arithmetic Intermediate Representation (AIR) for Triton VM

by Jan Ferdinand Sauer, aszepieniec, Thorkil Værge and 6 contributors

13 releases (2 stable)

Uses new Rust 2024

2.0.0 Jan 21, 2026
1.0.0 Oct 23, 2025
0.50.0 Jun 27, 2025
0.48.0 Feb 11, 2025
0.43.0 Nov 14, 2024

#7 in #triton-vm

Download history 505/week @ 2025-11-23 645/week @ 2025-11-30 585/week @ 2025-12-07 438/week @ 2025-12-14 430/week @ 2025-12-21 358/week @ 2025-12-28 590/week @ 2026-01-04 569/week @ 2026-01-11 128/week @ 2026-01-18 169/week @ 2026-01-25 207/week @ 2026-02-01 123/week @ 2026-02-08 460/week @ 2026-02-15 163/week @ 2026-02-22 76/week @ 2026-03-01 358/week @ 2026-03-08

1,083 downloads per month
Used in 10 crates (2 directly)

MIT/Apache and GPL-2.0 licenses

630KB
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

~9.5MB
~174K SLoC