This crate provides traits for working with finite fields.
This trait represents an element of a field.
This represents an element of a prime field.
Calculate a + b + carry, returning the sum and modifying the carry value.
Calculate a + (b * c) + carry, returning the least significant digit and setting carry to the most significant digit.
Calculate a - b - borrow, returning the result and modifying the borrow value.