Trait Reduce 

pub trait Reduce<Uint>: Sized
where
    Uint: Integer,
{
    type Bytes: AsRef<[u8]>;

    // Required methods
    fn reduce(n: Uint) -> Self;
    fn reduce_bytes(bytes: &Self::Bytes) -> Self;
}

Modular reduction.

Required Associated Types

type Bytes: AsRef<[u8]>

Bytes used as input to Reduce::reduce_bytes.

Required Methods

fn reduce(n: Uint) -> Self

Perform a modular reduction, returning a field element.

fn reduce_bytes(bytes: &Self::Bytes) -> Self

Interpret the given bytes as an integer and perform a modular reduction.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Reduce<Uint<crypto_bigint::::uint::U256::{constant#0}>> for airbender_crypto::k256::Scalar

type Bytes = GenericArray<u8, <Secp256k1 as Curve>::FieldBytesSize>

impl Reduce<Uint<crypto_bigint::::uint::U256::{constant#0}>> for airbender_crypto::p256::Scalar

type Bytes = GenericArray<u8, <NistP256 as Curve>::FieldBytesSize>

impl Reduce<Uint<crypto_bigint::::uint::U512::{constant#0}>> for airbender_crypto::k256::Scalar

type Bytes = GenericArray<u8, UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>>

impl<C, I> Reduce<I> for NonZeroScalar<C>

where C: CurveArithmetic, I: Integer + ArrayEncoding, <C as CurveArithmetic>::Scalar: Reduce<I> + ReduceNonZero<I>,

Note: this is a non-zero reduction, as it’s impl’d for NonZeroScalar.

type Bytes = <<C as CurveArithmetic>::Scalar as Reduce<I>>::Bytes