LURK: Lambda, the Ultimate Recursive Knowledge - A LISP-Based Language for zk-SNARKs

Explore a groundbreaking 31-minute conference talk from ICFP 2023 introducing Lurk, a novel LISP-based programming language designed for zk-SNARKs. Delve into the innovative approach that allows Lurk programs to be executed by a universal interpreter circuit, enabling Turing-complete functionality without compromising proof artifact size. Discover how Lurk's design and theory, presented by researchers from Harvard University, Lurk Lab, City College of New York, and University College London, overcome traditional constraints in zero-knowledge proof programming. Learn about the language's unique implementation of content addressing and its potential to revolutionize the field. Access supplementary materials, including the GitHub repository and related academic articles, to gain a comprehensive understanding of this cutting-edge development in zero-knowledge proofs and functional programming.

[ICFP'23] LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)