Filecoin introduces Lurk: A programming language for recursive zk-SNARKs

1 · Zedcrypt · April 27, 2022, 2:02 p.m.
 They are excited to announce that the Lurk programming language repositories are now open to the public. Lurk is a Turing-complete programming language for recursive zk-SNARKs (zero knowledge Succinct Non-interactive ARguments of Knowledge) that will enable new possibilities for SNARK proofs, blockchain consensus, the Filecoin Virtual Machine (FVM), decentralized apps, data integration with IPFS and IPLD, and more.About LurkLurk is a statically scoped dialect of Lisp, influenced by Scheme and C...