Struct Fp 

pub struct Fp(pub [u64; 6]);

The P-384 coordinate field, GF(p) with p = 2^384 - 2^128 - 2^96 + 2^32 - 1.

Values are held in Montgomery form (a * R mod m). Arithmetic is branch-free and carries no data-dependent memory access.

Tuple Fields

0: [u64; 6]

Implementations

impl Fp

pub const MODULUS: [u64; 6]

The modulus, as little-endian 64-bit limbs.

pub const fn to_mont(limbs: [u64; 6]) -> Self

Convert a plain integer into Montgomery form.

pub const fn from_mont(&self) -> [u64; 6]

Convert out of Montgomery form.

pub fn square_n(&self, n: usize) -> Self

Repeated squaring, self^(2^n).

pub fn pow(&self, exponent: &[u64; 6]) -> Self

Exponentiation by a public exponent, square-and-multiply.

The exponent is always a fixed constant here (m - 2 for inversion, (p + 1) / 4 for square roots), so branching on its bits leaks nothing; the base stays secret throughout.

Trait Implementations

impl Clone for Fp

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for Fp

impl Debug for Fp

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Fp

impl Field for Fp

const ZERO: Self

The additive identity.

const ONE: Self

The multiplicative identity.

const BYTE_LEN: usize = 48

Width of Self::Bytes.

type Bytes = [u8; 48]

The canonical big-endian byte encoding.

fn add(&self, other: &Self) -> Self

Ring addition.

fn sub(&self, other: &Self) -> Self

Ring subtraction.

fn mul(&self, other: &Self) -> Self

Ring multiplication.

fn square(&self) -> Self

Squaring.

fn double(&self) -> Self

Doubling, cheaper than a general addition.

fn triple(&self) -> Self

Tripling, used by the a = -3 doubling formula.

fn neg(&self) -> Self

Negation.

fn invert(&self) -> Self

Multiplicative inverse, with inverse(0) == 0.

fn from_bytes(bytes: &Self::Bytes) -> Option<Self>

Decode a canonical encoding, rejecting values at or above the modulus.

fn from_bytes_reduced(bytes: &Self::Bytes) -> Self

Decode, reducing rather than rejecting.

fn to_bytes(&self) -> Self::Bytes

Encode canonically.

fn zero_bytes() -> Self::Bytes

Build a zeroed byte buffer of the right width.

fn is_zero(&self) -> Choice

Constant-time test for zero.

fn ct_eq(&self, other: &Self) -> Choice

Constant-time equality.

fn cmov(a: &mut Self, b: &Self, choice: Choice)

Constant-time conditional move.

fn is_odd(&self) -> Choice

Whether the canonical integer is odd — the SEC1 compression sign bit.

impl PartialEq for Fp

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for Fp