Module 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 Aliases

KimchiForeignElement