Thomas Montaigu
91b62c737f
chore(ci): increase timeout to 8hours for unsigned integer tests
2025-09-24 18:22:35 +02:00
Nicolas Sarlin
da12bb29d8
chore(core): fix typo in ms noise test comment
2025-09-24 17:20:05 +02:00
Arthur Meyre
d60028c47c
chore: bump tfhe-cuda-backend to 0.12.0-alpha.0
2025-09-24 15:57:30 +02:00
Arthur Meyre
d5b5369a9a
chore: bump tfhe-zk-pok to 0.7.3
2025-09-24 15:52:33 +02:00
David Testé
9457ca786c
chore(ci): fix release workflows token permissions
2025-09-24 15:01:24 +02:00
Thomas Montaigu
8b5d7321fb
chore: split up more xof key gen function
2025-09-24 14:08:13 +02:00
Thomas Montaigu
736185bb31
feat: make XofKeySet serializable
2025-09-24 14:08:13 +02:00
Thomas Montaigu
e4b230aaf1
chore(XofKetSet): generate mod switch key after BSK
2025-09-24 14:08:13 +02:00
Thomas Montaigu
7ed827808c
feat: add noise squashing compression to xof keyset
2025-09-24 14:08:13 +02:00
Thomas Montaigu
6e7aaac90f
feat: add re randomization key to XofKeySet
2025-09-24 14:08:13 +02:00
Thomas Montaigu
d1c190fac6
feat(hlapi): add XofKeySet
...
This adds a specialized struct that is able to generate keys for the
high_level_api in a way that is compatible with the NIST/MPC protocol
There are still things to be done in later commits:
- Backward compatibility
- NIST compliant ClientKey generation
2025-09-24 14:08:13 +02:00
Arthur Meyre
7e1c8f7db5
chore: make NoiseSimulationLwe/NoiseSimulationGlwe properly private
...
- this avoids submodules of the noise_simulation module to be able to
partially update an output
- switch the NEG_INFINITY default value for Variance to NAN, NAN will fail
all comparisons and absorb all computations which is a nice way to
propagate an undefined noise value in our case
2025-09-24 10:42:39 +02:00
Arthur Meyre
d30c2060bf
test: implemented noise simulation traits for shortint keys
...
- now manages mean reduction and shifted ms
2025-09-24 10:42:39 +02:00
Arthur Meyre
4ccd5ea262
chore: update noise formulas with latest automated code gen
2025-09-24 10:42:39 +02:00
Arthur Meyre
1ab3022df8
chore: update parameters with mean reduction technique
...
- parameters checked visually with 1.1 for those who differ, all seems ok
2025-09-24 10:42:39 +02:00
Arthur Meyre
a257849c66
chore: various README fixes
...
co-authored-by: Sumitds074 <sumitds074@gmail.com >
2025-09-23 21:04:27 +02:00
Arthur Meyre
0f4f8dd755
chore(versionable): bump version to 0.6.2
2025-09-23 21:03:30 +02:00
Nicolas Sarlin
aaaa929c2e
chore(tfhe): prepare release 1.4.0-alpha.0
2025-09-23 16:35:42 +02:00
David Testé
d397ea3a39
chore(bench): handle ks32 atomic pattern in key size measurements
2025-09-23 12:01:33 +02:00
Arthur Meyre
3e25536021
test: add multi bit blind rotate traits
...
- given the nature of the mod switch it seems easier to think in terms of
mod switch + blind rotate, the classic PBS might get updated in a similar
way, to be determined
2025-09-23 10:36:53 +02:00
Arthur Meyre
1c19851491
test: add multi bit modswitch noise simulation traits
2025-09-23 10:36:53 +02:00
Agnes Leroy
4b0623da4a
chore(gpu): remove unused variable
2025-09-22 16:36:34 +02:00
Guillermo Oyarzun
d415d47894
chore(gpu): remove unnecessary nvtx lib dependency
2025-09-22 16:34:57 +02:00
Nicolas Sarlin
e22f9c09e3
chore(ci): fix audit workflow name
2025-09-22 15:31:55 +02:00
Nicolas Sarlin
4d02d3abb4
fix(hpu): clippy lint
2025-09-22 14:02:41 +02:00
Nicolas Sarlin
ae6f96e0ec
chore(core): use a single rng for cpk encryption
2025-09-22 14:02:41 +02:00
Nicolas Sarlin
70e1828c58
chore(backward): add backward compat tests for rerand
2025-09-22 14:02:41 +02:00
Nicolas Sarlin
1b1e6a7068
chore(shortint): add rerand to the meta parameters
2025-09-22 14:02:41 +02:00
Nicolas Sarlin
fc447fd2d0
fix: backward compatibility tests with cache misses
2025-09-22 14:02:41 +02:00
Arthur Meyre
d5e5902f61
feat: add ciphertexts re-randomization
2025-09-22 14:02:41 +02:00
Thomas Montaigu
9f54777ee1
feat(integer): add KVStore compression and serialization
2025-09-22 09:39:59 +02:00
Nicolas Sarlin
4a73b7bb4b
fix(versionable): use full type path in proc macro
...
This avoids name clashes if user re-defines the type
2025-09-19 16:03:56 +02:00
Guillermo Oyarzun
022cb3b18a
fix(gpu): avoid out of memory when benchmarking throughput
2025-09-19 14:44:12 +02:00
David Testé
c4feabbfa3
chore(ci): revert package-lock.json
2025-09-19 09:30:15 +02:00
David Testé
3c6ed37a18
chore(ci): factorize release workflows by using a sub-workflow
2025-09-18 17:52:34 +02:00
Agnes Leroy
fe6e81ff78
chore(gpu): post hackathon cleanup
2025-09-18 16:30:45 +02:00
Andrei Stoian
87c0d646a4
fix(gpu): coprocessor bench
2025-09-18 13:56:55 +02:00
Agnes Leroy
e5b39a6d4d
fix(gpu): fix memory leak in multi-gpu calculations
2025-09-18 13:55:03 +02:00
Arthur Meyre
27e2fbd972
chore: add implementation note for the NTT formula
2025-09-18 09:51:53 +02:00
Arthur Meyre
f54fbf52ce
chore: bump tfhe-ntt version to 0.6.1
2025-09-18 09:51:53 +02:00
Arthur Meyre
2a0dfa5b17
fix(ntt): same update for 64 bits code
2025-09-18 09:51:53 +02:00
Arthur Meyre
a4841036b7
fix: make sure computations don't overflow for certain primes for 32 bits
...
- The original code seemed to assume that the Barrett reduction would not
overflow if p <= 2^31, this is incorrect but rare
- The correctness constraint has a bound much smaller than 2^31, some
primes bigger than the derived threshold can still use the fast code
given a certain criterion is respected which corresponds to a "lucky" case
of the Barrett reduction, the new code now manages this
maths explained in https://blog.zksecurity.xyz/posts/barrett-tighter-bound/
and copiously in comments in the code
2025-09-18 09:51:53 +02:00
Andrei Stoian
1dcc3c8c89
chore(gpu): structure to encapsulate streams
2025-09-18 09:43:17 +02:00
Nicolas Sarlin
1a2643d1da
fix(ci): use precise wasm-bindgen version for the cli
2025-09-17 13:17:57 +02:00
David Testé
bc257904e3
chore(ci): fix issue_comment trigger event for regression bench
2025-09-17 12:15:32 +02:00
Arthur Meyre
8982844a5b
chore: adapt naming of traits to better match current scheme
...
- Standard -> Classic when referring to original PBS implementation
2025-09-17 10:32:40 +02:00
Arthur Meyre
e80d2548af
fix: fix noise simulation modulus instantiation
2025-09-17 10:32:40 +02:00
Arthur Meyre
c0ab0a5752
chore: split noise simulation primitives in sub modules
...
- keep things easier to manage in terms of file size and content density
2025-09-17 10:32:40 +02:00
Arthur Meyre
f7bfe2f10c
chore: uniformize noise check tools naming
2025-09-17 10:32:40 +02:00
Arthur Meyre
29c390d92c
chore: reorg noise check tools
2025-09-17 10:32:40 +02:00
