fromMontgomery

Takes a field element out of the Montgomery form.

Function parameters

Parameters

self:Self
x:*Fe

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 fromMontgomery(self: Self, x: *Fe) RepresentationError!void {
    if (!x.montgomery) {
        return error.UnexpectedRepresentation;
    }
    self.shrink(x) catch unreachable;
    x.* = self.montgomeryMul(x.*, self.one());
    x.montgomery = false;
}