Struct boojum::gadgets::u32::UInt32

pub struct UInt32<F: SmallField> { /* private fields */ }

Implementations

impl<F: SmallField> UInt32<F>

pub const fn get_variable(&self) -> Variable

pub const fn into_num(self) -> Num<F>

pub fn allocated_constant<CS: ConstraintSystem<F>>( cs: &mut CS, constant: u32, ) -> Self

pub fn zero<CS: ConstraintSystem<F>>(cs: &mut CS) -> Self

pub fn allocate_checked<CS: ConstraintSystem<F>>( cs: &mut CS, witness: u32, ) -> Self

pub fn from_variable_checked<CS: ConstraintSystem<F>>( cs: &mut CS, variable: Variable, ) -> Self

pub const unsafe fn from_variable_unchecked(variable: Variable) -> Self

Safety

Does not check the variable to be valid.

pub fn overflowing_add<CS: ConstraintSystem<F>>( self, cs: &mut CS, other: Self, ) -> (Self, Boolean<F>)

pub fn overflowing_add_with_carry_in<CS: ConstraintSystem<F>>( self, cs: &mut CS, other: Self, carry_in: Boolean<F>, ) -> (Self, Boolean<F>)

pub fn overflowing_sub<CS: ConstraintSystem<F>>( self, cs: &mut CS, other: Self, ) -> (Self, Boolean<F>)

pub fn overflowing_sub_with_borrow_in<CS: ConstraintSystem<F>>( self, cs: &mut CS, other: Self, borrow_in: Boolean<F>, ) -> (Self, Boolean<F>)

pub fn decompose_into_bytes<CS: ConstraintSystem<F>>( self, cs: &mut CS, ) -> [UInt8<F>; 4]

pub unsafe fn decompose_into_bytes_unchecked<CS: ConstraintSystem<F>>( self, cs: &mut CS, ) -> [UInt8<F>; 4]

Safety

Assumes that the variable is valid.

pub fn from_le_bytes<CS: ConstraintSystem<F>>( cs: &mut CS, bytes: [UInt8<F>; 4], ) -> Self

pub fn from_be_bytes<CS: ConstraintSystem<F>>( cs: &mut CS, bytes: [UInt8<F>; 4], ) -> Self

pub fn fma_with_carry<CS: ConstraintSystem<F>>( cs: &mut CS, a: Self, b: Self, c: Self, carry_in: Self, ) -> [(Self, [UInt8<F>; 4]); 2]

pub fn add_no_overflow<CS: ConstraintSystem<F>>( self, cs: &mut CS, other: Self, ) -> Self

pub fn sub_no_overflow<CS: ConstraintSystem<F>>( self, cs: &mut CS, other: Self, ) -> Self

pub fn mask<CS: ConstraintSystem<F>>( &self, cs: &mut CS, masking_bit: Boolean<F>, ) -> Self

pub fn mask_negated<CS: ConstraintSystem<F>>( &self, cs: &mut CS, masking_bit: Boolean<F>, ) -> Self

pub fn equals<CS: ConstraintSystem<F>>( cs: &mut CS, a: &Self, b: &Self, ) -> Boolean<F>

pub unsafe fn increment_unchecked<CS: ConstraintSystem<F>>( &self, cs: &mut CS, ) -> Self

Safety

Does not check if the resulting variable is valid.

pub unsafe fn decrement_unchecked<CS: ConstraintSystem<F>>( &self, cs: &mut CS, ) -> Self

Safety

Does not check if the resulting variable is valid.

pub fn increment_checked<CS: ConstraintSystem<F>>( &self, cs: &mut CS, ) -> (Self, Boolean<F>)

pub fn low_u16<CS: ConstraintSystem<F>>(&self, cs: &mut CS) -> UInt16<F>

pub fn decompose_into_uint16<CS: ConstraintSystem<F>>( &self, _cs: &mut CS, ) -> [UInt16<F>; 2]

pub fn is_zero<CS: ConstraintSystem<F>>(&self, cs: &mut CS) -> Boolean<F>

pub fn non_widening_mul<CS: ConstraintSystem<F>>( &self, cs: &mut CS, other: &Self, ) -> Self

pub fn allocate_from_closure_and_dependencies<CS: ConstraintSystem<F>, FN: FnOnce(&[F]) -> u32 + 'static + Send + Sync>( cs: &mut CS, witness_closure: FN, dependencies: &[Place], ) -> Self

