github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-10 06:08:02 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
2b54efa5a48dc09804e19761721b2bcd06d56050
circ/third_party
History
Alex Ozdemir 3ba1be4653 array v->k lookups, membership assertions, and witness computation in Z# (#186) 
* draft: rev-lookup, in-array, witness

* lint

* sparse examples

* fmt
2024-04-05 11:55:02 -07:00
..
bin/ABY
Replaced third party dependencies with binaries to reduce CI build times (#162)
2023-06-14 14:58:39 -04:00
hycc
Updates to C Frontend (#67)
2022-05-20 02:20:36 -04:00
opa
C Frontend (#22)
2022-01-20 10:16:27 -08:00
ZoKrates
array v->k lookups, membership assertions, and witness computation in Z# (#186)
2024-04-05 11:55:02 -07:00
README.md
start interpreting ZoKrates
2021-02-19 00:56:46 -08:00

README.md

Third Party Dependencies

This directory contains source copied from other projects

Dependencies

  • ZoKrates Parser & AST, version 0.6.3
Reference in New Issue View Git Blame Copy Permalink