Nicolas Sarlin
70a0021cbf
chore: fix bincode dependency version
2026-01-02 18:57:32 +01:00
Thomas Montaigu
d394af7f4d
chore: bump dyn-stack to 0.13
...
Notable changes:
- StackReq methods no longer returns Result<StackReq, SizeOverflow>
instead, StackReq contains the invalid state.
Now, its when we create a PodBuffer that we can check/catch if the
size req is invalid by catching errors when calling
`PodBuffer::try_new`. Its also possible to manually check that
`stack_req != StackReq::OVERFLOW`
- GlobalaPodBuffer is now PodBuffer
2025-12-15 10:02:17 +01:00
Nicolas Sarlin
8e566c5765
chore: update pulp and bytemuck
2025-11-26 11:28:21 +01:00
Nicolas Sarlin
bf2e9ef504
chore(backward): each data generation crate has its own workspace
2025-11-26 11:28:21 +01:00
Nicolas Sarlin
fc78450245
chore: test vector generation tool for core algorithms
2025-11-25 13:45:49 +01:00
Nicolas Sarlin
edb435bd46
chore: update msrv to 1.91.1
2025-11-20 09:29:37 +01:00
Nicolas Sarlin
83b82091bd
chore: use common msrv for the workspace
...
Since cargo commands create a lock using the smallest msrv in the workspace, it
can prevent getting up-to-date dependencies
2025-10-31 09:31:43 +01:00
Arthur Meyre
a8520a2e22
chore: make main compile with 2024 edition dependencies
...
- resolver 3 makes sure that incompatible dependencies (rust version wise)
are not selected
- fix a new lint
2025-10-16 15:04:37 +02:00
Arthur Meyre
81cc0c31b4
chore: constrain bytemuck < 1.24.0 as we don't have avx512 updated code
2025-10-06 13:24:16 +02:00
Andrei Stoian
0604d237eb
chore(gpu): multi-gpu debug target
2025-10-03 16:48:42 +02:00
Nicolas Sarlin
6016755f9d
fix(js): bump wasm bindgen version
2025-09-05 17:55:33 +02:00
Nicolas Sarlin
e2c7359057
chore(csprng): use getrandom as random source for unix seeder
2025-09-03 17:21:22 +02:00
Nicolas Sarlin
5fa8cc8563
fix(core): use of deprecated rayon repeatn
2025-08-13 15:00:15 +02:00
Nicolas Sarlin
57cbab9fe1
chore(backward): integrate backward compat data
...
Code is taken from
59a6179831
Adapted to make ci work
2025-07-07 13:10:55 +02:00
Baptiste Roux
9ee8259002
feat(hpu): Add Hpu backend implementation
...
This backend abstract communication with Hpu Fpga hardware.
It define it's proper entities to prevent circular dependencies with
tfhe-rs.
Object lifetime is handle through Arc<Mutex<T>> wrapper, and enforce
that all objects currently alive in Hpu Hw are also kept valid on the
host side.
It contains the second version of HPU instruction set (HIS_V2.0):
* DOp have following properties:
+ Template as first class citizen
+ Support of Immediate template
+ Direct parser and conversion between Asm/Hex
+ Replace deku (and it's associated endianess limitation) by
+ bitfield_struct and manual parsing
* IOp have following properties:
+ Support various number of Destination
+ Support various number of Sources
+ Support various number of Immediat values
+ Support of multiple bitwidth (Not implemented yet in the Fpga
firmware)
Details could be view in `backends/tfhe-hpu-backend/Readme.md`
2025-05-16 16:30:23 +02:00
David Testé
67ec4a28c1
chore(bench): move benchmarks to their own crate
...
This is done to speed-up compilation duration by avoiding
recompiling tfhe each time a modification is made in a benchmark
file.
2025-05-09 13:46:27 +02:00
Arthur Meyre
d05ee42629
chore: add param_dedup to alias redundant parameter defs across versions
2025-05-08 09:30:36 +02:00
Mayeul@Zama
1600f8c995
chore: remove trivium from main workspace
2025-03-17 14:22:17 +01:00
Mayeul@Zama
fc4abd5fb1
chore: update toolchain
2025-02-21 15:03:23 +01:00
Mayeul@Zama
909ce4ecbb
chore: update rust dependencies
2025-01-20 09:42:38 +01:00
Mayeul@Zama
67783f4683
chore: upgrade wasm-bindgen
2025-01-20 09:42:38 +01:00
Nicolas Sarlin
9a64c34989
chore(lint): use dylint as lint driver for tfhe-lint
2025-01-14 18:30:04 +01:00
Nicolas Sarlin
cd5b3c61eb
chore(backward): move compat tests to avoid compiling them everytime
2025-01-10 09:43:04 +01:00
Arthur Meyre
1151bb267e
chore: update dependencies
2024-12-13 16:31:25 +01:00
Arthur Meyre
2d9c13569f
chore: rename concrete-csprng to tfhe-csprng
2024-11-21 10:47:48 +01:00
Arthur Meyre
36deaec607
chore(ntt): bring concrete-ntt in the repo as tfhe-ntt
2024-11-21 10:47:48 +01:00
Arthur Meyre
6a161fef0a
chore: bring concrete-fft as tfhe-fft in the repo
2024-11-18 13:17:58 +01:00
Nicolas Sarlin
36a58cf16c
chore(backward): add custom lint to detect missing Versionize implem
2024-07-17 13:44:30 +02:00
Nicolas Sarlin
ac211cf71f
test(tfhe): add tests for types backward compatibility
2024-06-24 10:07:14 +02:00
Nicolas Sarlin
444ebbde57
feat(vers): add crate for types versioning/backward compatibility
2024-06-24 10:07:14 +02:00
Arthur Meyre
f868bb2397
feat(tfhe): add zk-pok code base
...
- integration of work done by Sarah in the repo
Co-authored-by: sarah el kazdadi <sarah.elkazdadi@zama.ai >
2024-04-09 07:59:20 +02:00
Mayeul@Zama
9f70be9c95
feat(tfhe): disable debug assertions in devo profile
...
makes KS-PBS almost two times faster
2024-03-13 09:43:22 +01:00
Agnes Leroy
253062c5aa
chore(gpu): add tfhe-cuda-backend to the workspace
2024-02-01 15:23:49 +01:00
Arthur Meyre
d0e1a582e1
chore(csprng): add code base taken from concrete-core repo
2023-09-11 13:05:33 +02:00
Arthur Meyre
10f034171f
chore(ci): LTO is causing issues in M1 CI tests use LTO off instead
2023-07-10 09:34:10 +02:00
twiby
5f635e97fa
feat(apps): add Trivium application of TFHE
2023-06-23 16:01:40 +02:00
Arthur Meyre
f768e62d89
refactor(tfhe): add support for power of 2 q for LWE linalg + KS + PBS
2023-04-11 23:01:25 +02:00
Arthur Meyre
32f8561af1
chore(tfhe): add devo profile to be able to iterate faster on tests
2023-04-11 19:01:12 +02:00
Arthur Meyre
4ef7a73efe
chore(tools): add tasks tools to escape latex equations in docs
...
- add all checks to pcc and run that in CI
2023-01-02 13:42:09 +01:00
Arthur Meyre
74c4dbf781
feat(tfhe): new tfhe-rs package, initial commit
2022-11-10 19:03:08 +01:00