Miles
5d68424531
fix typos
2024-04-11 14:50:16 +02:00
Alexandre Péré
9b5a2e46da
feat(compiler): support multi-circuit compilation
2024-03-01 15:35:52 +01:00
Alexandre Péré
a02bf3bae9
fix(optimizer): compiler output forwarding
...
In the optimizer, nodes without consumers are identified as outputs.
Since we can now return multiple values, this is inherently buggy,
since a value can then be both returned, and consumed to create another
input.
This commit fixes this by allowing the compiler to tag nodes as being
outputs.
2024-01-26 17:15:03 +01:00
rudy
c298408f26
feat(optimizer): multi-parameters, partitionning using norm2
2024-01-08 20:32:27 +01:00
rudy
0f819d864c
fix(optimizer): accept composable for v0-no-dag and woppbs
2024-01-08 09:30:20 +01:00
Bourgerie Quentin
15835719b9
fix(compiler/optimizer): Returns error for optimization strategy that doesn't support composition
2024-01-04 15:00:25 +01:00
Alexandre Péré
60da713312
feat(optimizer): adds support for function composition
2024-01-04 15:00:25 +01:00
rudy
08dcf993e4
feat(optimizer): export unsafe_cast to cpp
2023-12-04 10:20:06 +01:00
rudy
d64c9b0f25
fix(optimizer): multi-parameters, shorter_dump for the compiler --display-optimizer-choice
2023-09-25 15:55:22 +02:00
rudy
1c0a70f911
fix(compiler): conversion to optimizer dag, bad dot before signed lut
...
this has no effect apart making the shape incorrect
2023-09-25 15:53:19 +02:00
rudy
90e62f551b
feat(optimizer): multi-params, key sharing
2023-09-19 12:13:25 +02:00
rudy
dc0a3d8a2e
feat(optimizer): levelled circuit, no power of two constraint
2023-09-08 14:26:32 +02:00
Bourgerie Quentin
29f1ce753b
fix(optimizer): new version of generated files
...
This reverts commit 9b345e51ed
2023-06-27 11:06:32 +02:00
Quentin Bourgerie
9b345e51ed
Revert "fix(optimizer): new version of generated files"
...
This reverts commit db3ecb1402
2023-06-26 17:06:02 +02:00
jadkhatib
db3ecb1402
fix(optimizer): new version of generated files
2023-06-23 18:42:58 +02:00
Mayeul@Zama
97b13e871c
feat(optimizer): introduce fft precision
2023-06-15 10:48:07 +02:00
Mayeul@Zama
5659195dbc
feat(optimizer): accept any ciphertext_modulus_log
2023-06-15 10:48:07 +02:00
rudy
9c68d132ca
feat(optimizer): multi-parameter entry point, single parameter solution for woppbs
2023-04-14 15:01:18 +02:00
rudy
d2a342fc84
feat(optimizer): multiparameters compiler entry point
2023-04-14 15:01:18 +02:00
Quentin Bourgerie
caaec449f5
fix(optimizer): Conversion between dag and circuit solution
2023-04-14 15:01:18 +02:00
Quentin Bourgerie
f0ca5aa427
feat(optimizer): Add a dump function to the CircuitSolution for debugging
2023-04-14 15:01:18 +02:00
Quentin Bourgerie
53b68a215b
refactor(optimizer-cpp): Move CircuitSolution to a namespace en remove unecessary Box in optmize_multi
2023-04-14 15:01:18 +02:00
rudy
88ab4d0312
fix(optimizer): woppbs + global_p_error was not possible
2023-03-30 09:31:08 +02:00
rudy
46755e613c
feat(optimizer): expose multi parameter entry point
...
implementation is limited to solo parameter
2023-03-21 10:30:46 +01:00
Mayeul@Zama
45f5267f3d
fix(CI): add newlines in end of files
2023-03-16 17:35:34 +01:00
Quentin Bourgerie
203393056b
chore: Move to the mono-repo layout
2023-03-06 13:34:22 +01:00
