lurk (cargo): Turing-Complete Zero Knowledge
Keywords: compiler|cryptography|programming-language|rust|zero-knowledge|zk-snarks