Lurk
From Just Solve the File Format Problem
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).
