Lurk Lab

Lurk Lab is developing a Turing-complete programming language for Zero Knowledge Proofs.

Lurk is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. Lurk program execution can be proved in zero-knowledge. Lurk proofs support multiple backend SNARK proving systems.


Expanding Ecosystems

With over 70+ ecosystems actively growing, they are equally deserving of your attention.