Lurk

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