GaloisInc / zk-leanLinks

zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
13Updated last month

Alternatives and similar repositories for zk-lean

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

Sorting: