996 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Matthew Liu	03d4ea9032	removed unwrap or else and turned into expect	2023-07-30 16:45:38 -07:00
Matthew Liu	d0cf517f50	clippy	2023-07-30 16:43:06 -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	37176ee1e0	change fhe program macro to preserve white space	2023-07-28 13:54:07 -07:00
Matthew Liu	69888c8737	remove unnecessary conditional compilation in common subexpression eliminioatno	2023-07-28 13:52:44 -07:00
Matthew Liu	11f48dd082	removed serialize function for stackframeinfo, instead hashed it	2023-07-28 13:47:59 -07:00
Matthew Liu	e4858174f0	remove todo	2023-07-28 13:32:05 -07:00
Matthew Liu	92982678b9	remove unnecssary comment	2023-07-28 13:31:24 -07:00
Matthew Liu	2c99515586	remove print debug from measured model	2023-07-28 13:30:35 -07:00
Matthew Liu	dd68f2cc1c	conditioanl compilation for debugdata	2023-07-28 12:21:23 -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
Bryan Li	97bb5e33e1	removed node modules	2023-07-28 11:09:39 -07:00
Matthew Liu	5f15507af6	clippy	2023-07-28 11:09:14 -07:00
Bryan Li	21b57e1496	merge conflicts	2023-07-28 11:07:56 -07:00
Bryan Li	be18971068	merge conflicts	2023-07-28 11:07:22 -07:00
Bryan Li	45fd174fa3	Merge pull request #287 from Sunscreen-tech/bryan/zkp-backend ... Bryan/zkp backend	2023-07-28 11:03:10 -07:00
Bryan Li	b4a2717e38	Merge branch 'mliu-backend' into bryan/zkp-backend	2023-07-28 11:02:54 -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	318f559e1e	fuck off	2023-07-27 16:53:32 -07:00
rickwebiii	1dcfdaa5be	Fix lookup	2023-07-27 16:28:45 -07:00
rickwebiii	65df198271	Fix feature plumbing	2023-07-27 15:46:27 -07:00
rickwebiii	7afa1e4892	Fix tests	2023-07-27 15:46:04 -07:00
rickwebiii	aa78767e62	Fix a test	2023-07-27 15:29:46 -07:00
Matthew Liu	d1a96b7f76	added gorup and stack id for some validation tests	2023-07-27 15:00:05 -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
Matthew Liu	308780e0dc	modified tests for validation to account for struct variants	2023-07-27 13:14:37 -07:00
Matthew Liu	e2659060d7	updated construction of expected graphs for fhe_program_tests	2023-07-27 12:55:24 -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	1fa41dd476	remove tests from lookup	2023-07-26 13:21:09 -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