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.
Logarithmic-Cost Data Availability Sampling Vector Commitments
Introducing a novel vector commitment scheme that reduces data availability proof size from linear to logarithmic, fundamentally unlocking scalable decentralized rollups.
