lurk-lab/lurk
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
33 best points · 2 comments · 1 Hacker News post · 165 GitHub stars · View on GitHub
Hacker News discussions
- Lurk – A Turing-complete programming language for ZK-SNARKs (33 points, 2 comments, by diggan, 2025-08-08)