Lurk: A programming language for recursive ZK-SNARKs(filecoin.io)

https://filecoin.io/blog/posts/introducing-lurk-a-programming-language-for-recursive-zk-snarks/