1 2 3 4
# Constraint Circuit This crate is part of the [Triton VM](https://triton-vm.org) ecosystem. It contains logic that helps building efficient AIR constraints, which are part of the STARK proving system.