Lurk – A Turing-complete programming language for ZK-SNARKs
16 days ago
- #SNARKs
- #zk-proofs
- #Lisp
- Lurk is a statically scoped Lisp dialect influenced by Scheme and Common Lisp.
- Lurk programs can be directly proved using SNARKs, producing succinct proofs.
- Lurk is Turing complete, allowing arbitrary computational claims to be proved.
- Lurk's code is Lurk data, and any Lurk data can be evaluated as a program.
- Lurk uses SNARK-friendly Poseidon hashes for compound data, making it content-addressable.
- Lurk is currently at version 0.5, with improvements ongoing for a best-in-class experience.
- Lurk 0.5 offers significant performance improvements over Lurk Beta.
- Early adopters should note Lurk 0.5 is a step towards Lurk 1.0, which will undergo a formal audit.
- Not recommended for critical systems yet, but experimentation is encouraged.