Agnes Leroy
3ba6a72166
chore(gpu): move sum ctxt lut allocation to host to save memory
2025-07-02 08:30:12 +01:00
tmontaigu
dbd158c641
feat(integer): add CompressedSquashedNoiseCiphertextList
2025-07-02 08:51:26 +02:00
Nicolas Sarlin
0a738c368a
chore(backward): update backward data repo branch
2025-07-01 14:18:10 +02:00
Arthur Meyre
4325da72cf
chore: allow to not perform the half case correction for mean compensation
2025-07-01 14:18:10 +02:00
Mayeul@Zama
e1620d4087
feat(shortint): add support for centered modulus switch in parameters
2025-07-01 14:18:10 +02:00
Mayeul@Zama
6805778cb8
feat: add centered modulus switch
2025-07-01 14:18:10 +02:00
Mayeul@Zama
802945fa52
feat(core): add missing APIs
2025-07-01 14:18:10 +02:00
Mayeul@Zama
fff86fb3b4
fix: fix feature gate
2025-07-01 14:18:10 +02:00
Nicolas Sarlin
950915a108
chore(ci): use the correct data branch in clippy_ws_tests
2025-07-01 14:18:10 +02:00
Andrei Stoian
5e6562878a
chore(gpu): add cuda debug target for integer tests
2025-07-01 10:37:17 +02:00
Andrei Stoian
d0743e9d3d
chore(gpu): refactor the gpu oom checker
2025-07-01 10:37:05 +02:00
Guillermo Oyarzun
981083360e
feat(gpu): increase keyswitch occupancy
2025-07-01 09:54:14 +02:00
tmontaigu
848f9d165c
feat: add upgrade key chain
...
This adds an UpgradeKeyChain struct
that can be used to easily upgrade parameters of ciphertexts
if some some upgrade keys are provided
2025-07-01 09:37:16 +02:00
Beka Barbakadze
2b57fc7bd8
feat(gpu): Avoid copy to host in sum ciphertexts
2025-07-01 07:58:09 +01:00
Andrei Stoian
e3d90341cf
chore(gpu): add abs to random op sequence test on GPU
2025-06-30 21:37:09 +02:00
Nicolas Sarlin
dd94d6f823
feat(zk)!: allow to forbid specific configs in zk conformance
...
BREAKING CHANGE:
- conformance for `CompactPkeProof` is now `CompactPkeProofConformanceParams`
- conformance for `shortint::ciphertext::zk::ProvenCompactCiphertextList` is now
`ProvenCompactCiphertextListConformanceParams`
2025-06-30 18:05:27 +02:00
Helder Campos
25362b2db2
feat(hpu): Adding support for modulus switch mean compensation
...
Including the pfail 2e-128 parameter set.
Note: The HPU mockup still does not support mean compensation.
2025-06-30 16:01:39 +01:00
Arthur Meyre
fe5542f39e
chore: add SLSA badge
...
Co-authored-by: Olexandr88 <radole1203@gmail.com >
2025-06-30 15:48:55 +02:00
Agnes Leroy
42112c53c2
chore(gpu): restore mul mem usage
2025-06-30 09:10:54 +01:00
Agnes Leroy
bc2e595cf5
fix(gpu): fix size tracker value
2025-06-27 17:12:11 +01:00
Enzo Di Maria
378b84946f
refactor(gpu): moving get_scalar_div_size_on_gpu to backend and fixing gpu tests
2025-06-27 17:02:50 +02:00
Enzo Di Maria
8a4c5ba8ef
refactor(gpu): moving unchecked_scalar_div_async to backend
2025-06-27 17:02:50 +02:00
Nicolas Sarlin
940a9ba860
chore(zk): enable tfhe-lints on zk pok
2025-06-27 14:34:25 +02:00
Nicolas Sarlin
c475dc058e
feat(zk): add compact hash mode for zkv2
2025-06-27 14:34:25 +02:00
Arthur Meyre
215ded90c0
chore: make multi bit pbs 128 more flexible
2025-06-20 17:15:11 +02:00
Agnes Leroy
8a2d93aaa8
fix(gpu): compression memory check bug, size computation was incorrect
2025-06-20 15:45:01 +02:00
Arthur Meyre
5a48483247
fix(shortint): wrong LweDimension returned by prf multibit mod switched ct
...
- added multi bit param to uniformity PRF check
2025-06-20 12:08:19 +02:00
pgardratzama
702989f796
fix(hpu): it seems transfer_safe is not totally safe with HPU
2025-06-20 10:04:16 +02:00
pgardratzama
cb1e298ebe
chore(hpu): modify workflow to fetch & pull bitstreams using to get git-lfs
2025-06-20 10:04:16 +02:00
Baptiste Roux
a271cedb05
fix(hpu): Remove some hardcoded filename in tandem
...
Also enhance error handling related to user misconfiguration.
And remove a bug with ami devn reading
2025-06-20 09:04:22 +02:00
Arthur Meyre
9eb0e831f5
chore: fix use proper parameter for wasm bench
...
javascript and their nonsensical fallbacks be damned to eternal suffering
2025-06-19 19:34:04 +02:00
Enzo Di Maria
7e4abfa4ff
refactor(gpu): moving extend_radix_with_sign_msb_async to backend
2025-06-19 14:51:02 +02:00
Nicolas Sarlin
ce7c15585e
chore(zk): refactor hashes to reuse code between proof and verify
2025-06-19 13:48:20 +02:00
Nicolas Sarlin
58f7457660
chore(zk): rename verify_inner to verify_impl to match the proof
2025-06-19 13:48:20 +02:00
David Testé
2d224e75a1
chore(ci): set pull-requests permission to write in commit checks
...
This is mandatory according to the action documentation,
notably to be able to write issue comment within the pull-request.
2025-06-19 13:45:44 +02:00
Agnes Leroy
e5a9145cce
fix(gpu): fix perf regression introduced in 1936ec6d84
2025-06-19 13:34:36 +02:00
tmontaigu
f5f7213289
feat: improve division for 2_2 parameters
...
The improvement is to compute the quotient digit by digit and
not bit by bit.
This could also probably work for 3_3 and 4_4 but it is not a priority
This brings the 64bits division down to ~5.5s from 8.6s
2025-06-19 13:03:40 +02:00
tmontaigu
b917cf4530
feat(core): plug XofSeed
2025-06-19 09:57:29 +02:00
Mayeul@Zama
1873b627d6
chore: add TODO for Glwe MS
2025-06-18 16:54:12 +02:00
Mayeul@Zama
cb8d753ea6
refactor(core): cleanup unused function
2025-06-18 16:54:12 +02:00
Mayeul@Zama
88e8fa6da9
refactor(core): separate BR and MS
2025-06-18 16:54:12 +02:00
Mayeul@Zama
0ea7c29dbd
refactor(core): separate BR and MS
2025-06-18 16:54:12 +02:00
Mayeul@Zama
d90bd8bf89
feat(core): add grouping_factor to MultiBitModulusSwitchedCt trait
2025-06-18 16:54:12 +02:00
Mayeul@Zama
bf5e4474a2
feat(core): add ModulusSwitchedCt trait
2025-06-18 16:54:12 +02:00
Mayeul@Zama
7fd5321b78
refactor(core): std_multi_bit_blind_rotate_assign takes msed input
2025-06-18 16:54:12 +02:00
Mayeul@Zama
c168dea284
refactor(core): rename MultiBitModulusSwitchedCt MultiBitModulusSwitchedLweCiphertext
2025-06-18 16:54:12 +02:00
Beka Barbakadze
1936ec6d84
refactor(gpu): refactor and optimize sum_ciphertext in cuda backend
2025-06-18 16:44:20 +02:00
Agnes Leroy
9864dba009
fix(gpu): fix degrees after scalar bitxor
2025-06-18 15:50:59 +02:00
Nicolas Sarlin
8c1ece4fd9
refactor(shortint): improve handling of empty compressed ct list
2025-06-18 11:08:59 +02:00
Nicolas Sarlin
343cad641c
chore: TFHE-rs 1.3.0
2025-06-18 10:20:49 +02:00
