PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Motivating global stabilization

blog.trailofbits.com | blog | #research | #distributed-systems | #consensus | #flp-impossibility | #protocols | #theory
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

The FLP result showed consensus is impossible under fair assumptions. This post explains how the DLS paper's global stabilization time assumption sidesteps it and what that means for protocol design.
Published
Collected

Related coverage

blog · blog.trailofbits.com
On LibraBFT’s use of broadcasts
Compares LibraBFT with its ancestor HotStuff: LibraBFT's non-leader broadcasts affect liveness analysis, communication complexity, and leader election, making the two distinct algorithms.
blog · blog.trailofbits.com
Formal Analysis of the CBC Casper Consensus Algorithm with TLA+
A Trail of Bits intern formalized Ethereum's CBC Casper binary consensus protocol in TLA+/PlusCal, confirming finality requires a Byzantine fault threshold under one-third of validator weight.
blog · hackenproof.com
Securing Layer 1 Blockchain Protocols: Security Guide
A security guide to Layer 1 blockchain protocols: consensus risks such as 51% and Sybil attacks, smart-contract pitfalls like re-entrancy and integer overflows, and P2P network weaknesses.
blog · netlas.io
An Expert’s View on DNSSEC: Pros, Cons, and When to Implement
An expert look at DNSSEC beyond the basics: the benefits and limits of signing DNS responses, historical attacks like Kaminsky's, and when organizations should or shouldn't adopt it.
blog · specterops.io
Head in the Clouds: Microsoft Azure
# Head in the Clouds: Microsoft Azure Author Christopher Maddalena Read Time 8 mins Published Sep 16, 2018 ##### Share * Introduction * Head in the Clouds – Christopher Maddalena – Medium * In the...
blog · specterops.io
Head in the Clouds: Google Compute
# Head in the Clouds: Google Compute Author Christopher Maddalena Read Time 7 mins Published Sep 12, 2018 ##### Share * Introduction * Head in the Clouds – Christopher Maddalena – Medium * In the...
Back