Module modular_chip

Structs

• ModularAddSubCoreAir
  The number of limbs and limb bits are determined at runtime.
• ModularAddSubCoreChip
  Number of limbs and limb size are determined purely at runtime
• ModularAddSubCoreRecord
• ModularIsEqualCoreAir
• ModularIsEqualCoreChip
• ModularIsEqualCoreCols
• ModularIsEqualCoreRecord
• ModularMulDivCoreAir
  The number of limbs and limb bits are determined at runtime.
• ModularMulDivCoreChip
• ModularMulDivCoreRecord

Type Aliases

• ModularAddSubAir
  Each prime field element will be represented as NUM_LANES * LANE_SIZE cells in memory. The LANE_SIZE must be a power of 2 and determines the size of the batch memory read/writes.
• ModularAddSubChip
  See ModularAddSubAir.
• ModularIsEqualChip
• ModularMulDivAir
  Each prime field element will be represented as NUM_LANES * LANE_SIZE cells in memory. The LANE_SIZE must be a power of 2 and determines the size of the batch memory read/writes.
• ModularMulDivChip
  See ModularMulDivAir.