Commit Graph

720 Commits

Author SHA1 Message Date
Matthew Liu
4bf7043b77 added support for fhe program source code. in debug mode, run.rs tests wont compile because debug_fhe_program now asks for 7 arguments instead of 6 2023-07-17 12:24:56 -07:00
Matthew Liu
31c59c991d proc macro updates to be able to get source code of an fhe program with .source() 2023-07-17 12:05:32 -07:00
Matthew Liu
e5916cbde0 added support for cors so frontend can now grab data from backend. currently it only grabs a string that allows the frontend to construct a graph 2023-07-17 11:20:38 -07:00
Matthew Liu
322c51d8f7 server file 2023-07-17 04:54:52 -07:00
Matthew Liu
07ff417124 moved code from sessions.rs to server.rs 2023-07-17 04:25:24 -07:00
Matthew Liu
a4e2d1b5fb can now support dynamic paths but currently web server is not set up in a way that you can debug multiple programs 2023-07-17 03:56:51 -07:00
Matthew Liu
6cf313ada2 managed to get webserver up and running. remains to figure out how to get the graph data 2023-07-17 02:50:21 -07:00
Matthew Liu
f3df943daa fixed errors due to conditional compilation with debugger feature in fhe_program_tests 2023-07-17 01:04:37 -07:00
Matthew Liu
5f66f73602 fixed compilation errors based on conditional dependencies when debugger not enabled 2023-07-17 00:46:05 -07:00
Matthew Liu
0f87062b0d modified debug_fhe_program to not return anything 2023-07-17 00:35:19 -07:00
Matthew Liu
145295584b format 2023-07-16 23:06:17 -07:00
Matthew Liu
e492a2e450 modified visibility of sealsecretkey in privatekey struct to be public 2023-07-16 15:58:14 -07:00
Matthew Liu
cb46c4b85b fixed more compilation errors and enabled debugger feature in sunscreen_backend. next step: figure out secret vs privatekey and change debug_fhe_program accordingly 2023-07-16 02:05:27 -07:00
Matthew Liu
cc90bf3548 compilation errors in graph construction test, enabled debugger feature in sunscreen_fhe_program 2023-07-14 17:57:45 -07:00
Matthew Liu
21683f2e23 enabled debugger in zkp backend 2023-07-14 16:33:46 -07:00
Matthew Liu
644d044522 fixed some depenendcy issues to enable debugger feature across workspace, now going to fix compilation results/add support with debugger feature 2023-07-14 16:26:02 -07:00
Matthew Liu
75d59ce14d created start web server function 2023-07-14 15:21:35 -07:00
Matthew Liu
61333183e7 removed nodes file from debugger 2023-07-14 14:21:48 -07:00
Matthew Liu
2eba60472a fxied remaining compilation issues in run 2023-07-14 14:10:36 -07:00
Matthew Liu
bf41566474 added fhe-debugger files as modules 2023-07-14 13:34:24 -07:00
Matthew Liu
7e0cdc212d more compilation error fixes + moved fhe-debugger into debugger module 2023-07-14 13:33:17 -07:00
Matthew Liu
a0d6e9bce3 fixed compilation rrors in tests for run.rs 2023-07-14 11:26:42 -07:00
Matthew Liu
c153222731 implemented set_data, also added calls to set_data in run unchecked 2023-07-14 00:42:02 -07:00
Matthew Liu
0cb4a82498 rick's coimments/changes 2023-07-14 00:06:40 -07:00
Matthew Liu
9f1f6b0a08 moved sessions to runtime 2023-07-13 13:29:00 -07:00
Matthew Liu
4f3e9f435d format and clippy fix 2023-07-13 12:11:41 -07:00
Matthew Liu
8ff5b0e012 documentation, removed some unused dependencies 2023-07-13 12:07:47 -07:00
Matthew Liu
8e984794e6 documentation for sessions 2023-07-13 11:47:01 -07:00
Matthew Liu
de3338da8f sessions file + data structure: 2023-07-13 11:36:17 -07:00
Matthew Liu
95f734ac8b modified tests in validation.rs 2023-07-12 16:45:16 -07:00
Matthew Liu
930db4b619 format fixes 2023-07-12 15:07:33 -07:00
Matthew Liu
b9bd9cc0fe fixed some fhe program tests based on changes to compilationresult data structure 2023-07-12 15:06:21 -07:00
Matthew Liu
e4d22361a4 doc fixes 2023-07-12 14:19:23 -07:00
Matthew Liu
5b16f91057 clippy and format fixes 2023-07-12 14:15:15 -07:00
Matthew Liu
cc0e11a1ba updated measuredmodel call to run_program_unchecked with a secret key 2023-07-12 14:11:20 -07:00
Matthew Liu
0f3c55fc93 fixed compilation errors for tests in run file, now does tests with secret key 2023-07-12 14:04:41 -07:00
Matthew Liu
22c163afef added run_impl and debug_fhe_program, also added debuginfo struct and added parameter for secret key in run unchecked 2023-07-12 13:57:05 -07:00
Matthew Liu
7a6a774582 displays serialized graph strings 2023-07-12 12:33:15 -07:00
Matthew Liu
722bfbddce can display graph for given rational operations 2023-07-11 14:16:01 -07:00
Matthew Liu
059e4d93aa remains to figure out how to display graphs with rationals 2023-07-10 17:51:47 -07:00
Matthew Liu
83d6156621 format fixes 2023-07-10 17:35:02 -07:00
Matthew Liu
78f84fa1cf fixed dependency issues and can now return graph information of basic fhe program 2023-07-10 17:26:01 -07:00
Matthew Liu
e4c5921b48 fixed context compilation errors 2023-07-10 14:09:43 -07:00
Matthew Liu
8f6a1d7b98 cleaned up some conditional compilation logic in context, also formatting fixes 2023-07-10 11:28:56 -07:00
Matthew Liu
243d748cdf fixed references of .0 into .graph and enabled conditional compilation of debugging structs, but this broke fhe_program proc macro 2023-07-10 11:03:09 -07:00
Matthew Liu
40adf1d93f infrastructure for groups 2023-07-09 21:32:32 -07:00
Matthew Liu
ee1ff44646 added a get for stackframelookup, added clone to programgroup 2023-07-09 20:05:58 -07:00
Matthew Liu
8d5e488e9c more programgroup 2023-07-06 00:47:02 -07:00
Matthew Liu
b8c6c77a08 programcontext/programgroup structs defined 2023-07-05 22:21:15 -07:00
Matthew Liu
fd9458a84b some more tests 2023-07-05 12:05:47 -07:00