Struct Convolve 

pub struct Convolve<M>(PhantomData<fn() -> M>);

Tuple Fields

0: PhantomData<fn() -> M>

Trait Implementations

impl<M, N1, N2, N3> ConvolveSteps for Convolve<(M, (N1, N2, N3))>

where M: MIntConvert + MIntConvert<u32>, N1: Montgomery32NttModulus, N2: Montgomery32NttModulus, N3: Montgomery32NttModulus,

type T = Vec<MInt<M>>

type F = (Vec<MInt<N1>>, Vec<MInt<N2>>, Vec<MInt<N3>>)

fn length(t: &Self::T) -> usize

fn transform(t: Self::T, len: usize) -> Self::F

fn inverse_transform(f: Self::F, len: usize) -> Self::T

fn multiply(f: &mut Self::F, g: &Self::F)

fn convolve(a: Self::T, b: Self::T) -> Self::T

impl<N1, N2, N3> ConvolveSteps for Convolve<(u64, (N1, N2, N3))>

where N1: Montgomery32NttModulus, N2: Montgomery32NttModulus, N3: Montgomery32NttModulus,

type T = Vec<u64>

type F = (Vec<MInt<N1>>, Vec<MInt<N2>>, Vec<MInt<N3>>)

fn length(t: &Self::T) -> usize

fn transform(t: Self::T, len: usize) -> Self::F

fn inverse_transform(f: Self::F, len: usize) -> Self::T

fn multiply(f: &mut Self::F, g: &Self::F)

fn convolve(a: Self::T, b: Self::T) -> Self::T

impl<M> ConvolveSteps for Convolve<M>

where M: Montgomery32NttModulus,

type T = Vec<MInt<M>>

type F = Vec<MInt<M>>

fn length(t: &Self::T) -> usize

fn transform(t: Self::T, len: usize) -> Self::F

fn inverse_transform(f: Self::F, len: usize) -> Self::T

fn multiply(f: &mut Self::F, g: &Self::F)

fn convolve(a: Self::T, b: Self::T) -> Self::T

impl<M, N1, N2, N3> NttReuse for Convolve<(M, (N1, N2, N3))>

where M: MIntConvert + MIntConvert<u32>, N1: Montgomery32NttModulus, N2: Montgomery32NttModulus, N3: Montgomery32NttModulus,

fn ntt_doubling(f: Self::F) -> Self::F

F(a) → F(a + [0] * a.len())

fn even_mul_normal_neg(f: &Self::F, g: &Self::F) -> Self::F

F(a(x)), F(b(x)) → even(F(a(x) * b(-x)))

fn odd_mul_normal_neg(f: &Self::F, g: &Self::F) -> Self::F

F(a(x)), F(b(x)) → odd(F(a(x) * b(-x)))

const MULTIPLE: bool = true

impl<M> NttReuse for Convolve<M>

where M: Montgomery32NttModulus,

const MULTIPLE: bool = false

fn ntt_doubling(f: Self::F) -> Self::F

F(a) → F(a + [0] * a.len())

fn even_mul_normal_neg(f: &Self::F, g: &Self::F) -> Self::F

F(a(x)), F(b(x)) → even(F(a(x) * b(-x)))

fn odd_mul_normal_neg(f: &Self::F, g: &Self::F) -> Self::F

F(a(x)), F(b(x)) → odd(F(a(x) * b(-x)))