Struct Byte

pub struct Byte<E: Engine> {
    pub inner: Num<E>,
}

Fields

inner: Num<E>

Implementations

impl<E: Engine> Byte<E>

pub fn empty() -> Self

pub fn zero() -> Self

pub fn into_num(&self) -> Num<E>

pub fn get_value(&self) -> Option<E::Fr>

pub fn get_byte_value(&self) -> Option<u8>

pub fn from_u8_witness<CS: ConstraintSystem<E>>( cs: &mut CS, value: Option<u8>, ) -> Result<Self, SynthesisError>

pub fn from_u8_witness_multiple<CS: ConstraintSystem<E>, const N: usize>( cs: &mut CS, value: Option<[u8; N]>, ) -> Result<[Self; N], SynthesisError>

pub fn from_num<CS: ConstraintSystem<E>>( cs: &mut CS, value: Num<E>, ) -> Result<Self, SynthesisError>

pub fn from_num_unconstrained<CS: ConstraintSystem<E>>( _cs: &mut CS, value: Num<E>, ) -> Self

pub fn constant(value: u8) -> Self

pub fn from_cnst(value: E::Fr) -> Self

pub fn conditionally_select<CS: ConstraintSystem<E>>( cs: &mut CS, flag: &Boolean, a: &Self, b: &Self, ) -> Result<Self, SynthesisError>

pub fn is_zero<CS: ConstraintSystem<E>>( &self, cs: &mut CS, ) -> Result<Boolean, SynthesisError>

pub fn get_value_multiple<const N: usize>(els: &[Self; N]) -> Option<[E::Fr; N]>

pub fn get_byte_value_multiple<const N: usize>( els: &[Self; N], ) -> Option<[u8; N]>

Trait Implementations

impl<E: Clone + Engine> Clone for Byte<E>

fn clone(&self) -> Byte<E>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug + Engine> Debug for Byte<E>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E: Engine> Copy for Byte<E>