Enzo Di Maria
cc33161b97
refactor(gpu): moving cast_to_signed to the backend
2025-12-02 12:40:47 +01:00
Nicolas Sarlin
f9c2a5d423
chore: use dedicated types for compressed modswitched conformance
2025-12-01 14:39:06 +01:00
Enzo Di Maria
3cfbaa40c3
refactor(gpu): unchecked_index_of_clear to backend
2025-11-28 14:34:53 +01:00
Andrei Stoian
e2063c8ef4
chore(gpu): bench KS latency batches
2025-11-27 17:32:44 +01:00
Enzo Di Maria
0aa0918fea
refactor(gpu): vector_find's functions to backend
2025-11-27 13:36:10 +01:00
Nicolas Sarlin
79a89c157a
chore(fft-ntt): bump to 0.10.0 and 0.7.0
2025-11-26 13:32:14 +01:00
Agnes Leroy
ef30be5086
chore(gpu): reduce long run tests number of inputs to avoid timeout on 4090
2025-11-26 13:06:14 +01:00
Nicolas Sarlin
212b925b5e
chore: use rust-toolchain.toml for default toolchain
2025-11-26 11:28:21 +01:00
Nicolas Sarlin
f8a958663b
chore(tfhe): rename nightly feature flag to avx512
2025-11-26 11:28:21 +01:00
Nicolas Sarlin
851bd01873
chore(fft): rename nightly feature flag to avx512
2025-11-26 11:28:21 +01:00
Nicolas Sarlin
8d1f6d4d06
chore(ntt): rename nightly feature flag to avx512
2025-11-26 11:28:21 +01:00
Nicolas Sarlin
8e566c5765
chore: update pulp and bytemuck
2025-11-26 11:28:21 +01:00
Thomas Montaigu
2002184da4
feat(Tag): impl From<&str>
2025-11-25 10:24:25 +01:00
Thomas Montaigu
614ca52749
feat(CompressedXofKeySet): impl key gen of ClientKey
...
This adds the implemention of the ClientKey generation
that respects the threshold specs, some points are:
* 2 random generators are used one for everything public (masks)
the other for everything private (private keys and noise).
These generators are seeded once.
* binary secret keys are generated using
`fill_slice_with_random_uniform_binary_bits` and support pmax param
2025-11-25 10:24:25 +01:00
Arthur Meyre
48cc709cf9
test(core): add exhaustive decomposition test on several levels
...
- also add a verification that recomposition works in the previously added
edge case test
2025-11-24 18:40:36 +01:00
David Testé
a75b5107ff
chore(docs): change svg benchmark table names
...
This is done to ease automated table generation through continuous integration pipeline.
2025-11-24 14:03:08 +01:00
Enzo Di Maria
32b1a7ab1d
refactor(gpu): unchecked_match_value_or to backend
2025-11-24 13:50:15 +01:00
Enzo Di Maria
1a7efbc21b
fix(gpu): constant number of blocks for outputs of match_value
2025-11-21 15:56:54 +01:00
Agnes Leroy
bc0a4fb0d6
chore(gpu): add classical pbs tests to HL API, complement missing tests, classical in long run
2025-11-21 09:15:04 +01:00
Enzo Di Maria
c6709a82c0
refactor(gpu): match_value to backend with multiple streams
2025-11-20 17:11:15 +01:00
Agnes Leroy
0f5e538f9a
chore(gpu): add better panic when calling old compression functions
2025-11-20 17:06:06 +01:00
Arthur Meyre
9b5df143cb
chore: update dp_ks_pbs128_packingks test to take metaparameters
2025-11-20 16:03:50 +01:00
Arthur Meyre
cbac102a0d
chore: update dp_ks_ms test to take metaparameters
2025-11-20 16:03:50 +01:00
Arthur Meyre
0da331590c
chore: update cpk_ks_ms test to take metaparameters
...
- also added a seemingly missing sanity check for cpk_ks_ms
2025-11-20 16:03:50 +01:00
Arthur Meyre
e5a15b33d9
chore: fix incorrect number in seed_bytes for rerand noise check test
...
- has no impact on correctness of test, in addition the size of the array
would have been the same due to integer division
2025-11-20 16:03:50 +01:00
Arthur Meyre
d68645c493
chore: update br_rerand_dp_ks_ms test to take metaparameters
2025-11-20 16:03:50 +01:00
Arthur Meyre
a72de66744
chore: update br_dp_packing_ms test to take metaparameters
2025-11-20 16:03:50 +01:00
Arthur Meyre
1b924fa872
chore: update br_dp_ks_ms test to take metaparameters
2025-11-20 16:03:50 +01:00
Arthur Meyre
560f595620
chore: remove temporary test param
2025-11-20 16:03:50 +01:00
Mayeul@Zama
f4665886ee
fix(integer): fix StaticUnsignedBigInt cast into u128
2025-11-20 15:40:39 +01:00
Beka Barbakadze
80cacbd079
feat(gpu): add boolean bitops in cuda backend
2025-11-20 14:56:21 +01:00
tmontaigu
1b17cfc0f8
chore(c-api): add missing docs for some C function
...
Add explanations on the fact that config and config buider
do not need to be freed/
2025-11-20 14:46:54 +01:00
Nicolas Sarlin
edb435bd46
chore: update msrv to 1.91.1
2025-11-20 09:29:37 +01:00
Arthur Meyre
19c2146b2d
chore: remove redundant log2/powf in params_to_file.rs
2025-11-19 12:59:26 +01:00
Nicolas Sarlin
ac6178fd35
chore(zk): add batched mode for verification pairings
2025-11-19 09:24:13 +01:00
Arthur Meyre
89bf6a3331
chore: add tool to update AP params' msg and carry moduli
2025-11-17 09:41:53 +01:00
Arthur Meyre
82cebb9b26
test(shortint): add compression atomic pattern for noise checks
...
- noise checks and pfail based on expected noise have been added
- compatible with KS PBS and KS32 PBS
2025-11-17 09:41:53 +01:00
Arthur Meyre
ba5f4850b9
chore: update naming of noise simulation primitive to avoid clashes
...
- makes it clearer from which parameters some noise simulation primitives
are built from
2025-11-17 09:41:53 +01:00
Arthur Meyre
7197b85ec9
chore: lift some restrictions on confidence interval function
...
- if a value is computed it will be correct
- if the value is not finite (NaN or infinity) we panic with a message to
the user indicating what course of action they can take
- ideally we would want to use a scientific crate written in rust, xsf-rust
seemed promising but the dependency on clang + libclang is proving more
annoying than not, given we would need a single function from xsf (and it's
hard to translate all the required pieces) we keep a sort of status quo
- statrs issue : https://github.com/statrs-dev/statrs/issues/361
2025-11-17 09:41:53 +01:00
Arthur Meyre
84c80c529d
chore: remove redundant clones
...
co-authored-by: Himess <95512809+Himess@users.noreply.github.com >
2025-11-14 14:14:39 +01:00
Arthur Meyre
c3c892708a
chore: fix comment confusing comment in decomposer.rs
...
- function is documented and the comment did not match, the behavior is
checked in a test
2025-11-14 14:14:24 +01:00
Arthur Meyre
d75844dea5
fix(core): fix decomposition algorithm not matching the theory
...
- problem arose from a shift being done on an unsigned value which did not
keep the signed characteristics of the represented signed value
- introduce an arithmetic_shift on the UnsignedInteger trait with a blanket
implementation
- add the edge case which revelead the issue
- the asm has been verified to only change for the shift operation being
applied, meaning no performance regression will occurr
2025-11-14 13:52:17 +01:00
Nicolas Sarlin
6d2de330a4
feat(core): create Lwe ct from mod switched lwe
2025-11-14 10:57:33 +01:00
pgardratzama
4dcc428d46
chore(hpu): update PBS results with latest bistream
2025-11-10 18:43:50 +01:00
pgardratzama
d38df76eb6
chore(hpu): adds a page about HPU PBS performances
2025-11-10 18:43:50 +01:00
David Testé
4cc2df42ed
chore(ci): make sage parameters dump ordered
...
This is done to ease line-by-line comparison between security check runs.
2025-11-07 17:24:19 +01:00
David Testé
40f500ef07
chore(ci): use tuniform value as xe value in parameters dump
2025-11-07 17:24:19 +01:00
Nicolas Sarlin
faaeab12d0
doc(core): update unix seeder doc
2025-11-07 15:44:23 +01:00
Mayeul@Zama
36fb820ed4
chore: fix new lints
2025-11-07 10:43:46 +01:00
Arthur Meyre
0cd0333875
chore: remove redundant Clone bound from get()
...
co-authored-by: VolodymyrBg <aqdrgg19@gmail.com >
2025-11-06 14:43:04 +01:00
