Module symbolic

AIR builder that collects the constraints expressed via the Air trait into a directed acyclic graph of symbolic expressions for serialization purposes.

Modules

symbolic_expression

symbolic_variable

Structs

SymbolicConstraints

Symbolic constraints for a single AIR with interactions. The constraints contain the constraints on the logup partial sums.

SymbolicConstraintsDag

SymbolicExpressionDag

SymbolicRapBuilder

An AirBuilder for evaluating constraints symbolically, and recording them for later use.

Enums

SymbolicExpressionNode

A node in symbolic expression DAG. Basically replace Arcs in SymbolicExpression with node IDs. Intended to be serializable and deserializable.

Functions

get_symbolic_builder