70 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
rudy	75b2f76d78	fix(woppbs): fix fatal noise estimate	2022-07-11 15:40:14 +02:00
rudy	170ce8d725	fix(dag): tensorized lut are now counted as several lut	2022-07-04 18:11:15 +02:00
Mayeul@Zama	1707549139	fix: complexity to convert ggsw to fft in wop pbs	2022-07-04 11:29:10 +02:00
rudy	b688e47722	feat(repo): a script to facilitate cmdline optimizer launch	2022-07-01 13:04:58 +02:00
rudy	29874d7c31	doc: fix v0-parameters by-level variant usage	2022-06-28 17:15:16 +02:00
rudy	d5bec3f120	doc(v0-parameters): inform by-level must be run in v0-parameters	2022-06-28 17:14:31 +02:00
rudy	bb749c6c65	fix(ci): test in --release for speed	2022-06-28 10:27:08 +02:00
Samuel Tap	8237138c78	feat(securityLevel): supporting 80, 96, 112, 128, 144, 160, 176, 192, 256	2022-06-28 10:25:13 +02:00
Samuel Tap	ca578a9c12	feat(securityLevel): security weights in hmap	2022-06-28 10:25:13 +02:00
Mayeul@Zama	b446d3124d	feat(pareto): add benchmark for pareto computation	2022-06-27 15:38:30 +02:00
rudy	b4821b4b8c	feat(woppbs): use pareto_blind_rotate/pareto_keyswitch routines, 4x speedup	2022-06-27 12:09:04 +02:00
Samuel Tap	0b4ddb53ae	doc: adding a readme for v0-parameters tool	2022-06-23 19:13:36 +02:00
Mayeul@Zama	fd498a5286	feat(bench): add optimization benches ... refactor v0-parameters	2022-06-23 09:38:37 +02:00
rudy	8775cc0be3	fix(woppbs): handle complexity tie for lower error rate and better reproducibility	2022-06-22 17:21:05 +02:00
Samuel Tap	0ab7ace9ac	feat: fft noise for glwe in [1, 6]	2022-06-22 11:39:47 +02:00
rudy	cffe5e4ab0	feat(cpp): expose dag optimization	2022-06-21 17:19:36 +02:00
rudy	d220eb4009	feat: multiprecision, allow precision change in lut	2022-06-20 18:09:12 +02:00
rudy	b3e3a10f22	feat: precision specific noise summary	2022-06-20 13:56:15 +02:00
rudy	d6a6ee6290	chore(woppbs): cut optimize_one in two macro/micro ... this is a first step to use pareto_blind_rotate, pareto_keyswitch	2022-06-17 00:20:44 +02:00
Mayeul@Zama	0b621adfb1	fix(clippy): fix nightly clippy warnings	2022-06-16 13:30:23 +02:00
Mayeul@Zama	585c17a163	store precomputation in the macro-parameters loops as vecs	2022-06-16 11:26:05 +02:00
rudy	5d5f7a4016	feat(woppbs): make code more readable, reexpress some cuts (x4 speed)	2022-06-16 10:18:34 +02:00
rudy	91a4e6eea3	feat(woppbs): more generic test ref	2022-06-16 10:09:25 +02:00
rudy	7e92ea963a	feat(woppbs): bigger test ref	2022-06-16 10:09:25 +02:00
rudy	b44bd6cbfe	feat: x8 faster wop, better cache usage	2022-06-16 10:09:25 +02:00
rudy	b628cd64fb	feat: initial experimental wop-pbs	2022-06-16 09:44:29 +02:00
rudy	8f2c21ddbe	feat: dag + solo key optimization	2022-06-09 16:00:26 +02:00
Mayeul@Zama	33253a7582	chore: use branch main instead of master in the CI	2022-06-09 14:49:19 +02:00
Mayeul@Zama	ce2947b4b9	fix: fix API compatibility check with compiler	2022-05-31 11:04:24 +02:00
Mayeul@Zama	bc52e3cd21	fix(naming): rename optimise optimize	2022-05-24 18:58:44 +02:00
Mayeul@Zama	2d88eda5eb	chore(cpp): remove c interface	2022-05-23 15:38:27 +02:00
rudy	572b5b046b	fix: update decomposition pareto front	2022-05-19 12:03:01 +02:00
Mayeul@Zama	d5cc6559ee	feat(interface): add input graph creation	2022-05-18 11:34:12 +02:00
rudy	058d08cf49	feat: verify the computed solution error probability	2022-05-13 09:38:16 +02:00
rudy-6-4	0e6a9b01a0	feat: new dag with Lut/Dot/LevelledOp	2022-05-10 16:46:51 +02:00
rudy	9e5467294f	fix(ci): make the job fail in case of not up to date cpp files	2022-05-10 16:29:11 +02:00
rudy	ec36b4b4e7	feat(ci): check compiler compiles	2022-05-10 16:20:55 +02:00
rudy	ab972ea944	fix(macos): Makefile compatibility	2022-05-09 16:08:56 +02:00
rudy	f684f9ffe6	fix(cpp): move Solution in the namespace	2022-05-09 14:36:36 +02:00
rudy	30049f9ef4	fix(ci): Makefile work from any dir and others fixes	2022-05-06 12:55:24 +02:00
rudy	0a2344328a	chore(graph): move root file to its module directory	2022-05-05 18:12:52 +02:00
Mayeul@Zama	fee5b10b0e	feat(cpp): use cxx (was cbindgen) and mv interface in a workspace	2022-05-05 17:34:22 +02:00
Mayeul@Zama	8f3cb77d95	use assert_eq where possible	2022-04-25 09:38:25 +02:00
Mayeul@Zama	129e4ed968	fix clippy lints ... fix clippy::unreadable_literal	2022-04-25 09:38:25 +02:00
Mayeul@Zama	b48c21db93	add polynomial_size method to GlweParameters	2022-04-25 09:38:25 +02:00
Mayeul@Zama	ea397b1895	import constant	2022-04-25 09:38:25 +02:00
Mayeul@Zama	58876119c9	use structs instead instead of separate parameters	2022-04-25 09:38:25 +02:00
rudy	b88fa7e9d9	feat(ci): rust cache, dependencies and compilation	2022-04-25 09:38:25 +02:00
Mayeul@Zama	634e8a9f7b	fix .h creation location	2022-04-14 15:31:12 +02:00
Mayeul@Zama	6f80ed2031	rename pbs_decomp br_decomp	2022-04-12 18:11:00 +02:00