Struct SymbolicConstraints

pub struct SymbolicConstraints<F> {
    pub constraints: Vec<SymbolicExpression<F>>,
    pub interactions: Vec<SymbolicInteraction<F>>,
}

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

Fields

constraints: Vec<SymbolicExpression<F>>

All constraints of the RAP, including the constraints on the logup partial sums.

interactions: Vec<SymbolicInteraction<F>>

Symbolic representation of chip interactions. 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.

Implementations

impl<F: Field> SymbolicConstraints<F>

pub fn max_constraint_degree(&self) -> usize

pub fn get_log_quotient_degree(&self) -> usize

pub fn max_interaction_degrees(&self) -> (usize, usize)

Returns the maximum field degree and count degree across all interactions

Trait Implementations

impl<F: Clone> Clone for SymbolicConstraints<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for SymbolicConstraints<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for SymbolicConstraints<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: PartialEq> PartialEq for SymbolicConstraints<F>

fn eq(&self, other: &SymbolicConstraints<F>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F> Serialize for SymbolicConstraints<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.

impl<F: Eq> Eq for SymbolicConstraints<F>

impl<F> StructuralPartialEq for SymbolicConstraints<F>