Edward Chen 30ccc35bec updating c frontend to include proof mode

2021-12-07 03:18:30 -05:00

..

C/mpc

biomatching test works

2021-12-03 01:04:36 +00:00

datalog

Datalog (#26)

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

ZoKrates

Merge branch 'master' into c_frontend

2021-11-30 17:00:29 -08:00

circ_c.rs

Merge branch 'master' into c_frontend

2021-11-30 17:00:29 -08:00

circ.rs

updating c frontend to include proof mode

2021-12-07 03:18:30 -05:00

opa_bench.rs

Added Conversion Gates & Integrated with OPA SharingMap (#16)

2021-08-25 22:38:50 -07:00