Module prover_expr 

The prover’s view of an Expression – see file-level documentation within crate::expression for more details.

Conceptually, ProverExpr contains the “circuit structure” between the layer whose values are the output of the given expression and those whose values are the inputs to the given expression, i.e. the polynomial relationship between them, as well as (in an ownership sense) the actual data, stored in DenseMles.

Structs

MleVecIndex

mid-term solution for deduplication of DenseMleRefs basically a wrapper around usize, which denotes the index of the MleRef in an expression’s MleRef list/// Generic Expressions

ProverExpr

Prover Expression the leaf nodes of the expression tree are DenseMleRefs