Module risc0_zkp::core::fp

Support for the base finite field modulo 15*2^27 + 1

Structs

Fp

The Fp class is an element of the finite field F_p, where P is the prime number 15*2^27 + 1. Put another way, Fp is basically integer arithmetic modulo P.

Constants

P

The modulus of the field.

P_U64

The modulus of the field as a u64.

Traits

FpMul

Provides support for multiplying by a factor with an Fp type.