Struct FiniteField

pub struct FiniteField {}

A struct which implements the bottom layer finite field group needed to operate with the coordinates of the elliptic curve group.

Implementations

impl FiniteField

pub fn add( a: &BigUint, b: &BigUint, p: &BigUint, ) -> Result<BigUint, FiniteFieldError>

Adds to elements in the set

a + b = a mod p

pub fn mult( a: &BigUint, b: &BigUint, p: &BigUint, ) -> Result<BigUint, FiniteFieldError>

Multiplies to elements in the set

a * b = a mod p

pub fn inv_add(a: &BigUint, p: &BigUint) -> Result<BigUint, FiniteFieldError>

Finds the additive inverse of an element in the set:

a + (-a) = 0 mod p

pub fn subtract( a: &BigUint, b: &BigUint, p: &BigUint, ) -> Result<BigUint, FiniteFieldError>

Subtract two elements in the set:

a - b = a + (-b) = a mod p

pub fn inv_mult_prime( a: &BigUint, p: &BigUint, ) -> Result<BigUint, FiniteFieldError>

Finds the multiplicative inverse of an element in the set if p is a prime number using Fermat’s Little Theorem:

a^(-1) mod p = a^(p-2) mod p

Such that: a * a^(-1) = 1 mod p

pub fn divide( a: &BigUint, b: &BigUint, p: &BigUint, ) -> Result<BigUint, FiniteFieldError>

Divides two elements in the set:

a / b = a * b^(-1) = a mod p

pub fn check_less_than(a: &BigUint, b: &BigUint) -> Result<(), FiniteFieldError>