GaloisInc / zk-leanLinks

zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
12Updated 2 weeks ago

Alternatives and similar repositories for zk-lean

Users that are interested in zk-lean are comparing it to the libraries listed below

Sorting: