tmontaigu
c95e38e26f
feat(hlapi): add flip operation
2025-10-06 11:07:12 +02:00
Enzo Di Maria
f0f3dd76eb
feat(gpu): aes 128
2025-10-06 09:31:36 +02:00
Andrei Stoian
0604d237eb
chore(gpu): multi-gpu debug target
2025-10-03 16:48:42 +02:00
Thomas Montaigu
e523fd2cb6
feat: add KVStore to the high level api
...
* Added Value type name to crate::integer::KVStore impl of Named trait
as well as a bool to check we deserialize the correct value type
(Radix vs SignedRadix)
* Add KVStore to high_level_api
* Add KVStore hlapi benches
* Remove specialized `[add,mul,sub]_to_slot` as `map` is now the
intended API.
- mul_to_slot was way slower than using `map`
- add/mul_to_slot were a bit faster (~5% latency-wise), but returned
less information (no old_value, no new_value, no boolean to check)
if the key matched
- Some known improvement can be made to map, which should result in
it being better than add/sub_to_slot
* Add FheIntegerType trait to make the KVStore generic over
FheUint/FheInt, and should make GPU integration "easy"
2025-10-03 15:01:23 +02:00
Mayeul@Zama
9b5596ca66
feat(integer): add oprf over any range
2025-10-03 10:00:18 +02:00
Nicolas Sarlin
aefec1fe64
feat(shortint): add ct compression for the ks32 atomic pattern
2025-10-03 09:59:50 +02:00
Agnes Leroy
f9e876730a
chore(gpu): remove support for drift noise reduction
2025-10-03 09:45:20 +02:00
pgardratzama
602c6faf8a
chore(hpu): update hpu-backend dependencies, fix pcc
2025-10-02 13:20:36 +02:00
pgardratzama
563502a6a6
chore(hpu): update tfhe-hpu-backend version, readme and run-on-hpu doc
2025-10-02 13:20:36 +02:00
JJ-hw
db16276715
chore(hpu): Remove all references to U55C, which is not supported anymore.
2025-10-02 13:20:36 +02:00
Nicolas Sarlin
fb2b1a13e7
chore(core): fix encryption of single lwe to use the noise generator
...
This is aligned with what is done with the list encryption
2025-10-02 10:36:12 +02:00
Arthur Meyre
9fdaa983e3
chore: fix october typos
2025-10-01 14:32:41 +02:00
Andrei Stoian
73de886c07
chore(gpu): make deterministic long run GPU test
2025-10-01 13:37:05 +02:00
Nicolas Sarlin
45a849ad36
feat(shortint): add noise squashing for ks32
2025-10-01 10:36:11 +02:00
Nicolas Sarlin
ef5b984448
docs(core): fix fft128 blind rotation doc
2025-10-01 10:36:11 +02:00
Thomas Montaigu
6abed1f228
chore: complete gpu meta params
...
Add noise-squashing params, noise-squashing compression and re-rand
2025-10-01 10:30:22 +02:00
David Testé
4f5d711c4e
chore(bench): add crs size in wasm zero-knowledge benchmark
...
Done to improve result display in Grafana.
2025-09-30 10:42:19 +02:00
Arthur Meyre
2602c9e1b3
fix(hlapi): clear rerand metadata once rerand is done
2025-09-29 18:17:35 +02:00
Arthur Meyre
06dffc60bd
chore: bump version to 1.4.0-alpha.3
2025-09-29 18:17:35 +02:00
Arthur Meyre
2a82076121
fix(shortint): accept trivial ciphertexts for rerand
...
- make sure to set their noise to NOMINAL once rerand is done
2025-09-29 17:51:44 +02:00
Agnes Leroy
15cab8b413
chore(gpu): get decompress size on gpu without calling on_gpu
2025-09-29 11:00:18 +02:00
Agnes Leroy
23d46ba2bc
fix(gpu): fix oprf output degree
2025-09-29 08:33:25 +02:00
Agnes Leroy
daf0e79e4a
fix(gpu): fix get oprf size on gpu
2025-09-29 08:33:25 +02:00
Arthur Meyre
c5ad73865c
chore: prepare alpha.2
...
- bump tfhe-cuda-backend to 0.12.0-alpha.2
- bump tfhe to 1.4.0-alpha.2
2025-09-27 11:35:27 +02:00
Arthur Meyre
6ca48132e1
chore: bump TFHE-rs to 1.4.0-alpha.1
2025-09-26 15:08:09 +02:00
Agnes Leroy
f53c75636d
chore(gpu): refactor oprf test, remove unused arg and fix multi-GPU for oprf
2025-09-26 13:19:34 +02:00
Arthur Meyre
ce63cabc05
chore: bump tfhe-cuda-backend to 0.12.0-alpha.1
2025-09-26 10:39:24 +02:00
Nicolas Sarlin
451cfe3aba
fix(core): removed sanity check for scalar size before zk pke encryption
2025-09-25 13:44:06 +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
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
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
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
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
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
