Enum ysbell::gadgets::boolean::Boolean

pub enum Boolean {
    Is(AllocatedBit),
    Not(AllocatedBit),
    Constant(bool),
}

This is a boolean value which may be either a constant or an interpretation of an AllocatedBit.

Variants

Is(AllocatedBit)

Existential view of the boolean variable

Not(AllocatedBit)

Negated view of the boolean variable

Constant(bool)

Constant (not an allocated variable)

Implementations

impl Boolean

pub fn is_constant(&self) -> bool

pub fn enforce_equal<E, CS>(
    mut cs: CS,
    a: &Self,
    b: &Self
) -> Result<(), SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

pub fn get_value(&self) -> Option<bool>

pub fn lc<E: ScalarEngine>(
    &self,
    one: Variable,
    coeff: E::Fr
) -> LinearCombination<E>

pub fn constant(b: bool) -> Self

Construct a boolean from a known constant

pub fn not(&self) -> Self

Return a negated interpretation of this boolean.

pub fn xor<'a, E, CS>(
    cs: CS,
    a: &'a Self,
    b: &'a Self
) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

Perform XOR over two boolean operands

pub fn and<'a, E, CS>(
    cs: CS,
    a: &'a Self,
    b: &'a Self
) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

Perform AND over two boolean operands

pub fn sha256_ch<'a, E, CS>(
    mut cs: CS,
    a: &'a Self,
    b: &'a Self,
    c: &'a Self
) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

Computes (a and b) xor ((not a) and c)

pub fn sha256_maj<'a, E, CS>(
    mut cs: CS,
    a: &'a Self,
    b: &'a Self,
    c: &'a Self
) -> Result<Self, SynthesisError> where
    E: ScalarEngine,
    CS: ConstraintSystem<E>, 

Computes (a and b) xor (a and c) xor (b and c)

Trait Implementations

impl Clone for Boolean

pub fn clone(&self) -> Boolean

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<AllocatedBit> for Boolean

pub fn from(b: AllocatedBit) -> Boolean

Performs the conversion.