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

Required Methods§

source

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

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

source

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

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

Implementations on Foreign Types§

source§

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

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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

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

source§

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,

source§

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

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

source§

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> ToBits for Field<E>where
    E: Environment,

§

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.

§

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

§

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

Outputs self in a vector.

§

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

Outputs self in a vector.

§

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

§

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

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

§

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

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

§

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

§

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.

§

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§