Edward Chen a05a76db02 merged

2022-08-02 12:26:28 -04:00

..

C

merged

2022-08-02 12:26:28 -04:00

datalog

Datalog (#26)

2021-11-30 13:26:25 -08:00

ZoKrates

Updates to C Frontend (#67)

2022-05-20 02:20:36 -04:00

circ.rs

removed unecessary bench logs

2022-08-02 06:42:44 +00:00

opa_bench.rs

Precomputations (or, as-known-for-proofs, witness extension) (#80)

2022-05-17 08:54:04 -07:00

zk.rs

updated compiler warnings and cleaned print statements

2022-07-30 20:53:51 -04:00

zxc.rs

ckpt2, also parse/serialize for Computation, Functions

2022-05-30 15:38:27 -07:00

zxi.rs

Precomputations (or, as-known-for-proofs, witness extension) (#80)

2022-05-17 08:54:04 -07:00