Blaze SNARK Achieves Linear Proving Time with Polylogarithmic Verification
Blaze introduces a coding-theoretic SNARK with $O(N)$ prover time and $O(log^2 N)$ verification, unlocking massive verifiable computation scaling.
Brakedown Achieves Post-Quantum Sublinear Polynomial Commitment without Trusted Setup
This new polynomial commitment scheme combines Reed-Solomon codes with Merkle trees, enabling post-quantum security and sublinear proof size.
FRI Proximity Tests Enable Transparent Logarithmic Data Availability Sampling
FRI-based Data Availability Sampling provides a transparent, post-quantum path to scalable light client verification with logarithmic communication overhead.
FRIDA Formalizes Data Availability Sampling with Transparent Cryptographic Proofs
FRIDA introduces the first formal cryptographic primitive for Data Availability Sampling, enabling trustless, scalable block data verification for modular blockchains.
Probabilistic Sampling Verifies Data Availability Securing Modular Blockchain Scaling
Data Availability Sampling leverages erasure coding to enable light nodes to probabilistically verify block data, fundamentally solving the L2 scaling data bottleneck.
