Commit Graph

  • 2ef629d7ab removed is_multiplication from operatoin trait Matthew Liu 2023-07-31 19:44:49 -07:00
  • aef00912a9 added comment in zkp example Bryan Li 2023-07-31 19:26:56 -07:00
  • c4e6aef54f fixed some frontend stuff Bryan Li 2023-07-31 19:25:54 -07:00
  • 6e2676b079 compile errors on debug program Matthew Liu 2023-07-31 13:55:26 -07:00
  • 86dab313e6 refactored some code to unwrap contextenum as an fhecontext Matthew Liu 2023-07-31 13:03:02 -07:00
  • 8b4d5f523c unwrap methods for context enum Matthew Liu 2023-07-31 12:51:49 -07:00
  • 7a4189ee37 basic body for debug prgoram macro Matthew Liu 2023-07-31 12:41:08 -07:00
  • 2956560aeb contextenum for fhe and zkp ctx Matthew Liu 2023-07-31 12:35:34 -07:00
  • 4179880b23 cargo fmt Bryan Li 2023-07-31 11:09:55 -07:00
  • 0f668bc3c9 removed duplicate serialization Bryan Li 2023-07-31 11:09:33 -07:00
  • 2377d3287f addressed some code review changes Bryan Li 2023-07-31 10:27:59 -07:00
  • c8a036ba89 cargo fmt Bryan Li 2023-07-30 23:55:29 -07:00
  • ca3c6aec35 replaced cfg! call with attribute Bryan Li 2023-07-30 23:52:33 -07:00
  • 96da66a892 debug program impl function Matthew Liu 2023-07-30 23:22:27 -07:00
  • d9d10f4972 removed some unnecessary comments from context Matthew Liu 2023-07-30 23:22:10 -07:00
  • 3d0b11ad76 fixed linting ahhh Bryan Li 2023-07-30 22:09:49 -07:00
  • 8c9c47b9f2 fixed formatting again Bryan Li 2023-07-30 22:03:39 -07:00
  • f4128ecb5e fixed style and linting Bryan Li 2023-07-30 22:01:14 -07:00
  • 6f829a703c some ui fixes Bryan Li 2023-07-30 21:59:08 -07:00
  • 4019e47cd9 merged debugger into bryan/add-frontend Bryan Li 2023-07-30 21:29:16 -07:00
  • 5d75038053 changed fonts Bryan Li 2023-07-30 20:30:20 -07:00
  • f66aa69b62 basically the whole debugger project (#269) mliu24 2023-07-30 18:14:22 -07:00
  • 05861a80ac fmt Matthew Liu 2023-07-30 17:58:07 -07:00
  • 3985b9efb0 removed gating from debugger module; zkp runtime uses it Matthew Liu 2023-07-30 17:55:01 -07:00
  • 937f81d261 removed some gating Matthew Liu 2023-07-30 17:39:11 -07:00
  • 792751c4e7 fix gating issues Matthew Liu 2023-07-30 17:17:50 -07:00
  • bf08dc5400 gate some imports Matthew Liu 2023-07-30 17:02:43 -07:00
  • ca303a3585 fmt Matthew Liu 2023-07-30 16:49:56 -07:00
  • c37b978045 zkp stacktrace Bryan Li 2023-07-30 16:49:55 -07:00
  • 591bfe8efc clippy actually likes unwrap or else Matthew Liu 2023-07-30 16:49:46 -07:00
  • 03d4ea9032 removed unwrap or else and turned into expect Matthew Liu 2023-07-30 16:45:38 -07:00
  • d0cf517f50 clippy Matthew Liu 2023-07-30 16:43:06 -07:00
  • a9d20b5040 remove internal tagging comments Matthew Liu 2023-07-30 16:42:03 -07:00
  • 7f6d3908d6 modified checks for overflow Matthew Liu 2023-07-30 16:22:42 -07:00
  • 817e998aee stacktrace part 1 Bryan Li 2023-07-30 16:18:46 -07:00
  • e2f51008e3 implemented overflow detection for fhe programs Matthew Liu 2023-07-30 16:05:01 -07:00
  • c1ec13f787 can extract coefficients from innerplaintext Matthew Liu 2023-07-29 22:54:30 -07:00
  • 6caef04edc added program source data to debug zkp programs Bryan Li 2023-07-29 17:01:55 -07:00
  • 47e232ba36 overflow code now compiles but needs to actually be implemented Matthew Liu 2023-07-28 17:03:58 -07:00
  • f18664aa54 add functions to modularize overflow calculation Matthew Liu 2023-07-28 16:44:19 -07:00
  • 3d6d4e84eb added basic zkp frontend functionality Bryan Li 2023-07-28 15:46:11 -07:00
  • acb5120166 changed get_mult_depth to iterative bfs Matthew Liu 2023-07-28 14:07:07 -07:00
  • 37176ee1e0 change fhe program macro to preserve white space Matthew Liu 2023-07-28 13:54:07 -07:00
  • 69888c8737 remove unnecessary conditional compilation in common subexpression eliminioatno Matthew Liu 2023-07-28 13:52:44 -07:00
  • 11f48dd082 removed serialize function for stackframeinfo, instead hashed it Matthew Liu 2023-07-28 13:47:59 -07:00
  • e4858174f0 remove todo Matthew Liu 2023-07-28 13:32:05 -07:00
  • 92982678b9 remove unnecssary comment Matthew Liu 2023-07-28 13:31:24 -07:00
  • 2c99515586 remove print debug from measured model Matthew Liu 2023-07-28 13:30:35 -07:00
  • dd68f2cc1c conditioanl compilation for debugdata Matthew Liu 2023-07-28 12:21:23 -07:00
  • e854036af2 fmt Matthew Liu 2023-07-28 11:57:44 -07:00
  • ef90e87a2e janky a solution to conditional compilation keeping variables out of scope Matthew Liu 2023-07-28 11:57:20 -07:00
  • df474a618c fmt Matthew Liu 2023-07-28 11:21:42 -07:00
  • 09a49f6a4d clippy Matthew Liu 2023-07-28 11:21:30 -07:00
  • a2fa6df913 fmt Matthew Liu 2023-07-28 11:10:12 -07:00
  • 4bc4b43090 clippy Matthew Liu 2023-07-28 11:10:05 -07:00
  • 97bb5e33e1 removed node modules Bryan Li 2023-07-28 11:09:39 -07:00
  • 5f15507af6 clippy Matthew Liu 2023-07-28 11:09:14 -07:00
  • 21b57e1496 merge conflicts Bryan Li 2023-07-28 11:07:56 -07:00
  • be18971068 merge conflicts Bryan Li 2023-07-28 11:07:22 -07:00
  • 45fd174fa3 Merge pull request #287 from Sunscreen-tech/bryan/zkp-backend Bryan Li 2023-07-28 11:03:10 -07:00
  • b4a2717e38 Merge branch 'mliu-backend' into bryan/zkp-backend bryan/zkp-backend Bryan Li 2023-07-28 11:02:54 -07:00
  • 51d5cede04 functional zkp debugger Bryan Li 2023-07-28 10:49:51 -07:00
  • 3ee8fd677a changed generic to Box of dyn Bryan Li 2023-07-27 19:33:55 -07:00
  • 318f559e1e fuck off rickwebiii 2023-07-27 16:53:32 -07:00
  • 1dcfdaa5be Fix lookup rickwebiii 2023-07-27 16:28:45 -07:00
  • 65df198271 Fix feature plumbing rickwebiii 2023-07-27 15:46:27 -07:00
  • 7afa1e4892 Fix tests rickwebiii 2023-07-27 15:46:04 -07:00
  • aa78767e62 Fix a test rickwebiii 2023-07-27 15:29:46 -07:00
  • d1a96b7f76 added gorup and stack id for some validation tests Matthew Liu 2023-07-27 15:00:05 -07:00
  • 30f293d752 SessionProvider rickwebiii 2023-07-27 14:28:18 -07:00
  • 70c1a08930 added session provider Bryan Li 2023-07-27 13:14:44 -07:00
  • 308780e0dc modified tests for validation to account for struct variants Matthew Liu 2023-07-27 13:14:37 -07:00
  • e2659060d7 updated construction of expected graphs for fhe_program_tests Matthew Liu 2023-07-27 12:55:24 -07:00
  • 1651eec0a5 added name metadata to zkp programs Bryan Li 2023-07-27 11:55:58 -07:00
  • 5561b7b8b0 added stacktraces Bryan Li 2023-07-26 17:45:35 -07:00
  • 1fa41dd476 remove tests from lookup Matthew Liu 2023-07-26 13:21:09 -07:00
  • 5a1db2d812 set up params that cause noise budget exceeded in debugger example Matthew Liu 2023-07-26 13:20:16 -07:00
  • 1d9de5f03a zkp now returns bigint as a string Matthew Liu 2023-07-26 12:56:43 -07:00
  • 1ce1dea57f server now supports serializing zkp data Matthew Liu 2023-07-26 12:54:26 -07:00
  • d4210faf43 remove some unnecssary imports Matthew Liu 2023-07-26 11:47:22 -07:00
  • 825212b7ab examples for overflow and chaining Matthew Liu 2023-07-26 11:44:12 -07:00
  • 5bc777f27b overflow can now only be true for ciphertexts that are the output of an arithmetic operation Matthew Liu 2023-07-26 11:29:37 -07:00
  • add39427ec overflow for polynomials Matthew Liu 2023-07-26 11:21:58 -07:00
  • 021304b3c2 zkpsession and imports Matthew Liu 2023-07-26 09:33:57 -07:00
  • a936af2307 merge conflicts Bryan Li 2023-07-26 07:20:30 -07:00
  • 3e6f25d91c added pretty icons Bryan Li 2023-07-26 07:17:48 -07:00
  • cfec01b6d1 wrote polynomial multiplication functions Matthew Liu 2023-07-26 05:19:00 -07:00
  • a0a5855f63 moved decrypt seal logic to a new function Matthew Liu 2023-07-26 04:46:30 -07:00
  • 16eca9ccba start zkp sessions Matthew Liu 2023-07-26 04:20:24 -07:00
  • f565d176dc comment out dead code Matthew Liu 2023-07-26 04:10:51 -07:00
  • 2924eb2ad2 refactoring code to change serializedsealdata to bfvnodetype Matthew Liu 2023-07-26 04:02:25 -07:00
  • 21496d47a0 fmt Matthew Liu 2023-07-26 03:15:36 -07:00
  • 4f06873305 clippy Matthew Liu 2023-07-26 03:15:29 -07:00
  • b93b7cd27e fmt Matthew Liu 2023-07-26 03:14:23 -07:00
  • 089eb22c2e can now display stack traces Matthew Liu 2023-07-26 03:10:38 -07:00
  • d601938b87 fmt Matthew Liu 2023-07-26 02:46:58 -07:00
  • e2357ab470 default implementation for gorup and stacklookup Matthew Liu 2023-07-26 02:46:13 -07:00
  • a48f5aeac8 clippy Matthew Liu 2023-07-26 02:44:58 -07:00
  • 2d550becc3 fmt Matthew Liu 2023-07-26 02:42:31 -07:00
  • 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 Matthew Liu 2023-07-26 02:41:23 -07:00