Edward Chen
88b6768798
minor changes to add in typing for integers, address some review comments
2021-10-22 01:32:58 -04:00
Edward Chen
fda3fa76a3
Merge branch 'master' into c_frontend
2021-10-20 18:31:46 -04:00
Alex Ozdemir
efe0d62263
Proof of high-value & tests
2021-10-18 15:29:37 -07:00
Edward Chen
a0d07c5717
array stores and loads work!
2021-10-13 22:09:19 -04:00
Edward Chen
9c20fd55f4
temp
2021-10-08 16:26:33 -04:00
Edward Chen
2b320a6426
decl initialization for array types and need to reverse search ctx to get LOC
2021-10-06 22:11:43 -04:00
Edward Chen
82358e89fd
array sum!
2021-10-03 17:51:23 -04:00
Edward Chen
193a680eaa
adding arr struct
2021-09-30 23:44:36 -04:00
Edward Chen
d83c26de06
conditionals work!0
2021-09-30 22:20:53 -04:00
Edward Chen
7af5c69940
ite... doesn't work yet
2021-09-28 20:27:50 -04:00
Edward Chen
a4297bc022
updated testing suite for both zok and c frontends
2021-09-27 19:39:17 -04:00
Edward Chen
9787c355c6
updated
2021-09-26 20:30:38 -04:00
Edward Chen
5a46a5da8d
updated zok tests and added casting to c frontend
2021-09-24 16:00:34 -04:00
Edward Chen
b654c484d0
adding in boolean and bitwise operations for c frontend
2021-09-20 17:19:18 -04:00
Edward Chen
4a01517ea3
int tests work for c frontendgit add .git add .
2021-09-19 21:05:34 -04:00
Edward Chen
9d3dd64da9
adding in parameter parsing and completed ast for simple add program
2021-09-16 21:21:02 -04:00
Edward Chen
49c2696362
initial commit for c-frontend, parsing c files works!
2021-09-08 18:32:09 -04:00
Edward Chen
991c710cea
Support lowering loops to ABY ( #19 )
...
* loops for ABY!
2021-09-03 11:24:53 -04:00
Edward Chen
92cff0a119
Integrated EZPC helper file ( #18 )
...
* Added EZPC helper file, updated output, added shift tests
2021-09-02 18:08:08 -04:00
Edward Chen
d9d66896b3
Added support for multiple outputs in test cases ( #17 )
2021-08-31 19:24:14 -07:00
Edward Chen
fd2a7e4bf2
Added Conversion Gates & Integrated with OPA SharingMap ( #16 )
...
* OPA-by-ILP benchmark example
* Reverted unverified push to master branch
* Added conversion gates and integrated ABY lowering with SharingMap
Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu >
2021-08-25 22:38:50 -07:00
Edward Chen
5579b99888
Revert "Added conversion gates and integrated SharingMap"
...
This reverts commit bd022fad38
2021-08-25 16:48:07 -04:00
Edward Chen
bd022fad38
Added conversion gates and integrated SharingMap
2021-08-25 16:45:24 -04:00
Alex Ozdemir
3b964f0bd3
OPA-by-ILP benchmark example
2021-08-24 10:01:19 -07:00
Edward Chen
0528353296
Tested ite ( #13 )
2021-08-19 09:35:38 -07:00
Edward Chen
8848bfee6f
Updated parameter passing for ABY test cases ( #12 )
...
* Updated parameter passing for ABY test cases
-Uses `dict` instead of `list` to pass arguments into ABY tests
-Using `dict` allows for referencing between parameter name and value regardless of parameter order
2021-08-18 20:14:32 -07:00
Edward Chen
3b0bbc9fff
added const value translation for ABY ( #11 )
2021-08-16 22:54:41 -07:00
Alex Ozdemir
fa711e6900
ZoKrates->ILP toolchain and tests ( #10 )
2021-08-07 00:08:46 -07:00
Alex Ozdemir
6c0374b944
Dependencies update & scripts
2021-08-04 21:42:45 -07:00
Edward Chen
61b011998c
updated time cmd for both OSX and LINUX ( #6 )
2021-08-04 00:01:35 -07:00
Edward Chen
68da42993c
Zok to ABY pipeline ( #4 )
...
Lowering layer from CirC IR to ABY
- Lowers IR to ABY C++
- Writes translated code into ABY submodule and update CMake files
- tests using Python to run ABY executables
Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu >
2021-07-28 21:33:21 -07:00
Alex Ozdemir
44c2700073
Add profile script
2021-07-02 22:41:56 -07:00
Alex Ozdemir
54edb052e7
fix MPC tests to actually use MPC generation..
...
Also, crash if we find party annotations in proof mode
2021-06-26 00:47:39 -07:00
Alex Ozdemir
1247e2cf6f
ZoKrates MPC party numbers
...
Adds:
* Parsing party numbers from private annotations (e.g. private<1>, private<2>, ...)
* A "mode" flag to the ZoKrates generator which is either Proof or Mpc(party_count)
* Appropriate generation
* Modifications to the circ driver
* two tests
2021-06-26 00:40:13 -07:00
Alex Ozdemir
fad440db7f
Tests
2021-06-25 23:56:51 -07:00
