Trait elliptic_curve::ops::ReduceNonZero

pub trait ReduceNonZero<UInt: Integer + ArrayEncoding>: Sized {
    fn from_uint_reduced_nonzero(n: UInt) -> Self;
}

Modular reduction to a non-zero output.

This trait is primarily intended for use by curve implementations.

End users can use the Reduce impl on NonZeroScalar instead.

Required methods

fn from_uint_reduced_nonzero(n: UInt) -> Self

Perform a modular reduction, returning a field element.

Implementors

impl<C, I> ReduceNonZero<I> for NonZeroScalar<C> where
    C: Curve + ScalarArithmetic,
    I: Integer + ArrayEncoding,
    Scalar<C>: ReduceNonZero<I>,