Struct snarkvm_wasm::traits::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 and<F, CS>(
    cs: CS,
    a: &AllocatedBit,
    b: &AllocatedBit
) -> Result<AllocatedBit, SynthesisError> where
    CS: ConstraintSystem<F>,
    F: Field, 

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

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

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

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

Calculates a AND (NOT b).

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

Calculates (NOT a) AND (NOT b).

Trait Implementations

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

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

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

fn alloc_constant<Fn, T, CS>(_cs: CS, _f: Fn) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<V>, 

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

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

impl Clone for AllocatedBit

pub fn clone(&self) -> AllocatedBit

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

pub fn cost() -> usize

impl Debug for AllocatedBit

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

Formats the value using the given formatter.

impl From<AllocatedBit> for Boolean

pub fn from(b: AllocatedBit) -> Boolean

Performs the conversion.

impl PartialEq<AllocatedBit> for AllocatedBit

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

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

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<F> Xor<F, AllocatedBit> for AllocatedBit where
    F: Field, 

pub fn xor<CS>(
    &self,
    cs: CS,
    other: &AllocatedBit
) -> Result<AllocatedBit, SynthesisError> where
    CS: ConstraintSystem<F>, 

impl Copy for AllocatedBit

impl Eq for AllocatedBit