Alex Ozdemir e3ce784967 readme zkp (#224)

2025-02-13 12:08:07 -08:00

..

C

Linker Optimization Pass (#152)

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

datalog

reduce traversal memory usage through iterators (#209)

2024-09-29 13:27:26 -07:00

ir

opts and tests from the memory project (#195)

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

ZoKrates

readme zkp (#224)

2025-02-13 12:08:07 -08:00

ZoKratesCurly

Add support for ZoKrates with curly brackets (wip) (#211)

2025-02-12 09:07:15 -08:00

circ.rs

Add support for ZoKrates with curly brackets (wip) (#211)

2025-02-12 09:07:15 -08:00

cp.rs

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

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

opa_bench.rs

Opt: memory: linear for [group] const values (#207)

2024-08-19 11:51:01 -07:00

zcxi.rs

Add support for ZoKrates with curly brackets (wip) (#211)

2025-02-12 09:07:15 -08:00

zk.rs

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

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

zxc.rs

reduce traversal memory usage through iterators (#209)

2024-09-29 13:27:26 -07:00

zxi.rs

zxi now takes optional inputs (#180)

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