Struct snarkvm_models::gadgets::utilities::boolean::AllocatedBit

pub struct AllocatedBit { /* fields omitted */ }

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

Implementations

impl AllocatedBit

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

pub fn get_variable(&self) -> Variable

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

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

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

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

pub fn or<F, CS>(cs: CS, a: &Self, b: &Self) -> Result<Self, SynthesisError> where
    F: Field,
    CS: ConstraintSystem<F>, 

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

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

Calculates a AND (NOT b).

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

Calculates (NOT a) AND (NOT b).

Trait Implementations

impl<F: Field> AllocGadget<bool, F> for AllocatedBit

pub fn alloc<Fn, T, CS: ConstraintSystem<F>>(
    cs: CS,
    value_gen: Fn
) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<bool>, 

pub fn alloc_input<Fn, T, CS: ConstraintSystem<F>>(
    cs: CS,
    value_gen: Fn
) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    T: Borrow<bool>, 

pub fn alloc_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
    cs: CS,
    f: Fn
) -> Result<Self, SynthesisError>

pub fn alloc_input_checked<Fn: FnOnce() -> Result<T, SynthesisError>, T: Borrow<V>, CS: ConstraintSystem<F>>(
    cs: CS,
    f: Fn
) -> Result<Self, SynthesisError>

impl Clone for AllocatedBit

pub fn clone(&self) -> AllocatedBit

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField> CondSelectGadget<F> for AllocatedBit

pub fn conditionally_select<CS: ConstraintSystem<F>>(
    cs: CS,
    cond: &Boolean,
    first: &Self,
    second: &Self
) -> Result<Self, SynthesisError>

pub fn cost() -> usize

impl Copy for AllocatedBit

impl Debug for AllocatedBit

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

Formats the value using the given formatter.

impl Eq for AllocatedBit

impl From<AllocatedBit> for Boolean

pub fn from(b: AllocatedBit) -> Boolean

Performs the conversion.

impl PartialEq<AllocatedBit> for AllocatedBit

pub fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.