Lurk
From Just Solve the File Format Problem
(Difference between revisions)
Dan Tobias (Talk | contribs) (Created page with "{{FormatInfo |formattype=Languages |subcat=Programming Languages |extensions={{ext|lurk}} |released=2022 }} '''Lurk''' is a Lisp dialect under development in 2022, designe...") |
Latest revision as of 04:09, 5 October 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).
