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
