Commit Graph

213 Commits

Author SHA1 Message Date
Alexandre Péré
f70a18bb0a feat(compiler): search space restriction 2024-11-14 14:44:27 +01:00
youben11
3f52db55eb feat(frontend): load TFHE-rs integer type from saved params (JSON) 2024-11-14 11:56:40 +01:00
youben11
e5d073a0eb fix(frontend): support higher bitwidth computation when using TFHE-rs 2024-11-14 08:45:05 +01:00
youben11
05585a3292 chore(frontend): remove duplicate test 2024-11-07 10:25:05 +01:00
youben11
f7881021e8 feat(frontend/backend): support TFHErs tensors 2024-11-07 10:25:01 +01:00
youben11
67895a1ccb chore(backend/frontend): update TFHE-rs 2024-11-04 11:43:04 +01:00
youben11
b0e7c085ea fix(frontend): consider padding bit during to_native conversion 2024-10-25 09:43:21 +01:00
youben11
e5c643ec14 fix(frontend): use esint when tfhers type is signed 2024-10-25 09:43:21 +01:00
youben11
6c7291cd57 feat(frontend/compiler): support TFHErs fheint8 2024-10-25 09:43:18 +01:00
Bourgerie Quentin
c4f0a43b4d fix(backend-cpu): Use safe serialization for TFHE-rs interoperability 2024-10-18 10:01:20 +02:00
Alexandre Péré
a9e03e242e fix(frontend): remove compat.h 2024-10-14 14:27:47 +02:00
Alexandre Péré
7402219247 fix(frontend): use python-3.8 compatible syntax 2024-10-07 08:45:33 +02:00
youben11
c3e21fe92b chore(frontend): update tfhers in tfhers test utils 2024-10-03 10:42:34 +01:00
Bourgerie Quentin
11bf8d9066 fix(frontend-python): Fixing default circuit name in tfhe-rs bridge 2024-09-26 10:43:06 +02:00
youben11
1ecaa5b033 test(frontend): test TFHE-rs example 2024-09-26 10:43:06 +02:00
youben11
d63ff516af refactor(frontend): remove the need to pass the in/out types in Bridge 2024-09-26 10:43:06 +02:00
youben11
eb72bbc53c refactor(frontend): renaming for consistency and clarity 2024-09-26 10:43:06 +02:00
youben11
a7cf7791d4 feat(compiler/front/backend): use LWE keys inst of GLWE with TFHErs comp 2024-09-26 10:43:06 +02:00
youben11
6ce66139d1 test(frontend): add e2e test doing TFHErs keygen from Concrete SK
this also does computation on both ends
2024-09-26 10:43:06 +02:00
youben11
1d6d9527ec test(frontend): support TFHErs keygen from Concrete SK 2024-09-26 10:43:06 +02:00
youben11
50ddee27e2 test(frontend): add e2e for computing on both sides TFHErs and Concrete
with TFHErs keygen first, and Concrete using TFHErs secret key to keygen
2024-09-26 10:43:06 +02:00
youben11
ff8f6bf0de test(frontend): support summing ciphertext in tfhers utility 2024-09-26 10:43:06 +02:00
youben11
e50388788a test(frontend): add keygen to tfhers test utility
also support different types of keys now
2024-09-26 10:43:06 +02:00
youben11
e50544c9de fix(frontend): specify encoding in open 2024-09-26 10:43:06 +02:00
Alexandre Péré
d9b34f13d0 refactor(frontends): unify circuits and modules 2024-09-24 14:37:37 +02:00
Alexandre Péré
4d2eb7327b fix(frontends): forbid clear nodes in composition rules 2024-09-20 10:12:22 +02:00
Umut
cc7830186f feat(frontend): refactor game of life example, test and benchmark it 2024-09-18 11:12:10 +03:00
Umut
a839e01b02 fix(frontend-python): remove an invalid reinterpret when converting bit extraction 2024-09-18 11:12:10 +03:00
Alexandre Péré
4f22012559 fix(optimizer): fix p_error for flaky module tests 2024-09-16 09:54:39 +02:00
Alexandre Péré
19bb2413e0 fix(optimizer): fix optimizer error link 2024-09-16 09:46:32 +02:00
Alexandre Péré
20a0c9e0c4 feat(frontends): provide trivial encryption 2024-09-16 09:42:39 +02:00
Umut
a8bba20a7e fix(frontend): remove unnecessary signed conversions 2024-09-16 08:54:35 +03:00
Umut
a8f435ff84 feat(frontend): provide an API to reset the compiler state 2024-09-13 14:26:20 +02:00
rudy
736e1fe410 fix(frontend-python): simulation error rate test, increase tolerance 2024-09-11 10:52:41 +02:00
Umut
61601f0849 test(frontend-python): use hardcoded inputset in some tests to avoid random failures 2024-09-11 10:22:33 +03:00
Umut
edaa208733 test(frontend-python): enable coverage back 2024-09-09 15:44:03 +03:00
rudy
f19f071e7b fix(frontend-python): approx rounding test regression due to simulation fix 2024-09-09 11:09:07 +02:00
Umut
d3dfdcd699 feat(frontend): add support for np.min and np.max 2024-09-06 09:39:02 +03:00
Umut
532000f8be feat(frontend): refactor levenshtein distance example, test and benchmark it 2024-09-05 16:12:04 +03:00
Umut
d3c5d64c54 feat(frontend): refactor key value database example to use modules, test and benchmark it 2024-09-05 16:12:04 +03:00
Benoit Chevallier-Mames
8477f95dc3 feat(ci): update ruff 2024-09-05 13:18:42 +02:00
youben11
a9517896ed refactor(frontend): rename tfhers.Context to tfhers.Bridge 2024-09-03 14:05:06 +01:00
youben11
c28ac82b32 test(frontend): add e2e tfhers compatibility tests (concrete keygen)
Concrete doing the keygen, while TFHErs doing enc/dec
2024-09-03 14:05:06 +01:00
youben11
4216479df3 test(frontend): add utility to enc/dec TFHErs encrypted integers
this will be used to test Concrete <> TFHErs compatibility
2024-09-03 14:05:06 +01:00
youben11
a750545269 feat(frontend): TFHErs Context 2024-09-03 14:05:06 +01:00
youben11
5784fe0f10 refactor(frontend): finalize tfhers parameters API 2024-09-03 14:05:06 +01:00
youben11
99daeff8c2 fix(frontend): make tfhers ciphertext lsb first
this is done to have the same format as tfhers
2024-09-03 14:05:06 +01:00
Alexandre Péré
26dd90311c chore(optimizer): enhance optimizer errors 2024-09-02 17:19:53 +02:00
Alexandre Péré
165746d406 chore(frontends): enable simultaneous execution and simulation in modules 2024-09-02 17:12:27 +02:00
Umut
f8de9e1ed7 test(frontend-python): introduce previously large memory usage test 2024-09-02 13:00:27 +02:00