Leaderless Mechanism Design Secures Transaction Fee Incentive Compatibility
A new mechanism and game-theoretic property ensure that concurrent block producers in leaderless protocols are incentivized to maximize social welfare.
Quantum Harvest Threat Exposes Historical Ledger Privacy Failure
HNDL formalizes the quantum risk where adversaries harvest today's encrypted DLT data, rendering historical privacy impossible to guarantee.
Application-Layer Mechanism Design Eliminates AMM MEV for Provably Fair DeFi
A new batch-processing AMM mechanism achieves arbitrage resilience and incentive compatibility, fundamentally shifting MEV mitigation to the smart contract layer.
Hyper-Efficient Prover Unlocks Universal Transparent Zero-Knowledge Scaling
This new HyperPlonk scheme achieves linear prover time for universal transparent SNARKs, fundamentally accelerating verifiable computation for all decentralized applications.
Hyper-Dimensional Commitment Secures Data Availability Sampling Efficiency and Scalability
A new $k$-dimensional polynomial commitment scheme drastically reduces data availability overhead, unlocking massive throughput for decentralized rollups.
Decentralized Key Generation Eliminates Single-Point-of-Failure in Threshold Cryptography
A new Distributed Key Generation framework implements Pedersen's protocol over a BFT channel, solving the centralized dealer problem for robust threshold signature schemes.
Zero-Knowledge Authenticators Secure Private Policy on Public Blockchains
The Zero-Knowledge Authenticator (zkAt) is a new cryptographic primitive that enables users to prove transaction authenticity against complex private policies without revealing the policy logic or identity, unlocking private on-chain governance.
Semantic Analysis Using LLMs Uncovers Massive Prediction Market Arbitrage
An LLM-driven semantic methodology maps complex logical dependencies between prediction markets, revealing $40M in extractable value and systemic inefficiency.
Transparent Recursive Proofs Secure Quantum-Resistant Decentralized State
Fractal introduces a hash-based, transparent SNARK, enabling recursive proofs for quantum-secure, constant-size verification of entire blockchain history.
