Type Alias ArithExtractor 

pub type ArithExtractor<F> = ConstraintSystemExt<F, true, false>;

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

Aliased Type

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

Implementations

impl<F: Field> ArithExtractor<F>

pub fn arith<A: From<ConstraintSystem<F>>>(self) -> Result<A, SynthesisError>

ArithExtractor::arith extracts the constraint matrices from the circuit and returns them as an arithmetization / constraint system structure of type A.