poulpy-ckks 0.6.0

A backend-agnostic crate implementing the CKKS FHE scheme
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

use crate::default::pow2::CKKSPow2Default;

use anyhow::Result;
use poulpy_core::{
    GLWECopy, GLWEShift,
    layouts::{GLWEInfos, LWEInfos},
};
use poulpy_hal::layouts::{Backend, Module, ScratchArena};

use crate::{CKKSInfos, GLWEToBackendMut, GLWEToBackendRef, SetCKKSInfos};

/// # Safety
///
/// Implementations must satisfy the contracts of all trait methods, including
/// any HAL-level invariants (alignment, layout, scratch sizing) implied by the
/// associated method signatures.
pub unsafe trait CKKSPow2Impl<BE: Backend>: Backend {
    fn ckks_mul_pow2_tmp_bytes(module: &Module<BE>) -> usize;
    fn ckks_mul_pow2_into<Dst, Src>(
        module: &Module<BE>,
        dst: &mut Dst,
        src: &Src,
        bits: usize,
        scratch: &mut ScratchArena<'_, BE>,
    ) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos,
        Src: GLWEToBackendRef<BE> + GLWEInfos + LWEInfos + CKKSInfos;
    fn ckks_mul_pow2_assign<Dst>(
        module: &Module<BE>,
        dst: &mut Dst,
        bits: usize,
        scratch: &mut ScratchArena<'_, BE>,
    ) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos;
    fn ckks_div_pow2_tmp_bytes(module: &Module<BE>) -> usize;
    fn ckks_div_pow2_into<Dst, Src>(
        module: &Module<BE>,
        dst: &mut Dst,
        src: &Src,
        bits: usize,
        scratch: &mut ScratchArena<'_, BE>,
    ) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos,
        Src: GLWEToBackendRef<BE> + GLWEInfos + LWEInfos + CKKSInfos;
    fn ckks_div_pow2_assign<Dst>(module: &Module<BE>, dst: &mut Dst, bits: usize) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos;
}

unsafe impl<BE: Backend> CKKSPow2Impl<BE> for BE
where
    BE: poulpy_hal::oep::HalVecZnxImpl<BE>,
    Module<BE>: crate::default::pow2::CKKSPow2Default<BE> + GLWECopy<BE> + GLWEShift<BE>,
{
    fn ckks_mul_pow2_tmp_bytes(module: &Module<BE>) -> usize {
        module.ckks_mul_pow2_tmp_bytes_default()
    }

    fn ckks_mul_pow2_into<Dst, Src>(
        module: &Module<BE>,
        dst: &mut Dst,
        src: &Src,
        bits: usize,
        scratch: &mut ScratchArena<'_, BE>,
    ) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos,
        Src: GLWEToBackendRef<BE> + GLWEInfos + LWEInfos + CKKSInfos,
    {
        module.ckks_mul_pow2_into_default(dst, src, bits, scratch)
    }

    fn ckks_mul_pow2_assign<Dst>(
        module: &Module<BE>,
        dst: &mut Dst,
        bits: usize,
        scratch: &mut ScratchArena<'_, BE>,
    ) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos,
    {
        module.ckks_mul_pow2_assign_default(dst, bits, scratch)
    }

    fn ckks_div_pow2_tmp_bytes(module: &Module<BE>) -> usize {
        module.ckks_div_pow2_tmp_bytes_default()
    }

    fn ckks_div_pow2_into<Dst, Src>(
        module: &Module<BE>,
        dst: &mut Dst,
        src: &Src,
        bits: usize,
        scratch: &mut ScratchArena<'_, BE>,
    ) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos,
        Src: GLWEToBackendRef<BE> + GLWEInfos + LWEInfos + CKKSInfos,
    {
        module.ckks_div_pow2_into_default(dst, src, bits, scratch)
    }

    fn ckks_div_pow2_assign<Dst>(module: &Module<BE>, dst: &mut Dst, bits: usize) -> Result<()>
    where
        Dst: GLWEToBackendMut<BE> + LWEInfos + CKKSInfos + SetCKKSInfos,
    {
        module.ckks_div_pow2_assign_default(dst, bits)
    }
}

#[macro_export]
macro_rules! impl_ckks_pow2_defaults {
    ($be:ty) => {
        impl $crate::default::pow2::CKKSPow2Default<$be> for ::poulpy_hal::layouts::Module<$be> {}
    };
}
pub use crate::impl_ckks_pow2_defaults;