200 Commits

Author SHA1 Message Date
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
Alexandre Péré
e675a75285 feat(frontend): wire tracing 2024-09-02 10:50:27 +02:00
Bourgerie Quentin
bea18cf6df test(frontend-python): Fixing tfhers compatibility tests 2024-08-28 14:45:23 +02:00
youben11
3e42d69640 test(frontend): make tfhers test pass again
there was an issue while rebasing to main
2024-08-23 17:29:05 +01:00
Bourgerie Quentin
96cff21ec4 test(compiler/clientlib): Add test of decryption of a freshly compressed ciphertext 2024-08-23 17:42:23 +02:00
Bourgerie Quentin
477b502f58 test(frontend-python): Fix default value and option for the optimizatio strategy to test 2024-08-23 17:42:23 +02:00
youben11
2e90f53fbd test(frontend): run only in multi instead of changing config
as test runs two times, once in mono, and once in multi, we can just
skip the test unless we are in multi
2024-08-22 16:38:24 +01:00
youben11
8051a14ff5 test(frontend): more tests and coverage for tfhers 2024-08-22 16:38:24 +01:00
youben11
24493a322d test(frontend): check input/output match tfhers params 2024-08-22 16:38:24 +01:00
youben11
af4a735b0c refactor(compiler): plug with change_partition support of optimizer 2024-08-22 16:38:24 +01:00
youben11
6b26bf3d08 refactor(frontend): move tfhers/params check to converter
we are checking if the selected parameter selection can handle tfhers
integers
2024-08-22 16:38:24 +01:00
youben11
40edb4fe45 feat(frontend): parametrize tfhers integers 2024-08-22 16:38:24 +01:00
youben11
3ac02f423c fix(frontend): support tfhers int with multi-param only 2024-08-22 16:38:24 +01:00
rudy
b6f6d41ada fix(compiler): simulation, confusion between variance and std dev 2024-08-19 16:38:52 +02:00