Trait snarkvm_wasm::ToBitsBEGadget [−][src]
pub trait ToBitsBEGadget<F> where
F: Field, { fn to_bits_be<CS>(
&self,
cs: CS
) -> Result<Vec<Boolean, Global>, SynthesisError>
where
CS: ConstraintSystem<F>; fn to_bits_be_strict<CS>(
&self,
cs: CS
) -> Result<Vec<Boolean, Global>, SynthesisError>
where
CS: ConstraintSystem<F>; }
Required methods
fn to_bits_be<CS>(&self, cs: CS) -> Result<Vec<Boolean, Global>, SynthesisError> where
CS: ConstraintSystem<F>,
fn to_bits_be_strict<CS>(
&self,
cs: CS
) -> Result<Vec<Boolean, Global>, SynthesisError> where
CS: ConstraintSystem<F>,
fn to_bits_be_strict<CS>(
&self,
cs: CS
) -> Result<Vec<Boolean, Global>, SynthesisError> where
CS: ConstraintSystem<F>,
Additionally checks if the produced list of booleans is ‘valid’.