Crate stwo_constraint_framework 

Modules

logup

preprocessed_columns

Macros

relation

Structs

FrameworkComponent

InfoEvaluator

Collects information about the constraints. This includes mask offsets and columns at each interaction, the number of constraints and number of arithmetic operations.

PointEvaluator

Evaluates expressions at a point out of domain.

RelationEntry

A struct representing a relation entry. relation is the relation into which elements are entered. multiplicity is the multiplicity of the elements. A positive multiplicity is used to signify a “use”, while a negative multiplicity signifies a “yield”. values are elements in the base field that are entered into the relation.

TraceLocationAllocator

Constants

INTERACTION_TRACE_IDX

ORIGINAL_TRACE_IDX

PREPROCESSED_TRACE_IDX

Traits

EvalAtRow

A trait for evaluating expressions at some point or row.

FrameworkEval

A component defined solely in means of the constraints framework.

Relation

A trait for defining a logup relation type.

RelationEFTraitBound