pub fn div_by_constant<CS: ConstraintSystem<F>>( &self, cs: &mut CS, constant: u32, ) -> (Self, Self)

pub fn to_le_bytes<CS: ConstraintSystem<F>>(self, cs: &mut CS) -> [UInt8<F>; 4]

pub fn to_be_bytes<CS: ConstraintSystem<F>>(self, cs: &mut CS) -> [UInt8<F>; 4]

pub fn div2<CS: ConstraintSystem<F>>(&self, cs: &mut CS) -> Self

Trait Implementations

impl<F: SmallField> CSAllocatable<F> for UInt32<F>

type Witness = u32

fn placeholder_witness() -> Self::Witness

fn allocate_without_value<CS: ConstraintSystem<F>>(cs: &mut CS) -> Self

fn allocate<CS: ConstraintSystem<F>>( cs: &mut CS, witness: Self::Witness, ) -> Self

fn allocate_constant<CS: ConstraintSystem<F>>( cs: &mut CS, witness: Self::Witness, ) -> Self

impl<F: SmallField> CSAllocatableExt<F> for UInt32<F>

const INTERNAL_STRUCT_LEN: usize = 1usize

fn witness_from_set_of_values(values: [F; 1]) -> Self::Witness

fn create_without_value<CS: ConstraintSystem<F>>(cs: &mut CS) -> Self

fn flatten_as_variables(&self) -> [Variable; 1]

where [(); 1]:,

fn set_internal_variables_values( witness: Self::Witness, dst: &mut DstBuffer<'_, '_, F>, )

NOTE: implementations SHOULD EXTEND/PUSH to buffer, so recursive composition is available

impl<F: SmallField> CSPlaceholder<F> for UInt32<F>

fn placeholder<CS: ConstraintSystem<F>>(cs: &mut CS) -> Self

impl<F: SmallField> CSWitnessable<F, 1> for UInt32<F>

type ConversionFunction = Convertor<F, [F; 1], u32>

fn witness_from_set_of_values(values: [F; 1]) -> Self::Witness

fn as_variables_set(&self) -> [Variable; 1]

fn get_witness<CS: ConstraintSystem<F>>( &self, cs: &CS, ) -> WitnessValue<F, Self::Witness, N, CS::WitnessSource, Self::ConversionFunction>

impl<F: SmallField> CircuitVarLengthEncodable<F> for UInt32<F>

fn encoding_length(&self) -> usize

fn encode_to_buffer<CS: ConstraintSystem<F>>( &self, _cs: &mut CS, dst: &mut Vec<Variable>, )

impl<F: SmallField> Clone for UInt32<F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: SmallField> Debug for UInt32<F>

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

Formats the value using the given formatter.

impl<F: SmallField> Hash for UInt32<F>

fn hash<__HF>(&self, __state: &mut __HF)

where __HF: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<F: SmallField> PartialEq for UInt32<F>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: SmallField> Selectable<F> for UInt32<F>

fn conditionally_select<CS: ConstraintSystem<F>>( cs: &mut CS, flag: Boolean<F>, a: &Self, b: &Self, ) -> Self

Selects a if flag is true, and b otherwise

const SUPPORTS_PARALLEL_SELECT: bool = true

fn parallel_select<CS: ConstraintSystem<F>, const N: usize>( cs: &mut CS, flag: Boolean<F>, a: &[Self; N], b: &[Self; N], ) -> [Self; N]

Selects a if flag is true, and b otherwise

fn select_from_chain<CS: ConstraintSystem<F>>( cs: &mut CS, baseline: &Self, candidates: impl Iterator<Item = (Boolean<F>, Self)>, length: usize, ) -> Self

impl<F: SmallField> WitnessHookable<F> for UInt32<F>

fn witness_hook<CS: ConstraintSystem<F>>( &self, cs: &CS, ) -> Box<dyn FnOnce() -> Option<Self::Witness>>

impl<F: SmallField> WitnessVarLengthEncodable<F> for UInt32<F>

fn witness_encoding_length(_witness: &Self::Witness) -> usize

fn encode_witness_to_buffer(witness: &Self::Witness, dst: &mut Vec<F>)

impl<F: SmallField> Copy for UInt32<F>

impl<F: SmallField> Eq for UInt32<F>