Module sp1_core::operations

Operations implement common operations on sets of columns.

They should always implement aim to implement populate and eval methods. The populate method is used to populate the columns with values, while the eval method is used to evaluate the constraints.

Modules

• field

Structs

• Add4Operation
  A set of columns needed to compute the add of four words.
• Add5Operation
  A set of columns needed to compute the sum of five words.
• AddOperation
  A set of columns needed to compute the add of two words.
• AndOperation
  A set of columns needed to compute the and of two words.
• AssertLtColsBits
  Operation columns for verifying that an element is within the range [0, modulus).
• AssertLtColsBytes
  Operation columns for verifying that an element is within the range [0, modulus).
• BabyBearBitDecomposition
• BabyBearWordRangeChecker
  A set of columns needed to compute the add of two words.
• FixedRotateRightOperation
  A set of columns needed to compute rotateright of a word with a fixed offset R.
• FixedShiftRightOperation
  A set of columns needed to compute >> of a word with a fixed offset R.
• IsEqualWordOperation
  A set of columns needed to compute the equality of two words.
• IsZeroOperation
  A set of columns needed to compute whether the given word is 0.
• IsZeroWordOperation
  A set of columns needed to compute whether the given word is 0.
• NotOperation
  A set of columns needed to compute the not of a word.
• OrOperation
  A set of columns needed to compute the or of two words.
• XorOperation
  A set of columns needed to compute the xor of two words.