Babylon Protocol Secures Proof-of-Stake by Checkpointing onto Bitcoin
The Babylon protocol anchors PoS security to Bitcoin's immutability, resolving long-range attacks and low liveness resilience, fundamentally enhancing PoS finality.
MEV Uncertainty Principles Quantify Transaction Ordering Trade-Offs for Decentralized Fairness
New uncertainty principles establish a fundamental, quantifiable trade-off between validator transaction ordering freedom and user economic payoff complexity.
Formalizing Proposer-Builder Separation Guarantees Credibly Neutral Transaction Ordering
The introduction of a two-stage commit-reveal protocol for block construction cryptographically enforces builder neutrality, eliminating the proposer's censorship vector.
Threshold Cryptography Secures Byzantine Consensus with Strong Order-Fairness
Themis introduces a threshold-encrypted commit-and-reveal scheme to enforce transaction order based on submission time, mitigating front-running with optimal linear complexity.
Formal MEV Theory Enables Provable Security against Transaction Reordering Attacks
A formal, abstract MEV theory rigorously defines adversarial gain via knowledge axiomatization, enabling proofs of smart contract security.
Verifiable Decryption Secures Proposer-Builder Separation against Censorship
A new two-tiered architecture incorporates publicly verifiable decryption, resolving the censorship vulnerability inherent in existing block-building separation models.
