4 releases

0.42.1 Sep 26, 2024
0.42.0 Sep 16, 2024
0.42.0-alpha.10 Sep 10, 2024

#666 in Math

Download history 156/week @ 2024-09-07 435/week @ 2024-09-14 208/week @ 2024-09-21 68/week @ 2024-09-28 37/week @ 2024-10-05 84/week @ 2024-10-12

425 downloads per month
Used in 4 crates (3 directly)

Apache-2.0 and GPL-2.0 licenses

80KB
1.5K SLoC

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.


lib.rs:

Constraint circuits are a way to represent constraint polynomials in a way that is amenable to optimizations. The constraint circuit is a directed acyclic graph (DAG) of CircuitExpressions, where each CircuitExpression is a node in the graph. The edges of the graph are labeled with BinOps. The leafs of the graph are the inputs to the constraint polynomial, and the (multiple) roots of the graph are the outputs of all the constraint polynomials, with each root corresponding to a different constraint polynomial. Because the graph has multiple roots, it is called a “multitree.”

Dependencies

~11MB
~185K SLoC