triton-air

Crates.iotriton-air
lib.rstriton-air
version0.50.0
created_at2024-09-10 13:55:59.712874+00
updated_at2025-06-27 11:54:15.888279+00
descriptionThe Arithmetic Intermediate Representation (AIR) for Triton VM.
homepagehttps://triton-vm.org/
repositoryhttps://github.com/TritonVM/triton-vm
max_upload_size
id1370386
size400,570
Thorkil Værge (Sword-Smith)

documentation

https://triton-vm.org/spec/

README

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.

Commit count: 2363

cargo fmt