Trait bellperson::util_cs::witness_cs::SizedWitness

pub trait SizedWitness<Scalar: PrimeField> {
    // Required methods
    fn num_constraints(&self) -> usize;
    fn num_inputs(&self) -> usize;
    fn num_aux(&self) -> usize;
    fn generate_witness_into(
        &mut self,
        aux: &mut [Scalar],
        inputs: &mut [Scalar],
    ) -> Scalar;

    // Provided methods
    fn generate_witness(&mut self) -> (Vec<Scalar>, Vec<Scalar>, Scalar) { ... }
    fn generate_witness_into_cs<CS: ConstraintSystem<Scalar>>(
        &mut self,
        cs: &mut CS,
    ) -> Scalar { ... }
}

Required Methods

fn num_constraints(&self) -> usize

fn num_inputs(&self) -> usize

fn num_aux(&self) -> usize

fn generate_witness_into( &mut self, aux: &mut [Scalar], inputs: &mut [Scalar], ) -> Scalar

Provided Methods

fn generate_witness(&mut self) -> (Vec<Scalar>, Vec<Scalar>, Scalar)

fn generate_witness_into_cs<CS: ConstraintSystem<Scalar>>( &mut self, cs: &mut CS, ) -> Scalar

Object Safety

This trait is not object safe.

Implementors