Lurk Lab está desarrollando un lenguaje de programación completo de Turing para Zero Knowledge Proofs.
Lurk es un dialecto de Lisp de alcance estático, influenciado por Scheme y Common Lisp. La ejecución del programa Lurk se puede probar sin conocimiento alguno. Las pruebas de Lurk son compatibles con varios sistemas de prueba SNARK de backend.
