Deterministic Fee Mechanisms Cannot Be Collusion-Resistant and Incentive-Compatible
No deterministic transaction fee mechanism can be simultaneously user-incentive compatible, miner-incentive compatible, and collusion-resistant without being trivial.
Permissionless Consensus Secured in the Standard Model via Complexity Theory
Foundational security for decentralized systems is achieved by grounding Proof-of-Work in fine-grained complexity, moving beyond idealized models.
Cryptographic Auctions and Miner Reserves Achieve Off-Chain Influence Proofness
A new cryptographic auction model with miner-set reserves establishes 'Off-Chain Influence Proofness,' mitigating hidden MEV and redefining transaction fee mechanism design.
Threshold Encryption Eliminates MEV at Consensus Layer
Blockchain Integrated Threshold Encryption cryptographically conceals transaction data until finality, making front-running impossible and securing decentralized finance.
Secure Sharding Consensus Achieves Atomic Cross-Shard Transactions with Optimal Overhead
Kronos introduces a generic, buffer-based sharding consensus pattern, provably guaranteeing cross-shard transaction atomicity and enabling thousands of nodes.
Universal Properties Validity Liquidity Fidelity Secure Smart Contracts
A new formal verification framework proposes three universal properties—Validity, Liquidity, and Fidelity—to establish a generalized security standard, preempting common exploits and foundational flaws across all smart contract architectures.
Lattice Functional Commitment Secures Post-Quantum Verifiable Computation
A new lattice-based functional commitment for circuits enables post-quantum secure, succinct, and general-purpose private verifiable computation.
Sublinear Space Zero-Knowledge Proofs Democratize Verifiable Computation on Constrained Devices
New sublinear memory ZKPs shift resource constraints from linear to square-root complexity, unlocking verifiable computation on mobile and edge devices.
Staked Randomness Secures Rollup Sequencers Preventing Censorship and Centralization
Staked Randomness Sequencer (SRS) uses VRF-weighted stake to select L2 sequencers, eliminating the single point of failure and unlocking true censorship resistance.
