Module kimchi::circuits::polynomials::foreign_field_common

Common parameters and functions for kimchi’s foreign field circuits.

Constants

• BINARY_MODULUS_EXP
  Exponent of binary modulus (i.e. t)
• HI
  Index of high limb (in 3-limb foreign elements)
• LIMB_BITS
  Limb length for foreign field elements
• LIMB_COUNT
  Number of desired limbs for foreign field elements
• LO
  Index of low limb (in 3-limb foreign elements)
• MI
  Index of middle limb (in 3-limb foreign elements)
• TWO_TO_LIMB
  Two to the power of the limb length

Traits

• BigUintArrayCompose
  BigUint array compose helper
• BigUintArrayFieldHelpers
  BigUint array PrimeField helpers
• BigUintForeignFieldHelpers
  Foreign field helpers
• FieldArrayBigUintHelpers
  PrimeField array BigUint helpers
• FieldArrayCompact
  PrimeField array compact limbs
• FieldArrayCompose
  PrimeField array compose BigUint

Type Definitions

• KimchiForeignElement