Struct snarkvm_circuit_environment::helpers::Assignment

pub struct Assignment<F: PrimeField> { /* private fields */ }

A struct that contains public variable assignments, private variable assignments, and constraint assignments.

Implementations

impl<F: PrimeField> Assignment<F>

pub const fn public_inputs(&self) -> &IndexMap<Index, F>

Returns the public inputs of the assignment.

pub const fn private_inputs(&self) -> &IndexMap<Index, F>

Returns the private inputs of the assignment.

pub const fn constraints( &self ) -> &Vec<(AssignmentLC<F>, AssignmentLC<F>, AssignmentLC<F>)>

Returns the constraints of the assignment.

pub fn num_public(&self) -> u64

Returns the number of public variables in the assignment.

pub fn num_private(&self) -> u64

Returns the number of private variables in the assignment.

pub fn num_constraints(&self) -> u64

Returns the number of constraints in the assignment.

pub fn num_nonzeros(&self) -> (u64, u64, u64)

Returns the number of nonzeros in the assignment.

Trait Implementations

impl<F: Clone + PrimeField> Clone for Assignment<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField> ConstraintSynthesizer<F> for Assignment<F>

fn generate_constraints<CS: ConstraintSystem<F>>( &self, cs: &mut CS ) -> Result<(), SynthesisError>

Synthesizes the constraints from the environment into a snarkvm_algorithms::r1cs-compliant constraint system.

impl<F: Debug + PrimeField> Debug for Assignment<F>

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

Formats the value using the given formatter.

impl<F: PrimeField> From<R1CS<F>> for Assignment<F>

fn from(r1cs: R1CS<F>) -> Self

Converts an R1CS to an assignment.