Recursive Proof Composition Achieves Logarithmic-Time Zero-Knowledge Verification
A novel folding scheme reduces the verification of long computations to a logarithmic function, fundamentally decoupling security from computational scale.
Cryptographic Primitives Secure Decentralization and Data Availability for Rollups
New cryptographic primitives like Proof of Luck and Proof of Download secure Layer 2 decentralization and data integrity, fundamentally mitigating MEV and data withholding.
