Constraint Circuit

This crate is part of the Triton VM ecosystem. It contains logic that helps building efficient AIR constraints, which are part of the STARK proving system.