Get the latest tech news
Lurk – A Turing-complete programming language for ZK-SNARKs
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. - lurk-lab/lurk
A reference implementation focused on describing and developing the core language can be found in the lurk-lisp repo. The resulting proofs are succinct: they are relatively small, can be verified quickly, and they reveal only the information explicitly contained in the statement to be proved. Lurk is currently at version 0.5 and is still going through several improvements in order to deliver the best-in-class experience as a fully fledged Turing-complete zk programming language.
Or read this on Hacker News
