Package emparams contains emulation parameters for well known fields.

DivHint computes the value z = x/y for inputs x and y and stores z in outputs.

GetHints returns all hint functions used in the package.

InverseHint computes the inverse x^-1 for the input x and stores it in outputs.

NewField returns an object to be used in-circuit to perform emulated arithmetic over the field defined by type parameter [FieldParams].

SqrtHint compute square root of the input.

UnwrapHint unwraps the native inputs into nonnative inputs.

UnwrapHintWithNativeInput unwraps the native inputs into native inputs.

UnwrapHintWithNativeOutput unwraps the native inputs into nonnative inputs.

ValueOf returns an Element[T] from a constant value.

Element defines an element in the ring of integers modulo n.

Field holds the configuration for non-native field operations.

FieldParams describes the emulated field characteristics.