http://fileformats.archiveteam.org/index.php?action=history&feed=atom&title=Lurk 2026-04-12T04:58:07Z Revision history for this page on the wiki MediaWiki 1.19.2 http://fileformats.archiveteam.org/index.php?title=Lurk&diff=43327&oldid=prev 2022-10-05T04:09:29Z

<p>Created page with &quot;{{FormatInfo |formattype=Languages |subcat=Programming Languages |extensions={{ext|lurk}} |released=2022 }} &#039;&#039;&#039;Lurk&#039;&#039;&#039; is a <a href="/wiki/Lisp" class="mw-redirect" title="Lisp">Lisp</a> dialect under development in 2022, designe...&quot;</p> <p><b>New page</b></p><div>{{FormatInfo<br /> |formattype=Languages<br /> |subcat=Programming Languages<br /> |extensions={{ext|lurk}}<br /> |released=2022<br /> }}<br /> '''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.<br /> <br /> Implementations include lurk-rs (implemented in [[Rust]]), and lurk (implemented in Common Lisp).<br /> <br /> == Links ==<br /> * [https://github.com/lurk-lang Github site]<br /> * [https://filecoin.io/blog/posts/introducing-lurk-a-programming-language-for-recursive-zk-snarks/ Introducing Lurk: A programming language for recursive zk-SNARKs]</div>

Dan Tobias