Information-Theoretic State Compression Secures Distributed Ledger Integrity
This research introduces the State-Trellis structure, leveraging error-correcting codes to achieve constant-time, fixed-size state verification, fundamentally improving light client security.
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.
