Commit Graph

83 Commits

Author SHA1 Message Date
Arthur Meyre
a0dee63a2f docs(tfhe): add docstring for GlweSecretKey
- update docstring to indicate useful functions to fill structs
- fix GlweMask docstring
2023-01-02 13:42:09 +01:00
Arthur Meyre
9d9c407f7f chore(tfhe): update wording to use imperative form in docstrings 2023-01-02 13:42:09 +01:00
Arthur Meyre
ff062a33f9 refactor(core): use from_le_bytes for gaussian RNG (see uniform RNG)
- avoids small allocations, uses std::mem::size_of for size
2023-01-02 13:42:09 +01:00
Arthur Meyre
e353af5a72 docs(tfhe): add GlweCiphertext documentation 2023-01-02 13:42:09 +01:00
Arthur Meyre
d274891948 chore(tfhe): finish GlweSize/PolynomialSize ordering consistency 2023-01-02 13:42:09 +01:00
Arthur Meyre
3129d18247 chore(ci): add test compilation checks 2023-01-02 13:42:09 +01:00
Arthur Meyre
59925e4273 docs(tfhe): add docstring for GlweCiphertextList
- uniformize orders of GlweSize and PolynomialSize arguments for GLWE-like
entities
2023-01-02 13:42:09 +01:00
Arthur Meyre
15864202d7 chore(tfhe): change update wording for in place random noise addition 2023-01-02 13:42:09 +01:00
Arthur Meyre
68dce4eeb8 chore(tfhe): change "in place" naming for "assign" following rust style 2023-01-02 13:42:09 +01:00
Arthur Meyre
390fffac88 docs(tfhe): add docstrings for GgswCiphertext, import formal definition 2023-01-02 13:42:09 +01:00
Arthur Meyre
1cb8aa026f chore(tfhe): misc fixes 2023-01-02 13:42:09 +01:00
Arthur Meyre
7db702cebf docs(core): bring back some doc strings for random generators 2023-01-02 13:42:09 +01:00
Arthur Meyre
583bfaa643 feat(tfhe): add karatsuba multiplication for polynomials 2023-01-02 13:42:09 +01:00
Arthur Meyre
1b3baf5635 docs(tfhe): update polynomial and slice algorithms naming
- update docstrings to be better rendered in html.
2023-01-02 13:42:09 +01:00
Arthur Meyre
0481fdadfb docs(tfhe): update name in module documentation 2023-01-02 13:42:09 +01:00
Arthur Meyre
3ce9017784 docs(tfhe): update entities documentation 2023-01-02 13:42:09 +01:00
Arthur Meyre
9e5de38050 docs(tfhe): update common traits docs 2023-01-02 13:42:09 +01:00
Arthur Meyre
afc19a9b5b docs(core): add docstring and tests for GgswCiphertextList 2023-01-02 13:42:09 +01:00
Arthur Meyre
48f7457330 feat(core): add prelude 2023-01-02 13:42:09 +01:00
Arthur Meyre
fe31bbf7c1 chore(core): update Plaintext docstring 2023-01-02 13:42:09 +01:00
J-B Orfila
80a426f1df docs(crypto): doctests slice algorithms 2023-01-02 13:42:09 +01:00
Arthur Meyre
525225a4b2 refactor(tfhe): rename polynomial primitives and add docstrings + tests 2023-01-02 13:42:09 +01:00
Arthur Meyre
c222459d07 chore(tfhe): derive PartialEq and Eq for all entities by default 2023-01-02 13:42:09 +01:00
Arthur Meyre
aec0a17a1c chore(tfhe): update rand to avoid deprecation warnings 2023-01-02 13:42:09 +01:00
Arthur Meyre
dbfc0b969b refactor(thfe): remove deprecation on MonomialDegree 2023-01-02 13:42:09 +01:00
Arthur Meyre
499f904a61 refactor(tfhe): move parameters and dispersion modules 2023-01-02 13:42:09 +01:00
Arthur Meyre
778414da89 refactor(tfhe): only one instance of FftBuffers, use for simple PBS algo 2023-01-02 13:42:09 +01:00
Arthur Meyre
a31087badf chore(doc): deny doc broken links crate-wide 2023-01-02 13:42:09 +01:00
Arthur Meyre
2dd6c237f9 chore(tfhe): add convenience traits to commons::traits for glob import 2023-01-02 13:42:09 +01:00
Arthur Meyre
286d016003 chore(tools): add convenience pcc and conformance targets 2023-01-02 13:42:09 +01:00
Arthur Meyre
03f63ec202 chore(tfhe): fix refactor TODOs 2023-01-02 13:42:09 +01:00
Arthur Meyre
4d08b61064 refactor(tfhe): unplug core and remove unused parts 2023-01-02 13:42:09 +01:00
Arthur Meyre
91b310289d refactor(boolean): unplug core engines 2023-01-02 13:42:09 +01:00
Arthur Meyre
bdd4461702 refactor(tfhe): unplug CUDA from boolean and remove the CUDA backend 2023-01-02 13:42:09 +01:00
Arthur Meyre
c6060eb478 refactor(tfhe): refactor serizalization, unplug core_crypto::prelude 2023-01-02 13:42:09 +01:00
Arthur Meyre
8ac33a9f63 refactor(tfhe): entities Clone + Debug and default parallel + serialization 2023-01-02 13:42:09 +01:00
J-B Orfila
ba984c2537 feat(core): blind rotate binding 2023-01-02 13:42:09 +01:00
Arthur Meyre
c933f6d900 refactor(tfhe): Change Base naming scheme 2023-01-02 13:42:09 +01:00
Arthur Meyre
b182d8ef05 refactor(tfhe): remove core engines from ShortintEngine 2023-01-02 13:42:09 +01:00
Arthur Meyre
4aef755a81 refactor(tfhe): migrate PFPKSK 2023-01-02 13:42:09 +01:00
Arthur Meyre
67e9b02283 refactor(tfhe): plug woPBS primitives 2023-01-02 13:42:09 +01:00
Arthur Meyre
00bbfd1545 refactor(tfhe): plug fft backend with new primitives
- uniformize fft caches to avoid serialization problems
2023-01-02 13:42:09 +01:00
Arthur Meyre
a239b9e386 chore(tfhe): remove binary naming 2023-01-02 13:42:09 +01:00
Arthur Meyre
04415320d9 refactor(tfhe): add allocate and encrypt for BSK
- use new generation when creating ServerKey in shortint
- next step requires taking parts of the FFT backend for the refactor
2023-01-02 13:42:09 +01:00
Arthur Meyre
4a0fb6b42e refactor(tfhe): add parallel bootstrap key generation
- add equivalence test between refactored sequential and parallel BSK
generation
2023-01-02 13:42:09 +01:00
Arthur Meyre
b445e349a6 chore(tfhe): update associated types name for contiguous container traits 2023-01-02 13:42:09 +01:00
Arthur Meyre
2aa84d2b3c refactor(tfhe): reproduce sequential BSK generation 2023-01-02 13:42:09 +01:00
Arthur Meyre
d0d0b542ac refactor(tfhe): add GGSW encryption with coherency test between old and new 2023-01-02 13:42:09 +01:00
Arthur Meyre
07f496ac23 chore(tfhe): minor fixes 2023-01-02 13:42:09 +01:00
Arthur Meyre
b3e456de28 refactor(tfhe): rewrite lwe keyswitch algorithm with new system 2023-01-02 13:42:09 +01:00