Struct bellpepper::gadgets::boolean::AllocatedBit
source · pub struct AllocatedBit { /* private fields */ }
Expand description
Represents a variable in the constraint system which is guaranteed to be either zero or one.
Implementations§
source§impl AllocatedBit
impl AllocatedBit
pub fn get_value(&self) -> Option<bool>
pub fn get_variable(&self) -> Variable
sourcepub fn alloc_conditionally<Scalar, CS>(
cs: CS,
value: Option<bool>,
must_be_false: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
pub fn alloc_conditionally<Scalar, CS>(
cs: CS,
value: Option<bool>,
must_be_false: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
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.
sourcepub fn alloc<Scalar, CS>(
cs: CS,
value: Option<bool>,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
pub fn alloc<Scalar, CS>(
cs: CS,
value: Option<bool>,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
Allocate a variable in the constraint system which can only be a boolean value.
sourcepub fn xor<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
pub fn xor<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
Performs an XOR operation over the two operands, returning
an AllocatedBit
.
sourcepub fn and<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
pub fn and<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
Performs an AND operation over the two operands, returning
an AllocatedBit
.
sourcepub fn and_not<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
pub fn and_not<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
Calculates a AND (NOT b)
.
sourcepub fn nor<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
pub fn nor<Scalar, CS>(
cs: CS,
a: &AllocatedBit,
b: &AllocatedBit,
) -> Result<AllocatedBit, SynthesisError>where
Scalar: PrimeField,
CS: ConstraintSystem<Scalar>,
Calculates (NOT a) AND (NOT b)
.
Trait Implementations§
source§impl Clone for AllocatedBit
impl Clone for AllocatedBit
source§fn clone(&self) -> AllocatedBit
fn clone(&self) -> AllocatedBit
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl From<AllocatedBit> for Boolean
impl From<AllocatedBit> for Boolean
source§fn from(b: AllocatedBit) -> Boolean
fn from(b: AllocatedBit) -> Boolean
Converts to this type from the input type.
Auto Trait Implementations§
impl Freeze for AllocatedBit
impl RefUnwindSafe for AllocatedBit
impl Send for AllocatedBit
impl Sync for AllocatedBit
impl Unpin for AllocatedBit
impl UnwindSafe for AllocatedBit
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)source§impl<T> FmtForward for T
impl<T> FmtForward for T
source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
Causes
self
to use its Binary
implementation when Debug
-formatted.source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
Causes
self
to use its Display
implementation when
Debug
-formatted.source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
Causes
self
to use its LowerExp
implementation when
Debug
-formatted.source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
Causes
self
to use its LowerHex
implementation when
Debug
-formatted.source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
Causes
self
to use its Octal
implementation when Debug
-formatted.source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
Causes
self
to use its Pointer
implementation when
Debug
-formatted.source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
Causes
self
to use its UpperExp
implementation when
Debug
-formatted.source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
Causes
self
to use its UpperHex
implementation when
Debug
-formatted.source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Pipes by value. This is generally the method you want to use. Read more
source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
Borrows
self
and passes that borrow into the pipe function. Read moresource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
Mutably borrows
self
and passes that borrow into the pipe function. Read moresource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
Borrows
self
, then passes self.as_ref()
into the pipe function.source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
Mutably borrows
self
, then passes self.as_mut()
into the pipe
function.source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
Borrows
self
, then passes self.deref()
into the pipe function.source§impl<T> Tap for T
impl<T> Tap for T
source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Immutable access to the
Borrow<B>
of a value. Read moresource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
Mutable access to the
BorrowMut<B>
of a value. Read moresource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
Immutable access to the
AsRef<R>
view of a value. Read moresource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
Mutable access to the
AsMut<R>
view of a value. Read moresource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Immutable access to the
Deref::Target
of a value. Read moresource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Mutable access to the
Deref::Target
of a value. Read moresource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
Calls
.tap()
only in debug builds, and is erased in release builds.source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls
.tap_mut()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
Calls
.tap_borrow()
only in debug builds, and is erased in release
builds.source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
Calls
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
Calls
.tap_ref()
only in debug builds, and is erased in release
builds.source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
Calls
.tap_ref_mut()
only in debug builds, and is erased in release
builds.source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
Calls
.tap_deref()
only in debug builds, and is erased in release
builds.