/lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Primary LanguageRustApache License 2.0Apache-2.0

Stargazers