150 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
rudy	4f01ae0556	feat: woppbs, pp switch decomp is chosen separately from br decomp	2023-01-04 15:39:36 +01:00
Mayeul de Bellabre	d4855429d7	chore: fix nighlty lint	2023-01-04 10:49:46 +01:00
Mayeul@Zama	919e9e887f	chore(optimizer): add overflow checks	2022-12-22 15:00:05 +01:00
Mayeul@Zama	4f50e24fe3	remove in_dim pps cache	2022-12-20 18:32:38 +01:00
Mayeul@Zama	8efb268c44	remove in_dim ks and br caches	2022-12-20 18:32:38 +01:00
Mayeul@Zama	f4bd2df44b	simplification(optimizer): remove max_log2_base	2022-12-14 15:55:34 +01:00
Mayeul@Zama	1c35a59192	feat(optimizer): remove gpu base_log restriction	2022-12-14 15:55:34 +01:00
Mayeul@Zama	ebb9c86048	feat(dep): concrete-cpu-noise-model	2022-12-14 12:22:57 +01:00
rudy	d0654c0fa7	feat(cpp): option to have a stateless cache	2022-12-13 14:38:34 +01:00
rudy	f80c657849	feat(cpp): access to round operator	2022-12-09 09:54:13 +01:00
rudy	20833cefac	feat(compiler): select the best complexity solution	2022-12-07 17:46:57 +01:00
rudy	34764edf50	feat: option to force optimization with a particular encoding	2022-12-07 17:46:57 +01:00
rudy	0d7cb97e7e	fix(ci): clippy nightly	2022-12-06 11:44:02 +01:00
rudy	d98df3d4c8	fix(ci): due cxx to cxx update	2022-12-06 09:15:51 +01:00
rudy	c2610efc19	fix: do not panic on higher than 16bits	2022-11-28 16:58:24 +01:00
rudy	8134a01b50	feat: woppbs, add pp switch decomp to woppbs solution	2022-11-18 10:01:11 +01:00
rudy	b8e7c04469	chore: woppbs, variance and complexity functions	2022-11-17 18:27:42 +01:00
rudy	15237c4550	feat: woppbs, generalize variance bound to support any precision	2022-11-17 16:42:56 +01:00
rudy	b5f7715e5e	chore(caches): regroup cache containers	2022-11-15 16:56:55 +01:00
rudy	2e5e8a6cc3	fix: bad crt coprimes for 12bits	2022-11-15 16:48:37 +01:00
rudy	b7fa08ef57	feat: round operation is supported on input dag	2022-11-15 16:25:07 +01:00
Mayeul@Zama	f19becac21	fix(test): fix test_global_p_error_increased_accumulator	2022-11-15 15:25:50 +01:00
Mayeul@Zama	4ebb372a20	feat(cache): use u64 for cache versionning	2022-11-15 15:25:50 +01:00
Samuel Tap	3a80e932af	feat: update fft noise formula to fit the new fft	2022-11-15 15:25:50 +01:00
rudy	3db828d3d0	feat: rounded lut for classical pbs ... step 1, provide the sub-dag construction	2022-11-14 16:22:52 +01:00
rudy	819c9e71ca	fix(ci): diff for cpp API change	2022-11-08 11:28:51 +01:00
rudy	b98668e19f	chore: rm unused old pareto front	2022-11-07 12:11:32 +01:00
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