Zero-Knowledge Mechanisms Decouple Commitment from Disclosure in Protocol Design
Research pioneers a cryptographic primitive that proves a mechanism's incentive properties and execution correctness without revealing its secret rules.
Decentralized Arrangers Secure Layer Two Rollups with Set Consensus
A novel Decentralized Arranger, powered by Set Byzantine Consensus, eliminates centralized L2 sequencer risk, unlocking true rollup trustlessness.
Proposer-Builder Separation Shifts Centralization to Block Builders
Mathematical models quantify how Proposer-Builder Separation equalizes validator rewards but concentrates power in a few skilled block builders, creating a Proof-of-MEV paradigm.
Cryptographic Second Price Auctions Secure Transaction Ordering and Mitigate Adversarial MEV
Encrypting transaction bids via a Cryptographic Second Price Auction formally decouples miner revenue from user incentives, ensuring provably fair block construction.
Characterizing Off-Chain Influence-Proof Fee Mechanisms via a Burn Identity
Foundational mechanism design proves that off-chain influence-proof transaction fees are mathematically equivalent to a novel burn identity, securing transaction ordering.
Adjustable Block Size Mechanism Binds Miner Selfishness for Social Welfare
A novel adjustable block size mechanism quantifies and eliminates social welfare loss from selfish miners in decentralized order books, achieving optimal outcomes.
Constant-Space Distributed Randomness via Insertion-Secure Accumulators and Delay Functions
This framework achieves scalable, unpredictable randomness by combining Verifiable Delay Functions with a new accumulator property, reducing public storage complexity to a constant.
Application-Layer Mechanism Design Eliminates Miner Arbitrage and Ensures Strategy-Proof AMMs
A new AMM mechanism uses batch processing and a constant potential function to achieve provable strategy-proofness, eliminating MEV at the application layer.
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.
