Module fp64 

An implementation of a 64-bit STARK-friendly prime field with modulus 2^64 - 2^32 + 1. The implementation follows https://eprint.iacr.org/2022/274.pdf and the code for the majority of functions was taken and adapted from https://github.com/novifinancial/winterfell

This field and its implementation has many attractive properties:

• Multiplication of two 32-bit values does not overflow field modulus.
• Field arithmetic in this field can be implemented using a few 32-bit addition, subtractions, and shifts.
• 8 is the 64th root of unity which opens up potential for optimized FFT implementations.

Structs

FpParams

Type Aliases

Fp

An optimized implementation of a 64-bit prime field with modulus 2^64 - 2^32 + 1