Edward Chen 29e9b2f648 updated c frontend to support ordered arguments, fixed array init bug

2023-05-01 13:20:27 -04:00

..

C

updated c frontend to support ordered arguments, fixed array init bug

2023-05-01 13:20:27 -04:00

datalog

Datalog (#26)

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

ZoKrates

Committed witnesses & randomness in Z# (& tests) (#154)

2023-03-15 16:28:19 -07:00

circ.rs

updated c frontend to support ordered arguments, fixed array init bug

2023-05-01 13:20:27 -04:00

cp.rs

Committed witnesses & randomness in Z# (& tests) (#154)

2023-03-15 16:28:19 -07:00

opa_bench.rs

passes rust check

2023-03-21 14:45:01 -04:00

zk.rs

Committed witnesses & randomness in Z# (& tests) (#154)

2023-03-15 16:28:19 -07:00

zxc.rs

Mirage, variable rounds, randomness, zk opt (#146)

2023-02-06 09:58:19 -08:00

zxi.rs

Add option to panic on OOB PfToBv (#129)

2023-01-05 19:57:04 -08:00