Clive2312 8e71c8eb9b new ILP formulation

2022-08-04 03:11:59 +00:00

..

C

new ILP formulation

2022-08-04 03:11:59 +00: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

merge latest lowering

2022-07-31 01:45:44 +00:00

opa_bench.rs

with bug in link

2022-07-20 14:35:39 +00: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