Lurk Lab
Turing-complete programming language for Zero Knowledge Proofs.
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.