Matthew Liu
044e1c1c75
fmt
2023-08-01 16:11:58 -07:00
Matthew Liu
6da0352a84
refactor code to not have current zkp or fhe ctx, instead generic enum
2023-08-01 12:34:20 -07:00
Matthew Liu
2ef629d7ab
removed is_multiplication from operatoin trait
2023-07-31 19:44:49 -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
Matthew Liu
308780e0dc
modified tests for validation to account for struct variants
2023-07-27 13:14:37 -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
b29784afcd
remove internal tagging so that literals work
2023-07-25 16:03:03 -07:00
Matthew Liu
c571744480
changed serializable enums to be internally tagged
2023-07-24 10:27:30 -07:00
Matthew Liu
eaddb9d6b9
updated serialization types
2023-07-24 09:25:30 -07:00
Matthew Liu
a193ab4aaf
fmt changes. also can display coefficients of plaintexts
2023-07-21 15:09:29 -07:00
Matthew Liu
f7575d0110
moved group and stack counters off context and onto metadata ... maybe should move this onto the lookup structs themselves?
2023-07-20 14:02:02 -07:00
Matthew Liu
2309793881
two changes: modified Operation enum to be struct instead of tuple variants and fixed associated compilation errors, also removed multiplicaitve depth field from NOdeInfo and fixed corresponding compilation errors
2023-07-20 13:35:42 -07:00
Matthew Liu
2aff8d0f1f
compile fixes, added multiplicative_depth field to nodeinfos
2023-07-20 12:30:10 -07:00
Matthew Liu
f435ca9eb2
enabled internal tagging with conditional compilation with debugger feature
2023-07-20 01:32:07 -07:00
Matthew Liu
c950a0a5e6
put multiplicative depth on nodeinfo, also updated operationtrait
2023-07-20 01:27:12 -07:00
Matthew Liu
904361ff84
fmt
2023-07-19 15:39:16 -07:00
Matthew Liu
38224850a7
stack id for node info and context changes
2023-07-19 13:20:47 -07:00
Matthew Liu
91a5fe1271
clippy and fmt
2023-07-18 17:44:30 -07:00
Matthew Liu
bdf8c8c415
modifying interface for lookup data structures
2023-07-18 15:14:41 -07:00
Matthew Liu
3d31f4a046
clippy fixes
2023-07-18 11:49:53 -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
5f66f73602
fixed compilation errors based on conditional dependencies when debugger not enabled
2023-07-17 00:46:05 -07:00
Matthew Liu
145295584b
format
2023-07-16 23:06:17 -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
95f734ac8b
modified tests in validation.rs
2023-07-12 16:45:16 -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
500a50d144
updated zkp jit compilation to support constructing nodes with group id
2023-06-27 16:59:22 -07:00
mliu24
bca6f80484
Merge branch 'debugger' into mliu-backend
2023-06-27 14:30:54 -07:00
Matthew Liu
e9816606b0
aded support for group id's in fhe and zkp programs
2023-06-27 14:17:13 -07:00
Matthew Liu
cf162631c1
addedd support for group counter to fheprograms
2023-06-27 12:28:37 -07:00
Matthew Liu
8526fa3bbb
added support for group id's in nodeinfo struct and modified new/add_node methods
2023-06-27 11:38:13 -07:00
mliu24
294d162076
commented out compile errors, added group_id to context ( #263 )
...
* commented out some code from main, bulid in debugger file to fix compile errors. also added optional field group_id for context
* added support for unique group ids
* added debug flag to sunscreen_fhe_program, need to check every instance of Context
* updated features and renamed feature to debugger
* removed atomic from context, renamed group_id to group_counter
2023-06-26 17:11:05 -07:00
Matthew Liu
e62cf2f7e3
updated features and renamed feature to debugger
2023-06-26 16:28:09 -07:00
Matthew Liu
4711a53842
added debug flag to sunscreen_fhe_program, need to check every instance of Context
2023-06-26 16:04:06 -07:00
rickwebiii
c6056bf8d9
Rweber/zkp ( #193 )
...
Can use gadgets
2022-12-08 10:08:57 -08:00
rickwebiii
2e5b7e834b
Rweber/refactor ( #190 )
...
Refactor sunscreen_fhe_program to use types and functions in sunscreen_compiler_common
2022-11-30 18:02:45 -08:00
rickwebiii
f79e2312af
Rweber/clippy ( #189 )
...
Improve Errors (use thiserror and reduce their size). Fix clippy errors.
2022-11-29 13:18:45 -08:00
rickwebiii
3543b88387
Rweber/zkp ( #187 )
...
Refactor APIs to support ZKPs
2022-11-22 15:44:00 -08:00
rickwebiii
d847021858
Rweber/zkp ( #186 )
...
Add ZKP backend for Bulletproofs
2022-11-18 20:06:48 -08:00
rickwebiii
28ea71118f
Rweber/zkp ( #185 )
...
Start ZKP compiler and refactor common code.
2022-11-15 12:43:04 -08:00
Sam Tay
e2e5da3f60
Manually fix the rest of the clippy warnings
2022-10-31 15:30:34 -07:00
Sam Tay
4b53103953
Auto fix clippy warnings
2022-10-31 15:30:34 -07:00
rickwebiii
0ca0052018
Rweber/release 0.7 ( #178 )
...
* 0.7 release
* Fix docs links
2022-10-17 14:56:27 -07:00
rickwebiii
0b86d5dfad
Rweber/model ( #161 )
...
Add support for noise models in determining parameter selection
2022-07-22 15:56:39 +01:00
rickwebiii
b8cbacac69
Downgrade minimum required toolchain ( #160 )
2022-07-20 12:05:07 +01:00
