Lurk

File Format
Name	Lurk
Ontology	Languages Programming Languages Lurk
Extension(s)	.lurk
Released	2022

Lurk is a Lisp dialect under development in 2022, designed such that correct execution of a program can be proved by zk-SNARKs (zero knowledge Succinct Non-interactive ARguments of Knowledge). There's a lot of jargon there, and Filecoin and blockchains seem to be involved.

Implementations include lurk-rs (implemented in Rust), and lurk (implemented in Common Lisp).

Links

• Github site
• Introducing Lurk: A programming language for recursive zk-SNARKs