Arthur Meyre
46a3008739
test: add KS32 compatibility for the dp_ks_ms AP
2025-10-07 10:22:38 +02:00
Arthur Meyre
f2674da031
test: add KS32 compatibility for the br_dp_ks_ms AP
2025-10-07 10:22:38 +02:00
Arthur Meyre
12c2a2a8b7
feat: make FheUint/FheInt/FheBool compatible with AP params for conformance
...
- update From impl for conformance parameters to manage the AP params
2025-10-07 10:22:11 +02:00
pgardratzama
1b38f8ccfc
fix(hpu): fix expected value of ilog2 & modulus operation
2025-10-07 10:14:43 +02:00
Nicolas Sarlin
6a676551d8
chore(shortint): add metaparams for ks32
2025-10-07 09:51:09 +02:00
Thomas Montaigu
afb79a0b1c
chore(hlapi): export CompressedKVStore
...
Without this, users cannot use the CompressedKVStore type
that is required in the KVStore deserialization
2025-10-07 09:07:28 +02:00
Thomas Montaigu
0277403c45
feat: add From<MetaParameters> for Config
...
This convertion is important to make the use
of meta parameters for high level API
users
2025-10-06 16:47:13 +02:00
Thomas Montaigu
18159d6458
chore(MetaParameters)!: move re-rand ksk params in
...
Re-Randomization is something that requires a
dedicated public key.
Thus we move the parameters of the KSK
into the struct for dedicated PKE parameters
BREAKING CHANGE: This is breaking change regarding the latest alpha
released. But MetaParameters did not seem to be used directly in
fhevm/kms
2025-10-06 16:47:13 +02:00
Nicolas Sarlin
728409aef8
chore(hl): and cpk tests for ks32
2025-10-06 13:59:15 +02:00
Thomas Montaigu
034f3b3c25
feat(xofkeyset): add ks32 support
2025-10-06 13:59:15 +02:00
Nicolas Sarlin
c30e9c39f6
feat(shortint): add compact pke for the ks32 atomic pattern
2025-10-06 13:59:15 +02:00
Arthur Meyre
1513c3bc8c
chore: bump TFHE-rs to 1.4.0
2025-10-06 13:26:54 +02:00
Arthur Meyre
e07f07c4c8
chore: bump tfhe-cuda-backend to 0.12.0
2025-10-06 13:26:54 +02:00
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
