Edward Chen 3a4642223a new parser

2022-02-09 02:13:10 -05:00

..

aby_tests

new parser

2022-02-09 02:13:10 -05:00

zx_tests

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00

build_aby.zsh

Cache submodule build (#38)

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

build_mpc_c_test.zsh

new parser

2022-02-09 02:13:10 -05:00

build_mpc_zokrates_test.zsh

merged with master

2022-02-07 19:34:18 -05:00

build_r1cs_c_test.zsh

C Frontend (#22)

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

dependencies_arch.sh

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00

dependencies_macos_homebrew.sh

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00

dependencies_ubuntu.sh

Dependencies update & scripts

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

input_parser.cpp

new parser

2022-02-09 02:13:10 -05: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

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00