868 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Matthew Liu	5f15507af6	clippy	2023-07-28 11:09:14 -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
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
Matthew Liu	825212b7ab	examples for overflow and chaining	2023-07-26 11:44:12 -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
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	21496d47a0	fmt	2023-07-26 03:15:36 -07:00
Matthew Liu	4f06873305	clippy	2023-07-26 03:15:29 -07:00
Matthew Liu	b93b7cd27e	fmt	2023-07-26 03:14:23 -07:00
Matthew Liu	089eb22c2e	can now display stack traces	2023-07-26 03:10:38 -07:00
Matthew Liu	d601938b87	fmt	2023-07-26 02:46:58 -07:00
Matthew Liu	e2357ab470	default implementation for gorup and stacklookup	2023-07-26 02:46:13 -07:00
Matthew Liu	a48f5aeac8	clippy	2023-07-26 02:44:58 -07:00
Matthew Liu	2d550becc3	fmt	2023-07-26 02:42:31 -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	52bbe0410c	attempt to redesign stack frame lookup -- this is a very inefficeint way of doing it, but should work	2023-07-26 00:59:40 -07:00