pub trait ToBits: Sized {
    // Required methods
    fn to_bits_le(&self) -> Vec<bool, Global>;
    fn to_bits_be(&self) -> Vec<bool, Global>;
}

Required Methods§

fn to_bits_le(&self) -> Vec<bool, Global>

Returns self as a boolean array in little-endian order.

fn to_bits_be(&self) -> Vec<bool, Global>

Returns self as a boolean array in big-endian order.

Implementations on Foreign Types§

§

impl<'a, C0, C1, C2, C3, C4, C5, C6> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3, C4> ToBits for (C0, C1, C2, C3, C4)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2> ToBits for (C0, C1, C2)where C0: ToBits, C1: ToBits, C2: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C, const N: usize> ToBits for [C; N]where C: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits.

§

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<'a, C0, C1, C2, C3> ToBits for &'a (C0, C1, C2, C3)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3, C4, C5, C6> ToBits for (C0, C1, C2, C3, C4, C5, C6)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<'a, C0, C1, C2> ToBits for &'a (C0, C1, C2)where C0: ToBits, C1: ToBits, C2: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits, C10: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3, C4, C5, C6, C7> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3, C4, C5> ToBits for (C0, C1, C2, C3, C4, C5)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3, C4, C5, C6, C7, C8> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1> ToBits for (C0, C1)where C0: ToBits, C1: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C0, C1, C2, C3> ToBits for (C0, C1, C2, C3)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<'a, C0, C1, C2, C3, C4, C5> ToBits for &'a (C0, C1, C2, C3, C4, C5)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits, C10: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<C> ToBits for &[C]where C: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits.

§

impl<C> ToBits for Vec<C, Global>where C: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits.

§

impl<'a, C0, C1, C2, C3, C4> ToBits for &'a (C0, C1, C2, C3, C4)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<'a, C0, C1> ToBits for &'a (C0, C1)where C0: ToBits, C1: ToBits,

§

fn to_bits_le(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of little-endian bits from the circuits.

§

fn to_bits_be(&self) -> Vec<bool, Global>

A helper method to return a concatenated list of big-endian bits from the circuits.

§

impl<E, I> ToBits for Integer<E, I>where E: Environment, I: IntegerType,

§

fn to_bits_le(&self) -> Vec<bool, Global>

Outputs the little-endian bit representation of self without trailing zeros.

§

fn to_bits_be(&self) -> Vec<bool, Global>

Outputs the big-endian bit representation of self without leading zeros.

Implementors§

§

impl<E> ToBits for Boolean<E>where E: Environment,

§

impl<E> ToBits for Field<E>where E: Environment,

§

impl<E> ToBits for Group<E>where E: Environment,

§

impl<E> ToBits for Scalar<E>where E: Environment,