Evan Laufer bda8675164 Merge commit '84b2f33e5f9b6006fadfd28a4f3fa91831209f03' into ram

2022-10-24 08:05:24 -07:00

..

C

Clone audit of the C frontend (#106)

2022-10-12 11:55:44 -07:00

datalog

Datalog (#26)

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

ZoKrates

Add encoding of checks for simple RAMs

2022-06-29 14:55:47 -07:00

circ.rs

Merge branch 'master' of github.com:emlaufer/circ into ram

2022-10-10 13:42:03 -07:00

opa_bench.rs

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

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

zk.rs

Fix mirage feature flags

2022-10-10 13:45:44 -07:00

zxc.rs

ZoKrates assertion bugfix and option to isolate (#89)

2022-06-23 22:14:58 -07:00

zxi.rs

ZoKrates assertion bugfix and option to isolate (#89)

2022-06-23 22:14:58 -07:00