Alexandre Péré
382d00b031
wip
2024-11-26 15:04:11 +01:00
Alexandre Péré
4b05dd58fb
wip
2024-11-26 11:23:27 +01:00
Alexandre Péré
3e9656112b
wip
2024-11-26 11:09:28 +01:00
Alexandre Péré
ad15a48e1a
wip
2024-11-26 10:33:00 +01:00
Alexandre Péré
f70a18bb0a
feat(compiler): search space restriction
2024-11-14 14:44:27 +01:00
Bourgerie Quentin
84cb1b5b73
refactor(ci): Refactoring CI workflows
2024-11-12 14:09:35 +01:00
Quentin Bourgerie
bd9332ba61
fix(compiler): Macos build
2024-11-12 14:09:35 +01:00
youben11
89833b8bf5
refactor(compiler): remove TfhersFheIntDescription wrapper
...
also remove WrapperCpp as it's no longer needed
2024-11-07 11:45:40 +01:00
youben11
f7881021e8
feat(frontend/backend): support TFHErs tensors
2024-11-07 10:25:01 +01:00
Alexandre Péré
019daf8588
chore(common): fix formatting
2024-10-28 14:44:00 +01:00
James Marsh
b6523b5bf3
feat(optimizer): add ability to configure custom parameter restrictions
2024-10-25 11:07:12 +02:00
youben11
514fe62364
refactor(frontend/compiler): single API for import/export of TFHErs int
2024-10-25 09:43:21 +01:00
youben11
6c7291cd57
feat(frontend/compiler): support TFHErs fheint8
2024-10-25 09:43:18 +01:00
Quentin Bourgerie
d6ed66232e
fix(compiler): Fixing warnings spotted by gcc-13
2024-10-21 13:54:42 +02:00
Alexandre Péré
5205a2fdcb
fix(optimizer): please new rust lints
2024-10-21 09:52:05 +02:00
Alexandre Péré
6412649207
fix(optimizer): add zero noise and max noise ops
2024-10-18 14:47:33 +02: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
youben11
6c81e0c67b
chore(backend): update tfhers in concrete-cpu
2024-10-03 10:42:34 +01:00
Ayoub Benaissa
9b1ed794f1
docs(compiler): typo in build-essential
2024-10-03 09:55:04 +02:00
Bourgerie Quentin
11bf8d9066
fix(frontend-python): Fixing default circuit name in tfhe-rs bridge
2024-09-26 10:43:06 +02:00
youben11
d2d4613afc
refactor(frontend): rename lwe_secret_key_param_at
2024-09-26 10:43:06 +02:00
youben11
061715cfe4
feat(backend/compiler): check fheuint correctness when unserializing
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
da7857af61
feat(compiler/bindings): support moving SKs around keygen with them
2024-09-26 10:43:06 +02:00
youben11
b73f31465b
feat(compiler): support keygen with a set of initial secret keys
...
keygen will start by setting these secret keys then generating the
remaining types of keys
2024-09-26 10:43:06 +02:00
youben11
13c250b5a9
chore(compiler): remove useless include
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é
f39f8abbb6
fix(optimizer): please new clippy lints
2024-09-23 11:10:27 +02:00
Alexandre Péré
19bb2413e0
fix(optimizer): fix optimizer error link
2024-09-16 09:46:32 +02:00
Alexandre Péré
69d5a35c50
fix(compiler): make formatter happy
2024-09-11 16:02:08 +02:00
Alexandre Péré
e6f6a3f1e6
fix(compiler): fix test string in e2e tests
2024-09-11 16:02:08 +02:00
youben11
feac6e89d4
refactor(compiler): get fheint description from type instead of buffer
...
we were doing a deserialization previously to get the fheint
description, but we will now construct it from the type instead. It's
still possible for the user to get the description from the buffer and
use it for import (using the Compiler API).
2024-09-03 14:05:06 +01:00
youben11
8168d07541
refactor(compiler): compute fheuint buffer size in rust (more accurate)
2024-09-03 14:05:06 +01:00
youben11
159e8e296b
feat(frontend/compiler): set correct value for noise and degree
2024-09-03 14:05:06 +01:00
youben11
cd0cf46130
feat(compiler/frontend): serialize a given secret key
...
This is useful for it to be used in TFHErs
2024-09-03 14:05:06 +01:00
youben11
b8912f61c3
feat(compiler): provide keyid and variance while importing
...
this was previously hardcoded
2024-09-03 14:05:06 +01:00
youben11
32cae8e3fe
feat(compiler): get variance and keyid for a given input
2024-09-03 14:05:06 +01:00
youben11
f0d53225e2
feat(backend, compiler): convert TFHErs to Concrete ciphertext and back
2024-09-03 14:05:06 +01:00
youben11
05724edb4f
fix(compiler): use initializer constructor
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
Bourgerie Quentin
b2ced570fd
perf(compiler): Do not instantiate csprng each time for woppbs simulation
2024-09-02 17:06:35 +02:00
Bourgerie Quentin
ce73239730
feat(compiler/clientlib): Allow decompression of seeded ciphertext before decryption
2024-08-23 17:42:23 +02:00
youben11
af4a735b0c
refactor(compiler): plug with change_partition support of optimizer
2024-08-22 16:38:24 +01:00
youben11
33abefa5c2
feat(compiler): add partition attr to change partition to/from it
2024-08-22 16:38:24 +01:00
youben11
c42c016172
feat(compiler/frontend): change partition operation
2024-08-22 16:38:24 +01:00
rudy
040e152451
chore(optimizer): ref files for new security curves
2024-08-22 17:34:31 +02:00
rudy
bd6838e6da
chore(optimizer): adjust tests for new security curves
2024-08-22 17:34:31 +02:00
Bourgerie Quentin
3188b50c0e
chore(common): Merge remote-tracking branch 'origin/main' into backport_release/2.7.x
2024-08-22 14:28:32 +02:00
youben11
0a97006f64
fix(compiler): use checked_malloc for better error reporting
2024-08-22 10:15:27 +02:00
