International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

What Happened to the ZK Dream?

Authors:
Carmit Hazay
Tarik Riviere
Muthuramakrishnan Venkitasubramaniam
Ruihan Wang
Download:
Search ePrint
Search Google
Presentation: Slides
Abstract: With the advent of Blockchains, there has been reinvigorated interest in deploying ZK-proof systems in the form of ZKSNARKs, an attractive, non-interactive, succinct variant. Yet, current deployments require heavy hardware / huge running times / very large memory. In this talk, I will discuss new applications of zero-knowledge from verifiable credentials to zk-email, zktls, and zklogin that demand scalable client-side proving systems. I will present the Ligetron platform that can allow to build and deploy an end-to-end system for these applications. Crucially, the platform relies on the recent Ligetron system developed by Ligero Inc. that showcases speed on the browser that stands competitive against all known ZKSNARK implementations executed on heavy machines to date! Furthermore, I will show how the platform leverages the ZK-WASM feature of the Ligetron system, allowing developers to implement their zkApps from the browser by coding in standard high-level languages such as C/C++/Rust.
Video: https://youtu.be/HXuwN69ZJnQ
BibTeX
@misc{rwc-2025-35863,
  title={What Happened to the ZK Dream?},
  note={Video at \url{https://youtu.be/HXuwN69ZJnQ}},
  howpublished={Talk given at RWC 2025},
  author={Carmit Hazay and Tarik Riviere and Muthuramakrishnan Venkitasubramaniam and Ruihan Wang},
  year=2025
}