1024 Commits

Author SHA1 Message Date
Matthew Liu
9568d8cbff parent is now an Option<u64> 2023-08-04 13:05:05 -07:00
Matthew Liu
1a829d30a1 removed old comment 2023-08-04 12:56:10 -07:00
Matthew Liu
ee8d9ce5e7 refactored code from debug_program to debug 2023-08-04 12:53:14 -07:00
Matthew Liu
2ac8e3685e debug macro 2023-08-04 12:38:40 -07:00
Matthew Liu
d4d91d12b6 change debug_program to debug 2023-08-04 12:38:09 -07:00
Bryan Li
3c3ca28179 added default group id 2023-08-03 16:40:59 -07:00
Bryan Li
7a513940d0 zkp grouping 2023-08-03 15:21:04 -07:00
Bryan Li
9690dd43b3 grouping backend 2023-08-03 15:15:24 -07:00
Bryan Li
f4aeb75a1f misc fixes 2023-08-03 10:42:16 -07:00
Matthew Liu
6ddf33ad04 change group to source code and group name 2023-08-02 16:11:07 -07:00
Matthew Liu
848c0a5f53 merge
Merge branch 'debugger-macros' of https://github.com/Sunscreen-tech/Sunscreen into debugger-macros
2023-08-02 15:34:14 -07:00
Matthew Liu
668a7c4d42 remove group type alias 2023-08-02 15:33:57 -07:00
mliu24
4ed6ef1229 Merge branch 'debugger' into debugger-macros 2023-08-02 15:32:29 -07:00
Matthew Liu
dc51beb098 fmt 2023-08-02 15:28:06 -07:00
mliu24
116226d244 implementation of contextenum (#290)
* clippy

* clippy

* fmt

* clippy

* fmt

* janky a solution to conditional compilation keeping variables out of scope

* fmt

* conditioanl compilation for debugdata

* remove print debug from measured model

* remove unnecssary comment

* remove todo

* removed serialize function for stackframeinfo, instead hashed it

* remove unnecessary conditional compilation in common subexpression eliminioatno

* change fhe program macro to preserve white space

* changed get_mult_depth to iterative bfs

* add functions to modularize overflow calculation

* overflow code now compiles but needs to actually be implemented

* can extract coefficients from innerplaintext

* implemented overflow detection for fhe programs

* modified checks for overflow

* remove internal tagging comments

* clippy

* removed unwrap or else and turned into expect

* clippy actually likes unwrap or else

* fmt

* gate some imports

* fix gating issues

* removed some gating

* removed gating from debugger module; zkp runtime uses it

* fmt

* removed some unnecessary comments from context

* debug program impl function

* contextenum for fhe and zkp ctx

* basic body for debug prgoram macro

* unwrap methods for context enum

* refactored some code to unwrap contextenum as an fhecontext

* compile errors on debug program

* removed is_multiplication from operatoin trait

* documentation for contextenum

* refactor code to not have current zkp or fhe ctx, instead generic enum

* changed uses of current fhe and zkp contexts to generic enum

* stashing changes

* add a clone call in fhe program macro so code compiles. this does not work

* fix mutability issue in fhe program macro

* fix mutability issue in zkp program macro

* modify methods for unwrapping contextenum

* fmt

* half of clippy fixes

* clippy

* fmt

* fixed mutability issue in create inputs test

* fmt
2023-08-02 15:27:39 -07:00
Matthew Liu
86a1b4ef6f fmt 2023-08-01 16:47:51 -07:00
Matthew Liu
9728d65635 fixed mutability issue in create inputs test 2023-08-01 16:47:36 -07:00
Matthew Liu
bb71c20d24 merge debugger into mliu-backend 2023-08-01 16:28:00 -07:00
Matthew Liu
fa4ab0552c fmt 2023-08-01 16:14:54 -07:00
Matthew Liu
72dbd554e6 clippy 2023-08-01 16:14:45 -07:00
Matthew Liu
37393cc3d7 half of clippy fixes 2023-08-01 16:13:38 -07:00
Matthew Liu
044e1c1c75 fmt 2023-08-01 16:11:58 -07:00
Matthew Liu
0c0059c037 modify methods for unwrapping contextenum 2023-08-01 16:10:56 -07:00
Matthew Liu
77ceedf968 fix mutability issue in zkp program macro 2023-08-01 16:07:16 -07:00
Matthew Liu
a137c5109b fix mutability issue in fhe program macro 2023-08-01 16:03:29 -07:00
Matthew Liu
130fa517bf add a clone call in fhe program macro so code compiles. this does not work 2023-08-01 15:52:33 -07:00
Matthew Liu
1d95a5b9a8 stashing changes 2023-08-01 15:01:56 -07:00
Matthew Liu
c575d24c77 changed uses of current fhe and zkp contexts to generic enum 2023-08-01 13:53:26 -07:00
Sam Tay
8fe63d6e88 Fix benchmark (#289) 2023-08-01 16:24:25 -04: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
Bryan Li
8df0cbfc18 Merge pull request #288 from Sunscreen-tech/bryan/add-frontend
Bryan/add frontend
2023-08-01 10:38:37 -07:00
Matthew Liu
bf129c60ff documentation for contextenum 2023-07-31 19:46:19 -07:00
Matthew Liu
2ef629d7ab removed is_multiplication from operatoin trait 2023-07-31 19:44:49 -07:00
Bryan Li
aef00912a9 added comment in zkp example 2023-07-31 19:26:56 -07:00
Bryan Li
c4e6aef54f fixed some frontend stuff 2023-07-31 19:25:54 -07:00
Matthew Liu
6e2676b079 compile errors on debug program 2023-07-31 13:55:26 -07:00
Matthew Liu
86dab313e6 refactored some code to unwrap contextenum as an fhecontext 2023-07-31 13:03:02 -07:00
Matthew Liu
8b4d5f523c unwrap methods for context enum 2023-07-31 12:51:49 -07:00
Matthew Liu
7a4189ee37 basic body for debug prgoram macro 2023-07-31 12:41:08 -07:00
Matthew Liu
2956560aeb contextenum for fhe and zkp ctx 2023-07-31 12:35:34 -07:00
Bryan Li
4179880b23 cargo fmt 2023-07-31 11:09:55 -07:00
Bryan Li
0f668bc3c9 removed duplicate serialization 2023-07-31 11:09:33 -07:00
Bryan Li
2377d3287f addressed some code review changes 2023-07-31 10:27:59 -07:00
Bryan Li
c8a036ba89 cargo fmt 2023-07-30 23:55:29 -07:00
Bryan Li
ca3c6aec35 replaced cfg! call with attribute 2023-07-30 23:52:33 -07:00
Matthew Liu
96da66a892 debug program impl function 2023-07-30 23:22:27 -07:00
Matthew Liu
d9d10f4972 removed some unnecessary comments from context 2023-07-30 23:22:10 -07:00
Bryan Li
3d0b11ad76 fixed linting ahhh 2023-07-30 22:09:49 -07:00
Bryan Li
8c9c47b9f2 fixed formatting again 2023-07-30 22:03:39 -07:00
Bryan Li
f4128ecb5e fixed style and linting 2023-07-30 22:01:14 -07:00