Trait franklin_crypto::plonk::circuit::verifier_circuit::data_structs::IntoLimbedCircuitWitness

pub trait IntoLimbedCircuitWitness<E: Engine> {
    // Provided method
    fn into_witness<CS: ConstraintSystem<E>>(
        &self,
        _cs: &mut CS,
    ) -> Result<Vec<Num<E>>, SynthesisError> { ... }
}

Provided Methods

fn into_witness<CS: ConstraintSystem<E>>( &self, _cs: &mut CS, ) -> Result<Vec<Num<E>>, SynthesisError>

Object Safety

This trait is not object safe.

Implementors

impl<'a, E: Engine, WP: WrappedAffinePoint<'a, E>> IntoLimbedCircuitWitness<E> for ProofGadget<'a, E, WP>

impl<'a, E: Engine, WP: WrappedAffinePoint<'a, E>> IntoLimbedCircuitWitness<E> for VerificationKeyGagdet<'a, E, WP>