#lurk, a #scheme-like content-addressed #lisp for "Zero Knowlege Proofs"
https://blog.lurk-lang.org/posts/prog-intro/