Struct boojum::cs::gates::u32_sub::U32SubGate

pub struct U32SubGate {
    pub a: Variable,
    pub b: Variable,
    pub borrow_in: Variable,
    pub c: Variable,
    pub borrow_out: Variable,
}

Fields

a: Variable

b: Variable

borrow_in: Variable

c: Variable

borrow_out: Variable

Implementations

impl U32SubGate

pub const fn empty() -> Self

pub fn add_to_cs<F: SmallField, CS: ConstraintSystem<F>>(self, cs: &mut CS)

pub fn perform_subtraction<F: SmallField, CS: ConstraintSystem<F>>( cs: &mut CS, a: Variable, b: Variable, borrow_in: Variable, ) -> (Variable, Variable)

Trait Implementations

impl Clone for U32SubGate

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for U32SubGate

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

Formats the value using the given formatter.

impl<F: SmallField> Gate<F> for U32SubGate

fn check_compatible_with_cs<CS: ConstraintSystem<F>>(&self, cs: &CS) -> bool

type Evaluator = U32SubConstraintEvaluator

fn evaluator(&self) -> Self::Evaluator

type Tools = ()

fn placement_type(&self) -> GatePlacementType

fn num_repetitions_in_geometry(&self, geometry: &CSGeometry) -> usize

fn num_required_constants(&self, geometry: &CSGeometry) -> usize

fn capacity_per_row<CS: ConstraintSystem<F>>(&self, cs: &CS) -> usize

fn row_finalization_function<CS: ConstraintSystem<F>>() -> Option<GateRowCleanupFunction<CS>>

fn columns_finalization_function<CS: ConstraintSystem<F>>() -> Option<GateColumnsCleanupFunction<CS>>

impl Hash for U32SubGate

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

where __H: 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 PartialEq for U32SubGate

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 Eq for U32SubGate