Struct SymbolicConstraintsDag 

#[repr(C)]
pub struct SymbolicConstraintsDag<F> {
    pub constraints: SymbolicExpressionDag<F>,
    pub interactions: Vec<Interaction<usize>>,
}

Fields

constraints: SymbolicExpressionDag<F>

DAG with all symbolic expressions as nodes. These nodes include expressions for plain AIR constraints as well as symbolic expressions used for interactions.

interactions: Vec<Interaction<usize>>

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

These expressions are converted into a LogUp fractional sum which must be proven using GKR.

Trait Implementations

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

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

Returns a duplicate 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: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a, F: Field> From<&'a SymbolicConstraintsDag<F>> for SymbolicConstraints<F>

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

Converts to this type from the input type.

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: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.