lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. (contact: @porcuquine)
427 stars
15 watching
54 forks
Language: Rust
last commit: 10 days ago compilercryptographyprogramming-languagerustzero-knowledgezk-snarks