Lurk

From Just Solve the File Format Problem
Revision as of 04:09, 5 October 2022 by Dan Tobias (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
File Format
Name Lurk
Ontology
Extension(s) .lurk
Released 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).

Links

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox