Trait snarkvm_gadgets::traits::misc::ToMinimalBitsGadget

pub trait ToMinimalBitsGadget<F: PrimeField>: Clone {
    fn to_minimal_bits<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS
    ) -> Result<Vec<Boolean>, SynthesisError>;
}

Required methods

fn to_minimal_bits<CS: ConstraintSystem<F>>(
    &self,
    cs: CS
) -> Result<Vec<Boolean>, SynthesisError>

Implementations on Foreign Types

impl<F: PrimeField, T: ToMinimalBitsGadget<F>> ToMinimalBitsGadget<F> for Vec<T>

fn to_minimal_bits<CS: ConstraintSystem<F>>(
    &self,
    cs: CS
) -> Result<Vec<Boolean>, SynthesisError>

Implementors

impl<P, F, FG> ToMinimalBitsGadget<F> for AffineGadget<P, F, FG> where
    P: ShortWeierstrassParameters,
    F: PrimeField,
    FG: FieldGadget<P::BaseField, F>, 

impl<PairingE, P> ToMinimalBitsGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
    PairingE: PairingEngine,
    P: PairingGadget<PairingE>,