Commit Graph

123 Commits

Author SHA1 Message Date
Mayeul@Zama
9488b4466a dep(optimizer): remove static_init dependency 2022-11-07 11:10:49 +01:00
Mayeul@Zama
06dd26c523 dep(optimizer): remove derive_more dependency 2022-11-07 11:10:49 +01:00
Mayeul@Zama
5801c20876 dep(optimizer): remove delegate dependency 2022-11-07 11:10:49 +01:00
Mayeul@Zama
60026e8fe0 dep(optimizer): replace rmp-serde by bincode 2022-11-07 11:10:49 +01:00
Mayeul@Zama
c35ce9eab2 dep(optimizer): replace statrs by puruspe 2022-11-07 11:10:49 +01:00
Mayeul@Zama
c994c7afcc chore(CI): add nightly rust fmt and clippy checks 2022-10-31 14:46:48 +01:00
Mayeul@Zama
28bbf88b5b chore: use latest rustfmt rules 2022-10-28 10:41:06 +02:00
Mayeul@Zama
f5e805af23 chore: update for clippy v0.1.66 2022-10-28 10:41:06 +02:00
Mayeul@Zama
6d751b2e4d chore: update cargo dependencies 2022-10-21 16:12:27 +02:00
rudy
1eb8cd06c7 fix(ci): update action to last version to avoid deprecation warnings 2022-10-21 15:54:23 +02:00
Mayeul@Zama
5a955a6e15 chore: remove useless Box 2022-10-19 17:00:36 +02:00
Mayeul@Zama
50a2f1602a chore: remove ComplexityModelClone 2022-10-19 16:59:07 +02:00
rudy
e7f888ca70 chore(cuts): remove lasts pre-cuts + simplify cuts for atomic_pattern 2022-10-19 16:19:05 +02:00
rudy
8daf6ddd99 fix(v0-parameters): better display, all parameters with names 2022-10-19 15:57:50 +02:00
rudy
a29c4949e4 ci: do everything in --release to avoid 2x compilations 2022-10-19 15:14:38 +02:00
rudy
b5a269f0a2 chore(tests): merge back expensive tests to normal tests 2022-10-19 15:13:37 +02:00
rudy
a4a1f4b112 feat(wop-pbs): use cache for circuit boostrap and private packing switch 2022-10-19 14:47:13 +02:00
Mayeul@Zama
99c227feda feat(cpp-interface): expose gpu constraints 2022-10-18 18:53:53 +02:00
Mayeul@Zama
c5dad8ffdb feat(optimizer): add gpu parameter constraints 2022-10-18 18:53:53 +02:00
rudy
1f15162b39 feat: dot weights are signed 2022-10-05 19:54:07 +02:00
Mayeul@Zama
3b9535ac2f feat(cpp_interface): add Options struct 2022-10-04 12:46:56 +02:00
Mayeul@Zama
8ec0d4f3bd feat(optimizer): improve repeat_p_error speed 2022-10-04 10:29:00 +02:00
Mayeul@Zama
48962811b9 chore(optimizer): make cache not static 2022-10-03 16:36:14 +02:00
rudy
5a2ddccc6f fix: flapping test due to cache 2022-10-03 11:49:41 +02:00
Mayeul@Zama
0ca92d7c4c feat: add chart binaries 2022-09-28 15:13:09 +02:00
rudy
af3ee10ff8 fix: persistent cache, missing rewind between read and write 2022-09-28 10:13:17 +02:00
Mayeul@Zama
3c1c0ca951 feat(optimizer): improve p_error precision
internally use p_error instead of p_success
2022-09-22 15:15:33 +02:00
rudy
06c8bdfce0 fix: disable cache write on macos 2022-09-21 09:45:00 +02:00
rudy
d5188aa2f2 ci: run on macos 2022-09-21 09:45:00 +02:00
Mayeul@Zama
860c96ef46 refactor(optimizer): remove restart_at
fix new clippy lints
2022-09-19 15:10:52 +02:00
rudy
48e43c5762 chore: clarify no luts optimization and cuts 2022-09-19 15:10:52 +02:00
rudy
e2fa88aec2 feat: adding a persistent cache for decompositions per macro parameters 2022-09-16 12:29:18 +02:00
rudy
c1e9f97fee chore(deps): use concrete-npe repo 2022-09-16 10:13:47 +02:00
Mayeul@Zama
8f61988f18 feat(optimizer): distinguish CRT precisions 2022-09-13 11:58:38 +02:00
Mayeul@Zama
8c064ff72f fix(wop-pbs): fix complexity formula 2022-09-13 11:58:38 +02:00
Ayoub Benaissa
2990df3059 fix: don't assume git environment in Makefile
some environments do only use the code as is, and won't be able to detect the ROOT using git
2022-09-08 11:23:53 +02:00
rudy
320e3c1963 fix: dag with 1 tlu layer were sub-optimized assuming multi-layer in cuts 2022-08-31 16:25:39 +02:00
Mayeul@Zama
915cbe6647 style: remove useless #[allow(lint)] 2022-08-31 14:29:08 +02:00
rudy
ef1264a2fd fix(v0-parameters): the restart_at was not checked correctly 2022-08-31 14:18:06 +02:00
rudy
c6064c0aef feat(refs): explicit last version of ref to visualize changes
this is helpful during PR or to follow the history of ref changes
2022-08-31 13:54:43 +02:00
Mayeul@Zama
d310561136 feat(complexity): add Gpu complexity
refactor: computing_cost module
style: regroup search space parameters
style: use config struct to regroup parameters
2022-08-30 12:48:56 +02:00
rudy
bf6bdcfec2 fix: bug converting manp to variance factor 2022-08-22 11:29:25 +02:00
rudy-6-4
fc6120ed74 fix: accept higher than 16bits and move to classical when no tlu (#135)
this make levelled only circuit working without crt.

Co-authored-by: Quentin Bourgerie <bourgerie.quentin@gmail.com>
2022-08-19 13:59:08 +02:00
Quentin Bourgerie
efc3a85c66 fix: Return the crt_decomposition from the optimizer 2022-08-16 15:26:18 +02:00
rudy
af8296e6d2 feat(dag): avoid a copy on comment when possible 2022-08-16 14:58:40 +02:00
rudy
acf6cd26d9 fix(./optimizer): accept parameters 2022-08-16 11:15:15 +02:00
rudy
ec62f828d5 feat(cpp): return global p-error 2022-08-16 10:33:21 +02:00
rudy
b7c148257b feat(dag): compute global p-error after the local one is optimized
Resolves zama-ai/products#302
2022-08-12 15:00:19 +02:00
rudy
517ab218dc feat(dag): support dot broadcast
this is to facilitate a test with many multiplication
2022-08-12 15:00:19 +02:00
Quentin Bourgerie
4fffc26bbc fix: Don't let the optimizer to be to optimistic, up to 16 bits we didn't have yet a solution (#131) 2022-08-12 10:32:18 +02:00