Lurk Lab
Lenguaje de programación completo de Turing para pruebas de conocimiento cero.
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.
