LURK: Lambda, the Ultimate Recursive Knowledge

Web: https://iacr.org/news/item/20314

ePrint Report: LURK: Lambda, the Ultimate Recursive Knowledge

Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong

We introduce Lurk, a new LISP-based programming language for zk-SNARKs. Traditional approaches to programming over zero-knowledge proofs require compiling the desired computation into a flat circuit, imposing serious constraints on the size and complexity of computations that can be achieved in practice. Lurk programs are instead provided as data to the universal Lurk interpreter circuit, allowing the resulting …

eprint report knowledge lambda