Linear-Time Accumulation Scheme Secures Post-Quantum Proof-Carrying Data
The WARP accumulation primitive achieves linear prover time and logarithmic verification, fundamentally unlocking post-quantum, scalable verifiable computation aggregation.
Federated Distributed Key Generation Enables Robust, Open Threshold Cryptography
FDKG introduces optional, heterogeneous participation to DKG, enabling threshold cryptography for open, large-scale, and asynchronous decentralized networks.
Formal MEV Theory Establishes Security Proofs for Blockchain Transaction Ordering
A formal, abstract theory of Maximal Extractable Value is now established, providing the foundational model for provably MEV-secure blockchain architectures.
Trustless Agents Standardizes Hybrid Cryptoeconomic Trust for Decentralized AI
ERC-8004 establishes a verifiable trust layer for autonomous AI agents by anchoring identity and reputation to cryptographic proof and economic stake.
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.
Erasure Code Commitments Achieve Poly-Logarithmic Data Availability Sampling Efficiency
A new compiler translates Interactive Oracle Proofs into erasure code commitments, enabling trustless, poly-logarithmic data availability for modular architectures.
Multi-Sovereign Agent Consensus Enables Complex Off-Chain Smart Contract Logic
The Swarm Contract paradigm shifts trust from monolithic on-chain code to multi-agent consensus within TEEs, unlocking complex, data-intensive dApps.
Revert-Based MEV Exploits L2 Priority Fee Mechanisms
New research formalizes how MEV searchers weaponize transaction reverts on fast rollups, using priority fees as an option for risk-free front-running.
Batched Threshold Encryption with Silent Setup Eliminates Validator MEV Extraction
This new cryptographic primitive enables private transaction submission and fair batch decryption without a trusted dealer, securing transaction ordering.
