Trait redc::Redc[−][src]

pub trait Redc: Sized {
    type SourceType;
    type FieldType;
    fn setup_field(self) -> Self::FieldType;
    fn to_montgomery(self, field: &Self::FieldType) -> Self;
    fn to_montgomery_unchecked(self, field: &Self::FieldType) -> Self;
    fn to_normal(self, field: &Self::FieldType) -> Self;
    fn mod_pow(self, exponent: Self, field: &Self::FieldType) -> Self;
}

Associated Types

type SourceType

type FieldType

Required methods

fn setup_field(self) -> Self::FieldType

fn to_montgomery(self, field: &Self::FieldType) -> Self

fn to_montgomery_unchecked(self, field: &Self::FieldType) -> Self

fn to_normal(self, field: &Self::FieldType) -> Self

fn mod_pow(self, exponent: Self, field: &Self::FieldType) -> Self

Implementations on Foreign Types

impl Redc for u64

type SourceType = u128

type FieldType = PrimIntField<Self>

fn setup_field(self) -> Self::FieldType

fn to_montgomery_unchecked(self, field: &Self::FieldType) -> Self

fn to_montgomery(self, field: &Self::FieldType) -> Self

fn to_normal(self, field: &Self::FieldType) -> Self

fn mod_pow(self, exponent: Self, field: &Self::FieldType) -> Self

impl Redc for u128

type SourceType = TwoWord<Self>

type FieldType = PrimIntField<Self>

fn setup_field(self) -> Self::FieldType

fn to_montgomery_unchecked(self, field: &Self::FieldType) -> Self

fn to_montgomery(self, field: &Self::FieldType) -> Self

fn to_normal(self, field: &Self::FieldType) -> Self

fn mod_pow(self, exponent: Self, field: &Self::FieldType) -> Self

impl Redc for Integer

type SourceType = Self

type FieldType = RugField

fn setup_field(self) -> Self::FieldType

fn to_montgomery_unchecked(self, field: &Self::FieldType) -> Self

fn to_montgomery(self, field: &Self::FieldType) -> Self

fn to_normal(self, field: &Self::FieldType) -> Self

fn mod_pow(self, exponent: Self, field: &Self::FieldType) -> Self

Implementors