Provably-Secure Proof-of-Stake Blockchains - From Bitcoin to Ouroboros
Explore proof-of-stake blockchains as an energy-efficient alternative to Bitcoin's proof-of-work, focusing on the Ouroboros protocol's security and implementation in Cardano cryptocurrency.
Formal Verification of Distributed Validator Technology
Dive into the formal verification methods and protocols behind Ethereum's Distributed Validators Technology, exploring mathematical proofs and security implementations.
Open Research Problems in Rollup Design
Explore critical research challenges and design considerations in rollup technology for blockchain scaling with insights from Dr. Franck Cassez's technical analysis.
Decentralized Sequencers and QBFT: Understanding BFT Consensus Algorithms
Dive into decentralized sequencers and QBFT consensus algorithms, exploring their implementation in blockchain systems and understanding the formal verification process for enhanced security.
Decentralized Sequencer Consensus Algorithms for ZK Rollups - Requirements and Design
Dive into advanced research on decentralized sequencer consensus algorithms, exploring requirements, POS design, and implementation challenges for zk rollups.
Innovations in Theoretical Computer Science 2020 - Session 5
Explore cutting-edge research in theoretical computer science, including secure computation, communication protocols, coding theory, and fault-tolerant algorithms presented at ITCS 2020.
Raft Consensus Algorithm - Distributed Systems Reading Group
Explore Raft consensus algorithm with John Ousterhout, discussing its design, implementation challenges, and practical applications in distributed systems.
Foundations of Dynamic BFT
Explore dynamic Byzantine Fault Tolerance, its challenges, and concrete constructions like Dyno. Learn definitions, related works, and evaluation methods in this comprehensive overview.
PBFT and Blockchains
Explore Byzantine Fault Tolerance, remote file systems, and blockchain concepts with MIT's Barbara Liskov. Gain insights into large-scale consensus, crosschain deals, and atomic transactions.
Good-Case Latency of Byzantine Broadcast: A Complete Categorization
Explore the complete categorization of good-case latency in Byzantine broadcast, covering synchrony, partial synchrony, and asynchronous scenarios in state machine replication.
Proofing the Correctness of CURP Consensus Protocol Using TLA+
Explore the CURP consensus protocol's correctness verification using TLA+, delving into its concepts, actions, and implications for distributed systems.
Blockchain Technology and Applications - Crypto 2022 Session
Explore cutting-edge blockchain research and developments in this comprehensive session from the IACR Crypto 2022 conference, featuring expert presentations and discussions.
Everything You Thought You Already Knew About Orchestration - Algorithms and Concepts
Explore advanced orchestration concepts like quorum, consensus, and leader election. Learn debugging techniques and scheduling algorithms to enhance your containerized application management skills.
The Accord Consensus Protocol: ACID Transactions Globally at Any Scale
Explore the Accord Consensus Protocol for global ACID transactions, comparing it with previous protocols and understanding its industry-leading characteristics.
Information Exchange in Distributed Blockchain Systems - Epidemic Model Approach
Explore architectural drivers, communication models, and distributed consensus in complex blockchain systems. Learn from real-world experiences in designing and implementing large-scale node networks.
etcd - Distributed Locking and Service Discovery
Explore etcd's distributed locking and service discovery capabilities, its HTTP+JSON API, consensus algorithm, and architecture. Learn about community-built tools and libraries for this powerful open-source project.
Constructing Scalable, Resilient and Consistent Systems with Flexible Paxos
Explore Flexible Paxos, a novel approach to consensus in distributed systems that enhances performance, scalability, and resilience by relaxing majority agreement requirements in Paxos phases.
Correctness Proofs of Distributed Systems with Isabelle
Explore formal verification of distributed systems using Isabelle/HOL. Learn to prove correctness of algorithms, focusing on consensus and agreement properties in infinite state spaces.
In Search of an Understandable Consensus Algorithm
Explore Raft, a consensus algorithm for replicated logs, designed to be more understandable than Paxos while maintaining efficiency and providing a solid foundation for practical systems.
Why Are Distributed Systems So Hard?
Explore distributed systems' challenges, from CAP theorem myths to network partitions. Learn consensus algorithms, system design for adaptability, and strategies to mitigate risks in distributed computing.
Tolerating Slowdowns in Replicated State Machines Using Copilots
Innovative consensus protocol for replicated state machines that maintains normal latency despite slowdown of any single replica, using pilot and copilot for redundancy and fast takeovers.