320 Commits

Author	SHA1	Message	Date
Bryan Li	c37b978045	zkp stacktrace	2023-07-30 16:49:55 -07:00
Matthew Liu	591bfe8efc	clippy actually likes unwrap or else	2023-07-30 16:49:46 -07:00
Matthew Liu	03d4ea9032	removed unwrap or else and turned into expect	2023-07-30 16:45:38 -07:00
Matthew Liu	a9d20b5040	remove internal tagging comments	2023-07-30 16:42:03 -07:00
Matthew Liu	7f6d3908d6	modified checks for overflow	2023-07-30 16:22:42 -07:00
Bryan Li	817e998aee	stacktrace part 1	2023-07-30 16:18:46 -07:00
Matthew Liu	e2f51008e3	implemented overflow detection for fhe programs	2023-07-30 16:05:01 -07:00
Matthew Liu	c1ec13f787	can extract coefficients from innerplaintext	2023-07-29 22:54:30 -07:00
Bryan Li	6caef04edc	added program source data to debug zkp programs	2023-07-29 17:01:55 -07:00
Matthew Liu	47e232ba36	overflow code now compiles but needs to actually be implemented	2023-07-28 17:03:58 -07:00
Matthew Liu	f18664aa54	add functions to modularize overflow calculation	2023-07-28 16:44:19 -07:00
Bryan Li	3d6d4e84eb	added basic zkp frontend functionality	2023-07-28 15:46:11 -07:00
Matthew Liu	acb5120166	changed get_mult_depth to iterative bfs	2023-07-28 14:07:07 -07:00
Matthew Liu	e854036af2	fmt	2023-07-28 11:57:44 -07:00
Matthew Liu	ef90e87a2e	janky a solution to conditional compilation keeping variables out of scope	2023-07-28 11:57:20 -07:00
Matthew Liu	df474a618c	fmt	2023-07-28 11:21:42 -07:00
Matthew Liu	09a49f6a4d	clippy	2023-07-28 11:21:30 -07:00
Matthew Liu	a2fa6df913	fmt	2023-07-28 11:10:12 -07:00
Matthew Liu	4bc4b43090	clippy	2023-07-28 11:10:05 -07:00
Matthew Liu	5f15507af6	clippy	2023-07-28 11:09:14 -07:00
Bryan Li	be18971068	merge conflicts	2023-07-28 11:07:22 -07:00
Bryan Li	51d5cede04	functional zkp debugger	2023-07-28 10:49:51 -07:00
Bryan Li	3ee8fd677a	changed generic to Box of dyn	2023-07-27 19:33:55 -07:00
rickwebiii	30f293d752	SessionProvider	2023-07-27 14:28:18 -07:00
Bryan Li	70c1a08930	added session provider	2023-07-27 13:14:44 -07:00
Bryan Li	1651eec0a5	added name metadata to zkp programs	2023-07-27 11:55:58 -07:00
Bryan Li	5561b7b8b0	added stacktraces	2023-07-26 17:45:35 -07:00
Matthew Liu	5a1db2d812	set up params that cause noise budget exceeded in debugger example	2023-07-26 13:20:16 -07:00
Matthew Liu	1d9de5f03a	zkp now returns bigint as a string	2023-07-26 12:56:43 -07:00
Matthew Liu	1ce1dea57f	server now supports serializing zkp data	2023-07-26 12:54:26 -07:00
Matthew Liu	d4210faf43	remove some unnecssary imports	2023-07-26 11:47:22 -07:00
Matthew Liu	5bc777f27b	overflow can now only be true for ciphertexts that are the output of an arithmetic operation	2023-07-26 11:29:37 -07:00
Matthew Liu	add39427ec	overflow for polynomials	2023-07-26 11:21:58 -07:00
Matthew Liu	021304b3c2	zkpsession and imports	2023-07-26 09:33:57 -07:00
Bryan Li	a936af2307	merge conflicts	2023-07-26 07:20:30 -07:00
Bryan Li	3e6f25d91c	added pretty icons	2023-07-26 07:17:48 -07:00
Matthew Liu	cfec01b6d1	wrote polynomial multiplication functions	2023-07-26 05:19:00 -07:00
Matthew Liu	a0a5855f63	moved decrypt seal logic to a new function	2023-07-26 04:46:30 -07:00
Matthew Liu	16eca9ccba	start zkp sessions	2023-07-26 04:20:24 -07:00
Matthew Liu	f565d176dc	comment out dead code	2023-07-26 04:10:51 -07:00
Matthew Liu	2924eb2ad2	refactoring code to change serializedsealdata to bfvnodetype	2023-07-26 04:02:25 -07:00
Matthew Liu	a48f5aeac8	clippy	2023-07-26 02:44:58 -07:00
Matthew Liu	f050e11345	added support to capture stack traces, but there's an issue with the data not being saved so it can be served to the frontend	2023-07-26 02:41:23 -07:00
Matthew Liu	7bedd64b94	singular empty etst	2023-07-25 22:12:07 -07:00
Matthew Liu	3434e10e59	get_mult_depth works in some cases, need to write tests	2023-07-25 22:11:54 -07:00
Matthew Liu	a77e22a989	unnecessary comments removed	2023-07-25 16:32:32 -07:00
Matthew Liu	19cb4a7c88	format	2023-07-25 16:03:16 -07:00
Matthew Liu	b29784afcd	remove internal tagging so that literals work	2023-07-25 16:03:03 -07:00
Matthew Liu	7bfe783ba4	removed some unnecesasry comments	2023-07-25 14:24:59 -07:00
Matthew Liu	320c08ca2f	named cipher and plaintexts	2023-07-25 12:31:50 -07:00