1) We present the first truly private, single-server zkSNARK delegation scheme for well-known group-based zkSNARKs such as Groth16, Plonk, and Nova. Our core idea is to delegate the prover’s most expensive computation—namely, the MSM—to a single server.
(1) In this paper, we provide a unified framework for lookup table arguments, considering some overlooked aspects such as projectiveness and different modes of compatibility with proof systems.
The long-standing challenge of making key transparency both self-auditable and practical has been solved! IronDict scales to billions of users, making it suitable for platforms like iMessage, WhatsApp, and Signal.
