Struct kimchi::snarky::constraint_system::SnarkyConstraintSystem

pub struct SnarkyConstraintSystem<Field>where
    Field: PrimeField,{ /* private fields */ }

The constraint system.

Implementations

impl<Field: PrimeField> SnarkyConstraintSystem<Field>

pub fn set_primary_input_size(&mut self, num_pub_inputs: usize)

Sets the number of public-input. It must and can only be called once.

pub fn set_prev_challenges(&mut self, prev_challenges: usize)

pub fn compute_witness_for_ocaml( &mut self, public_inputs: &[Field], private_inputs: &[Field] ) -> [Vec<Field>; 15]

pub fn compute_witness<FUNC>( &mut self, external_values: FUNC ) -> [Vec<Field>; 15]where FUNC: Fn(usize) -> Field,

Compute the witness, given the constraint system sys and a function that converts the indexed secret inputs to their concrete values.

Panics

Will panic if some inputs like public_input_size are unknown(None value).

pub fn create(constants: Constants<Field>) -> Self

pub fn get_primary_input_size(&self) -> usize

Returns the number of public inputs.

Panics

Will panic if public_input_size is None.

pub fn get_prev_challenges(&self) -> Option<usize>

pub fn set_public_input_size(&mut self, x: usize)

Sets the number of public-input. It should only be called once.

pub fn get_rows_len(&self) -> usize

Returns the number of rows in the constraint system. Note: This is not necessarily the number of rows of the compiled circuit. If the circuit has not finished compiling, you will only get the current number of rows.

pub fn finalize(&mut self)

Fill the gate values(input and output), and finalize the circuit.

Panics

Will panic if circuit is completed.

pub fn digest(&mut self) -> [u8; 32]

Produces a digest of the constraint system.

Panics

Will panic if the constraint system has not previously been compiled (via Self::finalize).

pub fn finalize_and_get_gates(&mut self) -> &mut Vec<CircuitGate<Field>>

impl<Field: PrimeField> SnarkyConstraintSystem<Field>

pub fn add_basic_snarky_constraint<Cvar>( &mut self, labels: &[Cow<'static, str>], loc: &Cow<'static, str>, constraint: BasicSnarkyConstraint<Cvar> )where Cvar: SnarkyCvar<Field = Field>,

Applies the basic SnarkyConstraint. Simply, place the values of selector(sl, sr, so …) and input(l, r, o, m).

Panics

Will panic if constant selector constraints are not matching.

pub fn add_constraint<Cvar>( &mut self, labels: &[Cow<'static, str>], loc: &Cow<'static, str>, constraint: KimchiConstraint<Cvar, Field> )where Cvar: SnarkyCvar<Field = Field>,

Applies the KimchiConstraint(s) to the circuit.

Panics

Will panic if witness fields are empty.

Trait Implementations

impl<Field> Clone for SnarkyConstraintSystem<Field>where Field: PrimeField + Clone,

fn clone(&self) -> SnarkyConstraintSystem<Field>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Field> Debug for SnarkyConstraintSystem<Field>where Field: PrimeField + Debug,

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

Formats the value using the given formatter.