Ligetron: Design and Deployment of ZK Applications made Easy

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. I will present the Ligetron platform that can allow to build and deploy an end-to-end system for these applications. Crucially, the platform is powered by the Ligetron system developed by Ligero Inc. that showcases competitive speeds from lightweight platforms (eg, a web browser on a mobile phone). 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.

Joint work: Muthuramakrishnan Venkitasubramaniam, Carmit Hazay, Ruihan Wang.

[Sildes] Suggested reading: Ligero: Lightweight Sublinear Arguments Without a Trusted Setup (ia.cr/2022/1608)