Edward Chen 3347bca5ce minor

2022-07-26 18:19:30 -04:00

..

C

minor

2022-07-26 18:19:30 -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

broken cryptonets but removed additional consts

2022-07-25 12:59:38 -04:00

opa_bench.rs

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

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

zk.rs

merged master

2022-05-25 09:44:23 -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