Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it 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.