Struct ConstraintSystem

pub struct ConstraintSystem<F: TowerField = B128> {
    pub tables: Vec<Table<F>>,
    pub channels: Vec<Channel>,
}

An M3 constraint system, independent of the table sizes.

Fields

tables: Vec<Table<F>>

channels: Vec<Channel>

Implementations

impl<F: TowerField> ConstraintSystem<F>

pub fn new() -> Self

pub fn add_table(&mut self, name: impl ToString) -> TableBuilder<'_, F>

pub fn add_channel(&mut self, name: impl ToString) -> ChannelId

pub fn build_witness<'cs, 'alloc, P: PackedField<Scalar = F>>( &'cs self, allocator: &'alloc Bump, ) -> WitnessIndex<'cs, 'alloc, P>

Creates and allocates the witness index.

Deprecated: This is a thin wrapper over WitnessIndex::new now, which is preferred.

pub fn compile( &self, statement: &Statement<F>, ) -> Result<CompiledConstraintSystem<F>, Error>

Compiles a CompiledConstraintSystem for a particular statement.

The most important transformation that takes place in this step is creating multilinear oracles for all columns. The main difference between column definitions and oracle definitions is that multilinear oracle definitions have a number of variables, whereas the column definitions contained in a ConstraintSystem do not have size information.

Trait Implementations

impl<F: Debug + TowerField> Debug for ConstraintSystem<F>

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

Formats the value using the given formatter.

impl<F: Default + TowerField> Default for ConstraintSystem<F>

fn default() -> ConstraintSystem<F>

Returns the “default value” for a type.

impl<F: TowerField> Display for ConstraintSystem<F>

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

Formats the value using the given formatter.