Struct EmbeddedConstraintSystem 

pub struct EmbeddedConstraintSystem {
    pub cs: ConstraintSystem,
    pub chip_calls: Vec<ChipCall>,
}

A constraint system that represents a single chip in a ConstraintSystemM4.

The crate::constraint_system::ShiftedValueIndex values in the constraints and in the chip calls name words of the embedded constraint system’s value vector, each index counting within its own segment. See ConstraintSystem for the exact layout.

Validity criteria

• every operand of every chip call in chip_calls references a value of this chip

The chip_id of a chip call names a chip of the enclosing system, which this type does not know; ConstraintSystemM4::validate is what range-checks it.

Fields

cs: ConstraintSystem

The constraints one instance of the chip must satisfy.

chip_calls: Vec<ChipCall>

The chips this one delegates subrelations to, one entry per call per instance.

Implementations

impl EmbeddedConstraintSystem

pub fn validate(&self) -> Result<(), ConstraintSystemError>

Checks the constraint system and the chip-call operands over it.

Trait Implementations

impl Clone for EmbeddedConstraintSystem

fn clone(&self) -> EmbeddedConstraintSystem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EmbeddedConstraintSystem

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

Formats the value using the given formatter.