Skip to main content

AssignmentsExtractor

sonobe_primitives::circuits

Type Alias AssignmentsExtractor 

Source 
pub type AssignmentsExtractor<F> = ConstraintSystemExt<F, false, true>;
Expand description

AssignmentsExtractor collects only the assignments (no constraint matrices) from a synthesized circuit.

Aliased Type§

pub struct AssignmentsExtractor<F> { /* private fields */ }

Implementations§

Source§

impl<F: Field> AssignmentsExtractor<F>

Source

pub fn assignments(self) -> Result<Assignments<F, Vec<F>>, SynthesisError>

AssignmentsExtractor::assignments extracts the assignments from the circuit and returns them as Assignments.