all InfoSec news
LURK: Lambda, the Ultimate Recursive Knowledge
March 16, 2023, 7:48 a.m. |
IACR News www.iacr.org
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 …
complexity computation constraints daniel data eprint report john knowledge lambda language lisp practice programming programming language report serious size
More from www.iacr.org / IACR News
Jobs in InfoSec / Cybersecurity
SOC 2 Manager, Audit and Certification
@ Deloitte | US and CA Multiple Locations
Information Security Engineers
@ D. E. Shaw Research | New York City
Technology Transfer GMP Compliance Officer
@ Pharmathen | Sapes, East Macedonia and Thrace, Greece
Security Cyber Consultant DRC (m/w/d)
@ Atos | Berlin, DE, D-13353
Penetration Tester - InfoSec
@ Rapid7 | NIS Belfast
Cyber Vulnerability Lead
@ Under Armour | Remote, US