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.
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.
DORA - Distributed Oracle Agreement with Simple Majority
Explore the DORA protocol's innovative approach to distributed oracle networks, focusing on agreement distance and simple majority consensus for enhanced blockchain data reliability and scalability.
Towards Collaborative Decentralized Learning
Explore cutting-edge decentralized learning concepts, from federated systems to Byzantine-robust training, with insights into collaborative and personalized optimization approaches.
Randomized Testing of Byzantine Fault Tolerant Algorithms
Explore ByzzFuzz, a randomized testing method for detecting errors in Byzantine fault-tolerant algorithms. Learn how it uncovers protocol and implementation bugs in blockchain systems through innovative message mutations.
Making CRDTs Byzantine Fault Tolerant
Explore techniques for enhancing Conflict-free Replicated Data Types (CRDTs) to withstand Byzantine faults, improving distributed system resilience and reliability.
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
Explore a simple, efficient synchronous Byzantine Fault Tolerance solution for state machine replication, offering improved fault tolerance and optimistic responsiveness in distributed systems.
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.
The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols - NSDI '24
Unified platform for analyzing, implementing, and experimenting with Byzantine Fault-Tolerant protocols, exploring design dimensions and trade-offs to navigate the complex BFT landscape.
Designing Matrix: A Global Decentralized End-to-End Encrypted Communication Network
Explore the design challenges and solutions of Matrix, a decentralized communication network. Learn about byzantine-fault tolerance, real-time optimization, and scaling strategies for large-scale instances.
Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
Explore Alea-BFT, an efficient asynchronous Byzantine Fault Tolerance protocol gaining adoption in Ethereum. Learn its simple design, performance benefits, and practical applications in cryptocurrency ecosystems.
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
Explore LiDO, a consensus model enabling safety and liveness verification in Byzantine fault-tolerant protocols through refinement. Learn about mechanized proofs for Jolteon in Coq, advancing blockchain technology.
Achieving Consensus in Blockchain-based Systems
Explore blockchain consensus mechanisms, from Bitcoin's proof-of-work to alternatives like proof-of-stake, examining their strengths and challenges in decentralized systems.
DispersedLedger - High-Throughput Byzantine Consensus on Variable Bandwidth Networks
Explores a novel Byzantine fault tolerant protocol for high-throughput consensus on variable bandwidth networks, optimizing blockchain performance in wide area deployments.
Scalable Bias-Resistant Distributed Randomness
Explore scalable protocols for generating unbiased public randomness in distributed systems, focusing on RandHound and RandHerd's innovative approaches to ensure integrity and efficiency.
COBRA - Dynamic Proactive Secret Sharing for Confidential BFT Services
Explore dynamic proactive secret sharing for confidential Byzantine Fault Tolerant services, enhancing security in distributed systems with innovative techniques.
Sublinear-Round Byzantine Agreement Under Corrupt Majority
Byzantine agreement protocols resilient to corrupt majority, achieving sublinear communication rounds through novel cryptographic techniques.
Consensus Protocols - Crypto 2024
Explore cutting-edge consensus protocols in cryptography, featuring expert presentations and discussions on the latest advancements in distributed systems and blockchain technology.
Distributed Transactional Database Systems - Lecture 22
Explore distributed transactional database systems, covering coordination, commit protocols, fault tolerance, and replication strategies for robust and scalable data management.