Enum bellperson::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>(
    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>(
    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>(
    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

fn clone(&self) -> Boolean

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<AllocatedBit> for Boolean

fn from(b: AllocatedBit) -> Boolean

Performs the conversion.