zkSaaS - Zero-Knowledge SNARKs as a Service

Explore a groundbreaking conference talk from USENIX Security '23 that introduces zkSaaS (Zero-Knowledge SNARKs as a Service), a novel framework for faster computation of zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARKs). Discover how this innovative approach allows consumers with limited computational resources to outsource proof generation to untrusted servers while maintaining privacy. Learn about the custom protocols designed for popular zk-SNARKs like Groth16, Marlin, and Plonk, and understand the significant performance improvements achieved through distributed proof computation. Gain insights into the implementation results, showcasing up to 22x speed-up for large-scale constraint systems and the ability to handle more extensive proofs without memory exhaustion.