Alex Ozdemir 4aa36e479f Decrease the size of Op and Sort. (#199)

2024-06-24 08:35:05 -07:00

..

C

Linker Optimization Pass (#152)

2023-03-15 15:03:51 -04:00

datalog

Datalog (#26)

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

ir

opts and tests from the memory project (#195)

2024-06-11 16:50:35 -07:00

ZoKrates

Merge updates needed for SHA with lookups. (#196)

2024-06-19 13:09:43 -07:00

circ.rs

Decrease the size of Op and Sort. (#199)

2024-06-24 08:35:05 -07:00

cp.rs

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

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

opa_bench.rs

Decrease the size of Op and Sort. (#199)

2024-06-24 08:35:05 -07: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

zxi now takes optional inputs (#180)

2023-11-15 13:46:09 -08:00