DoxigAlpha
std › crypto › ff › Modulus › mul

mul

Multiplies two field elements.

Function parameters

Parameters

#

An unsigned big integer with a fixed maximum size (`max_bits`), suitable for cryptographic operations.

Functions

#
Uint
An unsigned big integer with a fixed maximum size (`max_bits`), suitable for cryptographic operations.
Modulus
A modulus, defining a finite field.

Error sets in this namespace

Error Sets

#
OverflowError
Value is too large for the destination.
InvalidModulusError
Invalid modulus.
NullExponentError
Exponentiation with a null exponent.
FieldElementError
Invalid field element for the given modulus.
RepresentationError
Invalid representation (Montgomery vs non-Montgomery domain.)
Error
The set of all possible errors `std.crypto.ff` functions can return.

Source

Implementation

#
pub fn mul(self: Self, x: Fe, y: Fe) Fe {
    if (x.montgomery != y.montgomery) {
        return self.montgomeryMul(x, y);
    }
    var a_ = x;
    if (x.montgomery == false) {
        self.toMontgomery(&a_) catch unreachable;
    } else {
        self.fromMontgomery(&a_) catch unreachable;
    }
    return self.montgomeryMul(a_, y);
}