Generic Compiler Achieves Full SNARK Succinctness and Rate-1 Optimality
A generic compiler upgrades mild SNARKs to full succinctness, proving the optimality of rate-1 arguments and defining new cryptographic limits.
Generalizing MPC-in-the-head for Superposition-Secure Quantum Zero-Knowledge Proofs
We generalize MPC-in-the-head to create post-quantum zero-knowledge arguments, securing verifiable computation against quantum superposition attacks using LWE.
Optimizing ZK-SNARKs by Minimizing Expensive Cryptographic Group Elements
Polymath redesigns zk-SNARKs by shifting proof composition from $mathbb{G}_2$ to $mathbb{G}_1$ elements, significantly reducing practical proof size and on-chain cost.
Quantum Zero-Knowledge Resists Superposition Attacks with Learning Errors
Researchers introduce novel zero-knowledge protocols, secured by Learning With Errors, to withstand quantum superposition attacks, ensuring privacy in a post-quantum cryptographic landscape.
