70 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rick Weber	99ff763321	Documentation	2021-11-30 21:49:08 -08:00
Rick Weber	3391b6d6fa	Tests pass again	2021-11-30 21:00:49 -08:00
Rick Weber	b1a7aad82c	megarefactor parameter selection to frontend	2021-11-30 20:48:52 -08:00
Rick Weber	2875b150a7	fmt	2021-11-30 15:23:57 -08:00
Rick Weber	feae81a051	Can collect outputs	2021-11-30 12:34:04 -08:00
Rick Weber	ce39bbb5ee	Add literals and rotations	2021-11-30 11:27:45 -08:00
Rick Weber	b503193b83	Can add ciphertexts in frontent	2021-11-29 22:17:01 -08:00
Rick Weber	5bb46bf548	Can create frontend input nodes	2021-11-29 21:39:33 -08:00
Rick Weber	d1a94f4590	Assert compile failures	2021-11-29 17:03:56 -08:00
Rick Weber	886610548d	Macro WIP	2021-11-29 16:34:22 -08:00
Rick Weber	d97afa7da6	WIP	2021-11-29 14:04:48 -08:00
Rick Weber	247ce3f52c	Docs	2021-11-23 12:43:14 -08:00
Rick Weber	741f54d005	Add doc	2021-11-23 12:30:16 -08:00
Rick Weber	eb58235062	Add shift left/right to runtime	2021-11-23 12:27:22 -08:00
Rick Weber	1dfb3e80bf	Fix minor doc issues, rename IR to Circuit	2021-11-23 11:37:49 -08:00
Rick Weber	10f055b568	Fix test failure	2021-11-22 21:56:59 -08:00
Rick Weber	f0082668fa	Add tables of interesting things	2021-11-22 21:49:03 -08:00
Rick Weber	c44b60a00d	Can auto-pick params for circuit.	2021-11-22 20:35:04 -08:00
Rick Weber	ed4a74b691	Validation tests	2021-11-22 15:06:23 -08:00
Rick Weber	a47b8b4390	Minor cleanup	2021-11-22 14:47:52 -08:00
Rick Weber	491aabe693	Fix warnings	2021-11-22 14:43:41 -08:00
Rick Weber	014b1d260e	rename backend compiler, add validation	2021-11-22 14:22:47 -08:00
Rick Weber	e9117f72bd	Add more tests	2021-11-21 16:05:23 -08:00
Rick Weber	799bbcad2c	Refactor operand type specification.	2021-11-21 15:17:53 -08:00
Rick Weber	e6ca659f7d	Get tests compiling again	2021-11-19 17:42:16 -08:00
Rick Weber	e144b3f8ec	Runtime works.	2021-11-19 17:15:09 -08:00
Rick Weber	43c1b06452	WIP: tests	2021-11-19 16:41:55 -08:00
Rick Weber	e67d447cc5	WIP	2021-11-19 15:14:56 -08:00
Rick Weber	f1e346cd05	Refactor BFVEvaluator	2021-11-19 14:23:43 -08:00
Rick Weber	259fda564e	Make SEAL types sync/send	2021-11-19 11:34:06 -08:00
Rick Weber	6e0ccaa5dd	runtime WIP, cargo fmt	2021-11-18 17:42:44 -08:00
Rick Weber	b672cdc563	Remove unused crate	2021-11-18 14:01:03 -08:00
Rick Weber	00125db30a	Document IR crate	2021-11-18 13:59:15 -08:00
Rick Weber	49b1f423c1	Add pruning test	2021-11-18 12:17:15 -08:00
Rick Weber	665596edcf	Tree shaking works, added a bunch of tests	2021-11-18 12:02:53 -08:00
Rick Weber	1bce2548ac	Rejigger library composition	2021-11-17 15:09:00 -08:00
Rick Weber	a523f8ccc0	Can insert relinearizations	2021-11-17 14:13:31 -08:00
Rick Weber	f3bb3c7f8c	cargo fmt	2021-11-17 11:05:11 -08:00
Rick Weber	e90929d8e9	clean up interface	2021-11-17 11:03:42 -08:00
Rick Weber	fc77765760	Add graph traversal	2021-11-16 17:17:31 -08:00
Rick Weber	d917343573	Debug tests	2021-11-15 10:37:04 -08:00
Rick Weber	7c28484f1d	Add some assumption tests	2021-11-10 15:00:45 -08:00
Rick Weber	bc9654fbc3	Clean up wasteful work	2021-11-10 10:35:12 -08:00
Rick Weber	4d0e90bd04	Rotations	2021-11-10 10:29:09 -08:00
Rick Weber	71242f005c	Rotations WIP	2021-11-09 17:31:41 -08:00
Rick Weber	bcd8f45fed	plaintext ops	2021-11-09 16:29:18 -08:00
Rick Weber	d4d3bcced8	exponentiate tests	2021-11-09 16:08:12 -08:00
Rick Weber	5ead89aafa	multiply many	2021-11-09 15:22:16 -08:00
Rick Weber	abc799e421	Relin out of band	2021-11-09 13:42:47 -08:00
Rick Weber	6f582c8887	Can relinearize	2021-11-09 12:58:42 -08:00