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
c2851e8152
binops
2021-09-16 17:06:56 -04:00
Edward Chen
49c2696362
initial commit for c-frontend, parsing c files works!
2021-09-08 18:32:09 -04:00
Edward Chen
be0f59a2cd
Merge branch 'master' of https://github.com/circify/circ
2021-09-07 12:09:48 -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
ea3a6ee747
Added EZPC helper file, updated output, added shift tests
2021-09-02 16:58:47 -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
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
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
22a5e508fe
Don't use equality assertions pervasively.
...
Also: special case ZoK entry fn return for proof/smt/MPC
2021-07-07 11:48:31 -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
Alex Ozdemir
0e2e9e10cc
Fix model parsing by updating rsmt2
...
Apparently the most up-to-date version is here[1], not in Adrien's
repository.
[1]: https://github.com/kino-mc/rsmt2
2021-04-27 19:59:39 -07:00
Alex Ozdemir
96f5894add
Doc everything.
2021-04-27 14:41:56 -07:00
Alex Ozdemir
38b6593cb9
Opts
2021-03-15 02:01:50 -07:00
Alex Ozdemir
3eda1991c0
Basic bellman backend
2021-02-28 15:57:32 -08:00
Alex Ozdemir
fcfe7e84f0
Misc ZoKrates opts
...
* SHA CH function
* better Uext conversion
* better (more propagate-able) small XORs
2021-02-27 09:20:40 -08:00
Alex Ozdemir
f564cf0dfa
Zokrate & perf improvements
2021-02-26 20:26:50 -08:00
Alex Ozdemir
b757b5c14c
Tune optimizer
2021-02-24 14:04:33 -08:00
Alex Ozdemir
23fd01f823
eq elim ckpt
2021-02-22 16:37:42 -08:00
Alex Ozdemir
8c5dfdcbbd
Zokrates gen, draft 1 complete. Not really tested
2021-02-20 12:38:14 -08:00
Alex Ozdemir
3b155a7aab
start interpreting ZoKrates
2021-02-19 00:56:46 -08:00
Alex Ozdemir
1b84831ae7
cfold for BVs, everything for field elems
2021-02-09 17:02:43 -08:00
Alex Ozdemir
ec9f1c464a
Reasonably complete BV->R1CS
2021-02-06 22:48:01 -08:00
Alex Ozdemir
fe7280b10e
R1cs
2021-02-03 01:48:02 -08:00
