ZK9: Lurk: Lambda the Ultimate Recursive Knowledge - François Garillot (Protocol|Lurk Labs)

This was recorded at the ZK9 - Zero Knowledge Summit 9 on April 4 2023 in Lisbon.

https://www.zksummit.com/

Title: Lurk: Lambda the Ultimate Recursive Knowledge
Speaker: François Garillot (Protocol|Lurk Labs)
Description: This talk introduces Lurk, a new LISP-based programming language for zero-knowledge proofs (zk-SNARKs). Unlike traditional methods that compile computations into a flat circuit, Lurk provides programs as data to a universal interpreter circuit, resulting in a Turing-complete language without compromising proof size. The talk will cover the language's core and extensions, its use of recursive zk-proof backends for performance, and how it leverages content addressing to sidestep typical programming concerns of zk-SNARKs. Attendees will gain insights into Lurk's advantages over traditional approaches for zk-SNARKs.


If you like what we do:
Subscribe to our podcast newsletter - https://zeroknowledge.substack.com
Follow us on Twitter @zeroknowledgefm -   / zeroknowledgefm  
Join us on Telegram - https://zeroknowledge.fm/telegram
Catch us on Youtube - https://zeroknowledge.fm/
Head to the ZK Community Forum - https://community.zeroknowledge.fm/
Support our Gitcoin Grant - https://zeroknowledge.fm/gitcoin-gran...