Nicolas Sarlin
a47ebe93aa
chore(versionable): bump version to 0.6.0
2025-04-07 09:48:38 +02:00
Nicolas Sarlin
5f9ac48dbe
feat(versionable): add skip attribute to skip field versioning
2025-04-07 09:48:38 +02:00
Baptiste Roux
e57b91eccd
feat(ntt-bnf): Add back&Forth ntt implementation
...
This implementation work on 2**k modulus and used modswitch before and
after every cmux. It mimics the HW implementation
Also modified the bootstrapping key conversion to correctly work with
ciphertext_modulus that is a power of two and with width != of native
one
NB: After decomposition a simple simple reencoding of negative value is
done instead regarding used prime instead of a full modswitch.
2025-04-07 09:07:47 +02:00
Pedro Alves
618e4b36a7
feat(gpu): implement ZK's expand
2025-04-05 19:57:39 -03:00
Guillermo Oyarzun
08681fb81f
feat(gpu): add drift to 128-bit pbs tests
2025-04-03 16:33:18 +02:00
tmontaigu
1e8a12b1e9
feat(hlapi): bind some missing ops
2025-04-03 16:26:10 +02:00
tmontaigu
cecf1f24f3
refactor(hlapi): create 'meta' macro for scalar ops
2025-04-03 16:26:10 +02:00
Agnes Leroy
da3b1cdbb0
chore(gpu): fix bench worflow
2025-04-03 11:54:15 +02:00
Agnes Leroy
2921084ef9
chore(gpu): fix ks_pbs bench on gpu
2025-04-03 11:54:15 +02:00
Agnes Leroy
6b35616515
chore(gpu): add scalar ops to dedup bench ops
2025-04-03 11:54:15 +02:00
David Testé
f9202d524e
chore(ci): fix handling of instance setup failure
...
If an instance, that is not a single-h100, fails to start, the whole setup-instance job have to fail.
Only single-h100 profile can use a permanent remote instance.
2025-04-03 09:33:14 +02:00
Agnes Leroy
eee819cd91
chore(gpu): decrease test threads for small instances
2025-04-02 18:00:50 +02:00
Guillermo Oyarzun
23cbafaa57
fix(gpu): update panic condition to apply only to tbc
2025-04-01 08:35:35 -03:00
Arthur Meyre
69438d40a8
chore(ci): fix data PR close workflow
2025-04-01 11:31:07 +02:00
Arthur Meyre
7354265c52
fix(ci): get head_ref to get a name for the backward compat branch
2025-04-01 11:03:27 +02:00
Arthur Meyre
e8576ca2e1
chore: bump version for release, remove alpha
2025-04-01 11:03:27 +02:00
Arthur Meyre
413559e536
test: update backwad compat tests to test the new ciphertexts types
2025-04-01 11:03:27 +02:00
Arthur Meyre
87e1b57803
feat(hl): add noise squashing primitives to the HL API
2025-04-01 11:03:27 +02:00
Arthur Meyre
7ae4f00805
refactor(integer): more stringent coherence tests for parameters/keys
2025-04-01 11:03:27 +02:00
Nicolas Sarlin
ce56ea2078
feat(hl): create FheTypes from i32
2025-04-01 10:00:38 +02:00
tmontaigu
f9795a6199
feat(hlapi): Add boolean-dot-prod
2025-03-31 23:03:57 +02:00
tmontaigu
c768af8093
feat: add OverflowingAdd trait
...
Add a OverflowingAdd trait and make UnsignedInteger
and SignedInteger depend on it
This is so that other parts of the code can
use the OverflowingAdd trait without requiring
the big Unsigned/Signed Bound
2025-03-31 23:03:57 +02:00
tmontaigu
d0ce05027c
feat(integer): boolean_scalar_dot_prod
...
Add function do compute a dot product between a vector of encrypted
boolean values and a vector of clear values
2025-03-31 23:03:57 +02:00
tmontaigu
1771a400bc
feat: add clear - ciphertex
...
Add integer and hlapi function to perform
`clear - ciphertext`
As subtraction is not commutative having a specialized version
is better.
As can be seen from the code, the real benefit is for the default
version where the cost of `clear - ciphertext` is the same as
`clear + ciphertex` which is better that transforming the clear into
a trivial ciphertext to perform the subtract algorithm
2025-03-31 23:03:36 +02:00
David Testé
bed95d26f6
chore(bench): implement throughput benchmarks on core_crypto layer
2025-03-31 16:05:41 +02:00
dependabot[bot]
9f2e8128e6
chore(deps): bump tj-actions/changed-files from 46.0.2 to 46.0.3
...
Bumps [tj-actions/changed-files](https://github.com/tj-actions/changed-files ) from 46.0.2 to 46.0.3.
- [Release notes](https://github.com/tj-actions/changed-files/releases )
- [Changelog](https://github.com/tj-actions/changed-files/blob/main/HISTORY.md )
- [Commits](26a38635fc...823fcebdb3support@github.com >
2025-03-31 14:47:26 +02:00
Beka Barbakadze
8a0bf69f11
fix(gpu): fix max shared memory bug for CG PBS
2025-03-31 14:10:07 +02:00
dependabot[bot]
20602453ce
chore(deps): bump zgosalvez/github-actions-ensure-sha-pinned-actions
...
Bumps [zgosalvez/github-actions-ensure-sha-pinned-actions](https://github.com/zgosalvez/github-actions-ensure-sha-pinned-actions ) from 3.0.22 to 3.0.23.
- [Release notes](https://github.com/zgosalvez/github-actions-ensure-sha-pinned-actions/releases )
- [Commits](25ed13d062...4830be28cesupport@github.com >
2025-03-31 13:28:04 +02:00
tmontaigu
1e58803432
feat(hlapi): add scalar cmux
...
The current IfThenElse trait was too restrictive
to be able to use it to add these methods so a new trait
was added.
This trait uses method name with the scalar prefix to avoid
conflicts and avoid introducing breaking changes
2025-03-31 10:02:05 +02:00
tmontaigu
1e5fb00715
fix(integer): scalar cmux
...
Default shortint ops were used, leading
to carries being cleaned internally which
we did not want
2025-03-31 10:02:05 +02:00
tmontaigu
78fc99aa79
feat(tfhe-ntt): Add custom root-of-unity for Solinas Prime
...
Those root-of-unity enable friendly twiddle generation with low hamming-weigth.
And thus, enable to replace some multiplication with simple shift.
Co-authored-by: Baptiste Roux <baptiste.roux@zama.ai >
2025-03-28 17:23:29 +01:00
youben11
2c3cf3bfd3
feat(core): chunked seeded lwe_bsk generation
2025-03-28 17:23:09 +01:00
youben11
6a252fc08b
docs(core): fix lwe_bsk_chunk docs
2025-03-28 17:23:09 +01:00
youben11
a037ca5618
feat(core): make lwe_bsk_chunk safe_serializable (impl Named trait)
2025-03-28 17:23:09 +01:00
Nicolas Sarlin
1f381cf9da
chore(tests): run clippy on workspace tests
2025-03-28 15:34:14 +01:00
Nicolas Sarlin
41a09317e7
fix(tests): re-enable backward tests that were skipped
2025-03-28 12:58:15 +01:00
Nicolas Sarlin
6ad29e4540
chore(shortint): fix typo in comment
2025-03-28 11:02:32 +01:00
Nicolas Sarlin
009257b63e
chore(hl): remove unwrap in conformance checks
2025-03-28 11:02:32 +01:00
Agnes Leroy
3d1c25888c
chore(gpu): reduce test threads for multi-gpu tests
2025-03-28 10:43:35 +01:00
Agnes Leroy
e0d442922e
chore(gpu): fix integer throughput bench
...
- fix num sms for pcie H100 VM
- reduce minimum loading to avoid oom error on mul 256-bit
2025-03-28 10:43:30 +01:00
youben11
8e6663e9fb
feat(core): chunked lwe_bsk generation
2025-03-27 18:17:18 +01:00
youben11
0d722d167e
chore: ignore pycache folders
...
some make target generate that
2025-03-27 18:17:18 +01:00
Arthur Meyre
21abcbdf4c
feat(integer): add noise squashing to integer
2025-03-27 18:16:06 +01:00
Arthur Meyre
8e30d5e538
refactor(shortint): make NoiseSquashedCiphertext more future proof
...
- keep message/carry just in case... also allows to perform more runtime
checks
2025-03-27 18:16:06 +01:00
Arthur Meyre
d82a0a4b75
test(integer): add a corner case for signed radix decryption
2025-03-27 18:16:06 +01:00
David Testé
91dc4f44da
chore: update tfhe-fft and tfhe-ntt minor version
...
This is done to get the current version of dependencies defined in workspace, especially pulp.
2025-03-27 15:57:00 +01:00
Guillermo Oyarzun
9eb6d5afd1
feat(gpu): add modulus switch noise reduction gpu
2025-03-27 10:55:51 +01:00
Agnes Leroy
ac4d36d6f6
chore(gpu): modify erc20 throughput bench for better multi-gpu performance
2025-03-26 15:40:04 +01:00
Agnes Leroy
6e158cd109
chore(gpu): use template for first/last iter in split classical PBS
2025-03-26 10:01:39 +01:00
Agnes Leroy
cdcf00af45
chore(gpu): detect if we are in first or last iter with template argument for split kernel multi-bit PBS
2025-03-25 12:16:51 +01:00
