poulpy-cpu-ref 0.5.0

The providing concrete implementations of poulpy-hal through its open extension points and reference cpu code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

//! Scalar-vector product (SVP) operations for [`NTT120Ref`](crate::NTT120Ref).
//!
//! Implements the `SvpPPol*` and `SvpApply*` OEP traits. SVP multiplies a
//! single scalar polynomial (prepared into NTT domain as `SvpPPol`, q120c format)
//! against a `VecZnxDft` (q120b format), producing a `VecZnxDft` result.
//!
//! - **Prepare**: NTT a `ScalarZnx` into a prepared `SvpPPol` (q120c).
//! - **Apply DFT-to-DFT**: pointwise multiply a prepared scalar against each limb
//!   of a `VecZnxDft`. Available in overwrite and in-place variants.

use poulpy_hal::{
    layouts::{Module, ScalarZnxToRef, SvpPPolToMut, SvpPPolToRef, VecZnxDftToMut, VecZnxDftToRef},
    oep::{SvpApplyDftToDftImpl, SvpApplyDftToDftInplaceImpl, SvpPrepareImpl},
    reference::ntt120::svp::{ntt120_svp_apply_dft_to_dft, ntt120_svp_apply_dft_to_dft_inplace, ntt120_svp_prepare},
};

use crate::NTT120Ref;

unsafe impl SvpPrepareImpl<Self> for NTT120Ref {
    fn svp_prepare_impl<R, A>(module: &Module<Self>, res: &mut R, res_col: usize, a: &A, a_col: usize)
    where
        R: SvpPPolToMut<Self>,
        A: ScalarZnxToRef,
    {
        ntt120_svp_prepare::<R, A, Self>(module, res, res_col, a, a_col);
    }
}

unsafe impl SvpApplyDftToDftImpl<Self> for NTT120Ref {
    fn svp_apply_dft_to_dft_impl<R, A, C>(
        module: &Module<Self>,
        res: &mut R,
        res_col: usize,
        a: &A,
        a_col: usize,
        b: &C,
        b_col: usize,
    ) where
        R: VecZnxDftToMut<Self>,
        A: SvpPPolToRef<Self>,
        C: VecZnxDftToRef<Self>,
    {
        ntt120_svp_apply_dft_to_dft::<R, A, C, Self>(module, res, res_col, a, a_col, b, b_col);
    }
}

unsafe impl SvpApplyDftToDftInplaceImpl for NTT120Ref {
    fn svp_apply_dft_to_dft_inplace_impl<R, A>(module: &Module<Self>, res: &mut R, res_col: usize, a: &A, a_col: usize)
    where
        R: VecZnxDftToMut<Self>,
        A: SvpPPolToRef<Self>,
    {
        ntt120_svp_apply_dft_to_dft_inplace::<R, A, Self>(module, res, res_col, a, a_col);
    }
}