Module expr_eval 

Re-exports

pub use constraints_folding::*;

pub use interactions_folding::*;

pub use symbolic_expression::*;

Modules

constraints_folding

interactions_folding

symbolic_expression

Structs

DagCommitCols

DagCommitInfo

DagCommitPvs

DagCommitSubAir

Sub-AIR to compute the onion hash of one digest per row. Expects each AIR that uses it to have DagCommitPvs as its public value representation.

Functions

cached_symbolic_expr_cols_to_digest

Compresses a CachedSymbolicExpressionColumns row into a digest. Uses collapse_flags for the first element.

collapse_flags

Collapse flags and is_constraint into a single field element, which should be the first element of a row’s input digest.

dag_commit_cols_to_cached_cols

default_poseidon2_sub_chip

digest_to_cached_symbolic_expr_cols

Converts an input digest (+ flags and is_constraint) into cached columns.