Recursive Proof Folding Enables Constant-Time Verifiable Computation
A new folding scheme for Relaxed R1CS achieves constant-time incremental proof generation, fundamentally enabling scalable verifiable computation.
Restaking Sybil-Proofness: An Impossibility Theorem Limits Slashing Mechanisms
A formal proof establishes that no single slashing mechanism can simultaneously deter both single and multi-identity Sybil attacks, revealing a foundational trade-off in economic security.
Time-Averaged Commitment Smooths MEV Auctions, Decentralizing Transaction Ordering
Introducing the Smooth-Running Auction, a mechanism using Time-Averaged Commitments to decouple block value from proposer revenue, stabilizing MEV and promoting decentralization.
Zero-Knowledge Mechanisms: Private Commitment, Verifiable Execution without Mediators
This research introduces a framework for committing to and executing mechanisms privately, leveraging zero-knowledge proofs to enable verifiable properties without disclosure.
Ethereum Restaking Redefines Blockchain Security and Liquidity Yields
Ethereum restaking, led by EigenLayer, innovates capital efficiency by allowing staked ETH to secure multiple protocols, unlocking new yield opportunities.
Hidden Mechanisms with Zero-Knowledge Proofs for Private Verifiable Commitment
This research enables verifiable, private mechanism execution without mediators, leveraging zero-knowledge proofs to conceal rules while ensuring compliance.
Composable Formal Verification Secures DAG Consensus Protocols with Reusable Proofs
This research introduces a novel framework for formally verifying DAG-based consensus protocols, significantly enhancing their security and accelerating development through proof reuse.
Zero-Knowledge Mechanisms: Private Commitment without Disclosure or Mediators
This research introduces zero-knowledge mechanisms, enabling verifiable, private economic interactions without revealing underlying rules or requiring trusted intermediaries.
UP Protocol Launches DeFi 4.0 with Deflationary Model and Dual-Turbo Engine
UP Protocol introduces a novel DeFi 4.0 framework, integrating deflationary tokenomics and a dual-turbo growth engine to address systemic sustainability challenges within decentralized finance.
