Struct SubwOperation 

#[repr(C)]
pub struct SubwOperation<T> {
    pub value: [T; 2],
    pub msb: U16MSBOperation<T>,
}

A set of columns needed to compute the sub of two words.

Fields

value: [T; 2]

The result of a - b.

msb: U16MSBOperation<T>

The msb of the result.

Implementations

impl<F: Field> SubwOperation<F>

pub fn populate(&mut self, record: &mut impl ByteRecord, a_u64: u64, b_u64: u64)

pub fn eval<AB>( builder: &mut AB, a: Word<AB::Var>, b: Word<AB::Var>, cols: SubwOperation<AB::Var>, is_real: AB::Expr, )

where AB: SP1AirBuilder + SP1OperationBuilder<U16MSBOperation<<AB as AirBuilder>::F>>,

Evaluate the sub operation. Assumes that a, b are valid Words of u16 limbs. Constrains that is_real is boolean. If is_real is true, the value is constrained to be the lower u32 of the SUBW result. Also, the msb will be constrained to equal the most significant bit of the value.

Trait Implementations

impl<T> Borrow<SubwOperation<T>> for [T]

fn borrow(&self) -> &SubwOperation<T>

Immutably borrows from an owned value.

impl<T> BorrowMut<SubwOperation<T>> for [T]

fn borrow_mut(&mut self) -> &mut SubwOperation<T>

Mutably borrows from an owned value.

impl<T: Clone> Clone for SubwOperation<T>

fn clone(&self) -> SubwOperation<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for SubwOperation<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for SubwOperation<T>

fn default() -> SubwOperation<T>

Returns the “default value” for a type.

impl<F: Field, EF: ExtensionField<F>> Into<Shape<ExprRef<F>, ExprExtRef<EF>>> for SubwOperation<ExprRef<F>>

fn into(self) -> Shape<ExprRef<F>, ExprExtRef<EF>>

Converts this type into the (usually inferred) input type.

impl<AB> SP1Operation<AB> for SubwOperation<<AB as AirBuilder>::F>

where AB: SP1AirBuilder + SP1OperationBuilder<U16MSBOperation<<AB as AirBuilder>::F>>,

type Input = SubwOperationInput<AB>

The input arguments to the operation.

type Output = ()

The output of the operation.

fn lower(builder: &mut AB, input: Self::Input) -> Self::Output

The underlying constraints corresponding to the operation.

fn eval(builder: &mut AB, input: Self::Input) -> Self::Output

where Self: Sized, AB: SP1OperationBuilder<Self>,

Evaluate the operation on the given inputs.

impl SP1OperationBuilder<SubwOperation<<ConstraintCompiler as AirBuilder>::F>> for ConstraintCompiler

fn eval_operation( &mut self, input: <SubwOperation<<ConstraintCompiler as AirBuilder>::F> as SP1Operation<ConstraintCompiler>>::Input, ) -> <SubwOperation<<ConstraintCompiler as AirBuilder>::F> as SP1Operation<ConstraintCompiler>>::Output

impl<T> StructReflectionHelper for SubwOperation<T>

fn struct_reflection() -> Option<Vec<String>>

impl<T: Copy> Copy for SubwOperation<T>