Edward Chen 450aa8df93 cleaning merge

2022-01-27 03:41:42 -05:00

..

aby_tests

cleaning merge

2022-01-27 03:41:42 -05:00

build_aby.zsh

Cache submodule build (#38)

2022-01-09 08:49:07 -08:00

build_mpc_c_test.zsh

merged main to graphing

2022-01-26 13:14:32 -05:00

build_mpc_zokrates_test.zsh

C Frontend (#22)

2022-01-20 10:16:27 -08:00

build_r1cs_c_test.zsh

C Frontend (#22)

2022-01-20 10:16:27 -08:00

dependencies_arch.sh

Dependencies update & scripts

2021-08-04 21:42:45 -07:00

dependencies_ubuntu.sh

Dependencies update & scripts

2021-08-04 21:42:45 -07:00

opa_bench.zsh

OPA-by-ILP benchmark example

2021-08-24 10:01:19 -07:00

profile_sha.zsh

IR-based Zokrates front-end (#33)

2022-01-01 11:44:56 -08:00

test_datalog.zsh

IR-based Zokrates front-end (#33)

2022-01-01 11:44:56 -08:00

test_zok_to_ilp_pf.zsh

Public inputs for proofs. (#27)

2021-12-10 13:09:05 -08:00

test_zok_to_ilp.zsh

Deterministic compilation & better CLI (#25)

2021-11-29 15:17:32 -08:00

zokrates_test.zsh

IR-based Zokrates front-end (#33)

2022-01-01 11:44:56 -08:00