Verifiable Delay Functions Secure Consensus Randomness with Provable Delay
VDFs are sequential cryptographic timekeepers that make randomness manipulation computationally prohibitive, enhancing Proof-of-Stake security and finality.
Dynamic Slashing Secures Proof-of-Stake against Stake Centralization
A new mechanism dynamically scales slashing penalties by stake concentration, creating a self-regulating security equilibrium that disincentivizes validator centralization.
Leaderless BFT Consensus Secures against Adaptive Adversaries and Centralization
Egalitarian BFT eliminates the predictable single leader, using a cryptographic lottery for simultaneous block proposal to achieve strong security against adaptive adversaries.
Revelation Mechanisms Enforce Truthful Consensus in Proof-of-Stake Protocols
Game theory-based revelation mechanisms create a unique, truthful equilibrium for PoS consensus, fundamentally securing block proposal against economic attack.
Game-Theoretic Incentives Guarantee Provably Uniform Decentralized Randomness
A new Randomness Incentive Game (RIG) establishes a Nash Equilibrium where participants are compelled to submit provably uniform inputs, securing all decentralized randomness protocols.
Coin Holder Checkpointing Secures Proof-of-Stake History against Long-Range Attack
Winkle introduces coin holder-driven decentralized checkpointing, cryptoeconomically securing Proof-of-Stake history against deep chain rewrites.
Cryptographic Sequential Delay Secures Decentralized Randomness Beacons
Verifiable Delay Functions introduce cryptographically enforced sequential time, preventing parallel computation and eliminating randomness bias in Proof-of-Stake leader election.
STAKESURE Mechanism Guarantees Strong Cryptoeconomic Safety for Over-Leveraged Proof-of-Stake
STAKESURE introduces a novel insurance mechanism to allocate slashed funds, guaranteeing strong cryptoeconomic safety by compensating harmed parties.
Homomorphic Sortition Secures Proof-of-Stake Leader Election Liveness
Homomorphic Sortition uses Threshold FHE to create the first asynchronous, non-expiring secret leader election, securing PoS liveness.
