François GarillotFrançois Garillot co-authored the design of Lurk, a Lisp-based programming language for zero-knowledge proofs.4 talks by François GarillotEthereum Institutional Privacy NowModern Multi-proposer consensus implementationsEpisode 281 - Exploring Lurk: a New Language for Recursive zk-SNARKsZK9: Lurk: Lambda the Ultimate Recursive Knowledge - François Garillot (Protocol|Lurk Labs)