[][src]Enum bellman::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

Existential view of the boolean variable

Negated view of the boolean variable

Constant(bool)

Constant (not an allocated variable)

Implementations

impl Boolean[src]

pub fn is_constant(&self) -> bool[src]

pub fn enforce_equal<Scalar, CS>(
    mut cs: CS,
    a: &Self,
    b: &Self
) -> Result<(), SynthesisError> where
    Scalar: PrimeField,
    CS: ConstraintSystem<Scalar>, 
[src]

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

pub fn lc<Scalar: PrimeField>(
    &self,
    one: Variable,
    coeff: Scalar
) -> LinearCombination<Scalar>
[src]

pub fn constant(b: bool) -> Self[src]

Construct a boolean from a known constant

pub fn not(&self) -> Self[src]

Return a negated interpretation of this boolean.

pub fn xor<'a, Scalar, CS>(
    cs: CS,
    a: &'a Self,
    b: &'a Self
) -> Result<Self, SynthesisError> where
    Scalar: PrimeField,
    CS: ConstraintSystem<Scalar>, 
[src]

Perform XOR over two boolean operands

pub fn and<'a, Scalar, CS>(
    cs: CS,
    a: &'a Self,
    b: &'a Self
) -> Result<Self, SynthesisError> where
    Scalar: PrimeField,
    CS: ConstraintSystem<Scalar>, 
[src]

Perform AND over two boolean operands

pub fn sha256_ch<'a, Scalar, CS>(
    mut cs: CS,
    a: &'a Self,
    b: &'a Self,
    c: &'a Self
) -> Result<Self, SynthesisError> where
    Scalar: PrimeField,
    CS: ConstraintSystem<Scalar>, 
[src]

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

pub fn sha256_maj<'a, Scalar, CS>(
    mut cs: CS,
    a: &'a Self,
    b: &'a Self,
    c: &'a Self
) -> Result<Self, SynthesisError> where
    Scalar: PrimeField,
    CS: ConstraintSystem<Scalar>, 
[src]

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

Trait Implementations

impl Clone for Boolean[src]

impl From<AllocatedBit> for Boolean[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Conv for T

impl<T> Conv for T

impl<T> FmtForward for T

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pipe for T where
    T: ?Sized

impl<T> Pipe for T

impl<T> PipeAsRef for T

impl<T> PipeBorrow for T

impl<T> PipeDeref for T

impl<T> PipeRef for T

impl<T> Tap for T

impl<T> Tap for T

impl<T, U> TapAsRef<U> for T where
    U: ?Sized

impl<T, U> TapBorrow<U> for T where
    U: ?Sized

impl<T> TapDeref for T

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> TryConv for T

impl<T> TryConv for T

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.