Expand description
SYMBOLIC CONSTRAINTS DEFINITION
Modules§
- builder
- Constraint Builder DSL.
Structs§
- Boundary
Constraint - Pins a single trace cell to a target value at a specific row.
- Constraint
- Represents a full constraint equation: sum(terms) == 0.
- Constraint
Arena - Arena-allocated constraint DAG.
Nodes reference each other by
ExprId(index intonodes). - Constraint
Ast - A full constraint system in AST form.
rootsare the top-level constraint expressions. Each root must evaluate to 0 for a valid trace. - Constraint
Term - Represents a single term in a polynomial constraint.
Form:
coeff * product(cells)Example:5 * x_curr * y_next - ExprId
- Index into a
ConstraintArena. Cheap to copy.
Enums§
- Boundary
Target - Source of the value a boundary constraint
pins
Trace(row_idx, col_idx)to. - Constraint
Expr - A single node in the constraint AST-DAG. All variants are algebraic operations over GF(2^128).