Struct sapling_crypto_ce::circuit::boolean::AllocatedBit

pub struct AllocatedBit { /* fields omitted */ }

Represents a variable in the constraint system which is guaranteed to be either zero or one.

Methods

impl AllocatedBit

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

pub fn get_variable(&self) -> Variable

pub fn alloc_conditionally<E, CS>(
    cs: CS,
    value: Option<bool>,
    must_be_false: &AllocatedBit
) -> Result<Self, SynthesisError> where
    E: Engine,
    CS: ConstraintSystem<E>, 

Allocate a variable in the constraint system which can only be a boolean value. Further, constrain that the boolean is false unless the condition is false.

pub fn alloc<E, CS>(cs: CS, value: Option<bool>) -> Result<Self, SynthesisError> where
    E: Engine,
    CS: ConstraintSystem<E>, 

Allocate a variable in the constraint system which can only be a boolean value.

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

Performs an XOR operation over the two operands, returning an AllocatedBit.

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

Performs an AND operation over the two operands, returning an AllocatedBit.

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

Calculates a AND (NOT b).

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

Calculates (NOT a) AND (NOT b).

Trait Implementations

impl From<AllocatedBit> for Boolean

fn from(b: AllocatedBit) -> Boolean

Performs the conversion.

impl Clone for AllocatedBit

fn clone(&self) -> AllocatedBit

Returns a copy of the value.

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

Performs copy-assignment from source.