Struct SymbolicConstraintsDag

pub struct SymbolicConstraintsDag<F> {
    pub constraints: SymbolicExpressionDag<F>,
    pub interactions: Vec<Interaction<usize>>,
}

Fields

constraints: SymbolicExpressionDag<F>

DAG with all symbolic expressions as nodes. A subset of the nodes represents all constraints that will be included in the quotient polynomial via DEEP-ALI.

interactions: Vec<Interaction<usize>>

List of all interactions, where expressions in the interactions are referenced by node idx as usize.

This is used by the prover for after challenge trace generation, and some partial information may be used by the verifier.

However, any contributions to the quotient polynomial from logup are already included in constraints and do not need to be separately calculated from interactions.

Trait Implementations

impl<F: Clone> Clone for SymbolicConstraintsDag<F>

fn clone(&self) -> SymbolicConstraintsDag<F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug> Debug for SymbolicConstraintsDag<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for SymbolicConstraintsDag<F>

where F: Field,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F: Field> From<SymbolicConstraints<F>> for SymbolicConstraintsDag<F>

fn from(sc: SymbolicConstraints<F>) -> Self

Converts to this type from the input type.

impl<F: Field> From<SymbolicConstraintsDag<F>> for SymbolicConstraints<F>

fn from(dag: SymbolicConstraintsDag<F>) -> Self

Converts to this type from the input type.

impl<F> Serialize for SymbolicConstraintsDag<F>

where F: Field,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.