Crate starkom_goldilocks 

Goldilocks

Overview

Starkom’s implementation of the Goldilocks field.

The order of the field is the Goldilocks prime $p = 2^{64} - 2^{32} + 1$, or 0xFFFFFFFF00000001.

This crate provides not only the base Goldilocks field but also the extension fields Goldilocks^2 and Goldilocks^4.

Re-exports

pub use base::Scalar as GL;

pub use gl2::Scalar as GL2;

pub use gl4::Scalar as GL4;

Modules

base

gl2

gl4

Constants

MODULUS

The order of the Goldilocks field, 0xffffffff00000001.

QUADRATIC_NON_RESIDUE

The quadratic non-residue used to build the extension: X^2 = QUADRATIC_NON_RESIDUE in the base field.

Functions

from_const

Alias for GL::from_const.