Struct TestingAssembly 

pub struct TestingAssembly<E: Engine> { /* private fields */ }

Implementations

impl<E: Engine> TestingAssembly<E>

pub fn new() -> Self

pub fn num_gates(&self) -> usize

pub fn is_satisfied(self) -> bool

Trait Implementations

impl<E: Engine> ConstraintSystem<E> for TestingAssembly<E>

fn alloc<F>(&mut self, value: F) -> Result<Variable, SynthesisError>

where F: FnOnce() -> Result<E::Fr, SynthesisError>,

fn alloc_input<F>(&mut self, value: F) -> Result<Variable, SynthesisError>

where F: FnOnce() -> Result<E::Fr, SynthesisError>,

fn enforce_boolean(&mut self, variable: Variable) -> Result<(), SynthesisError>

fn new_gate( &mut self, variables: (Variable, Variable, Variable), coeffs: (E::Fr, E::Fr, E::Fr, E::Fr, E::Fr), ) -> Result<(), SynthesisError>

fn enforce_constant( &mut self, variable: Variable, constant: E::Fr, ) -> Result<(), SynthesisError>

fn enforce_mul_2( &mut self, variables: (Variable, Variable), ) -> Result<(), SynthesisError>

fn enforce_mul_3( &mut self, variables: (Variable, Variable, Variable), ) -> Result<(), SynthesisError>

fn enforce_zero_2( &mut self, variables: (Variable, Variable), coeffs: (E::Fr, E::Fr), ) -> Result<(), SynthesisError>

fn enforce_zero_3( &mut self, variables: (Variable, Variable, Variable), coeffs: (E::Fr, E::Fr, E::Fr), ) -> Result<(), SynthesisError>

fn get_dummy_variable(&self) -> Variable

fn get_value(&self, _variable: Variable) -> Result<E::Fr, SynthesisError>

impl<E: Debug + Engine> Debug for TestingAssembly<E>

where E::Fr: Debug,

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

Formats the value using the given formatter.