activity
20192026
most citedBullshark: DAG BFT Protocols Made Practical

14 citations · 31 across the 20 of their papers we have counts for

collaborators

27 papers

cs.DC2026

Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAG

George Danezis, Zeno De Angeli, Philipp Jovanovic +3

Dual-mode consensus protocols are fast when the network is partially synchronous and remain live under asynchrony. We introduce Steelhead, a dual-mode mechanism that composes a par…

cs.DC2026

Hydrozoan: Latency-Adaptive DAG Consensus under Mixed Byzantine and Crash Faults

Qianyu Yu, Lefteris Kokoris-Kogias, Alberto Sonnino

DAG-based consensus protocols can achieve great throughput and the optimal three-message-delay limit for n = 3f+1 consensus. While two-delay protocols exist, they pay with reduced…

cs.DC2026

Barnacle: Adaptive Multi-Leader Scheduling for DAG-Based Consensus

George Danezis, Zeno De Angeli, Alexandru Ianov Vitanov +5

In DAG-based consensus, all validators propose blocks concurrently, and designated leader blocks drive transaction commit. Having multiple leader slots per round cuts queuing laten…

cs.DC2026

Orcaella: Hybrid Fault Tolerance with Client-Selectable Finality Latency

Lefteris Kokoris-Kogias, Alberto Sonnino

Classical partially synchronous state machine replication, as in PBFT, tolerates f Byzantine replicas among n at least 3f+1 using three communication steps per request. Recent prot…

cs.DB2026

Tidehunter: Large-Value Storage With Minimal Data Relocation

Andrey Chursin, Lefteris Kokoris-Kogias, Alex Orlov +2

Log-Structured Merge-Trees (LSM-trees) dominate persistent key-value storage but suffer from high write amplification from 10x to 30x under random workloads due to repeated compact…

cs.CR2025

Sedna: Sharding transactions in multiple concurrent proposer blockchains

Alejandro Ranchal-Pedrosa, Benjamin Marsh, Lefteris Kokoris-Kogias +1

Modern blockchains increasingly adopt multi-proposer (MCP) consensus to remove single-leader bottlenecks and improve censorship resistance. However, MCP alone does not resolve how…

cs.CR2025

Beluga: Block Synchronization for BFT Consensus Protocols

Tasos Kichidis, Lefteris Kokoris-Kogias, Arun Koshy +4

Modern high-throughput BFT consensus protocols use streamlined push-pull mechanisms to disseminate blocks and keep happy-path performance optimal. Yet state-of-the-art designs lack…

cs.DC2025

BlueBottle: Fast and Robust Blockchains through Subsystem Specialization

Preston Vander Vos, Alberto Sonnino, Giorgos Tsimos +2

Blockchain consensus faces a trilemma of security, latency, and decentralization. High-throughput systems often require a reduction in decentralization or robustness against strong…

cs.DC2025

Byzantine Consensus in the Random Asynchronous Model

George Danezis, Jovan Komatovic, Lefteris Kokoris-Kogias +2

We propose a novel relaxation of the classic asynchronous network model, called the random asynchronous model, which removes adversarial message scheduling while preserving unbound…

cs.CR2025

Stingray: Fast Concurrent Transactions Without Consensus

Srivatsan Sridhar, Alberto Sonnino, Lefteris Kokoris-Kogias

Recent advances have improved the throughput and latency of blockchains by processing transactions accessing different parts of the state concurrently. However, these systems are u…

cs.CR2024

Obelia: Scaling DAG-Based Blockchains to Hundreds of Validators

George Danezis, Lefteris Kokoris-Kogias, Alberto Sonnino +1

Obelia improves upon structured DAG-based consensus protocols used in proof-of-stake systems, allowing them to effectively scale to accommodate hundreds of validators. Obelia imple…

cs.DC2024

Mahi-Mahi: Low-Latency Asynchronous BFT DAG-Based Consensus

Philipp Jovanovic, Lefteris Kokoris Kogias, Bryan Kumara +3

We present Mahi-Mahi, the first asynchronous BFT consensus protocol that achieves sub-second latency in the WAN while processing over 100,000 transactions per second. We accomplish…

cs.DB2024

Thunderbolt: Concurrent Smart Contract Execution with Non-blocking Reconfiguration for Sharded DAGs

Junchao Chen, Alberto Sonnino, Lefteris Kokoris-Kogias +1

Sharding has emerged as a critical technique for enhancing blockchain system scalability. However, existing sharding approaches face unique challenges when applied to Directed Acyc…

cs.DC2024★ 1 cited

RACS-SADL: Robust and Understandable Randomized Consensus in the Cloud

Pasindu Tennage, Antoine Desjardins, Lefteris Kokoris-Kogias

Widely deployed consensus protocols in the cloud are often leader-based and optimized for low latency under synchronous network conditions. However, cloud networks can experience d…

cs.DC2024

Pilotfish: Distributed Execution for Scalable Blockchains

Quentin Kniep, Lefteris Kokoris-Kogias, Alberto Sonnino +2

Scalability is a crucial requirement for modern large-scale systems, enabling elasticity and ensuring responsiveness under varying load. While cloud systems have achieved scalable…

cs.DC2023★ 3 cited

Sui Lutris: A Blockchain Combining Broadcast and Consensus

Sam Blackshear, Andrey Chursin, George Danezis +9

Sui Lutris is the first smart-contract platform to sustainably achieve sub-second finality. It achieves this significant decrease by employing consensusless agreement not only for…

cs.DC2023

Mysticeti: Reaching the Limits of Latency with Uncertified DAGs

Kushal Babel, Andrey Chursin, George Danezis +5

We introduce Mysticeti-C, the first DAG-based Byzantine consensus protocol to achieve the lower bounds of latency of 3 message rounds. Since Mysticeti-C is built over DAGs it also…

cs.CR2023

Cuttlefish: Expressive Fast Path Blockchains with FastUnlock

Lefteris Kokoris-Kogias, Alberto Sonnino, George Danezis

Cuttlefish addresses several limitations of existing consensus-less and consensus-minimized decentralized ledgers, including restricted programmability and the risk of deadlocked a…

cs.CR2023

HammerHead: Leader Reputation for Dynamic Scheduling

Giorgos Tsimos, Anastasios Kichidis, Alberto Sonnino +1

The need for high throughput and censorship resistance in blockchain technology has led to research on DAG-based consensus. The Sui blockchain protocol uses a variant of the Bullsh…

cs.CR2023★ 2 cited

Securing Consensus from Long-Range Attacks through Collaboration

Junchao Chen, Suyash Gupta, Alberto Sonnino +2

Decentralized systems built around blockchain technology promise clients an immutable ledger. They add a transaction to the ledger after it undergoes consensus among the replicas t…

cs.DC2022★ 1 cited

Bullshark: The Partially Synchronous Version

Alexander Spiegelman, Neil Giridharan, Alberto Sonnino +1

The purpose of this manuscript is to describe the deterministic partially synchronous version of Bullshark in a simple and clean way. This result is published in CCS 2022, however,…

cs.CR2022★ 14 cited

Bullshark: DAG BFT Protocols Made Practical

Alexander Spiegelman, Neil Giridharan, Alberto Sonnino +1

We present Bullshark, the first directed acyclic graph (DAG) based asynchronous Byzantine Atomic Broadcast protocol that is optimized for the common synchronous case. Like previous…

cs.DC2021

Be Aware of Your Leaders

Shir Cohen, Rati Gelashvili, Lefteris Kokoris Kogias +4

Advances in blockchains have influenced the State-Machine-Replication (SMR) world and many state-of-the-art blockchain-SMR solutions are based on two pillars: Chaining and Leader-r…

cs.DC2021

Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback

Rati Gelashvili, Lefteris Kokoris-Kogias, Alberto Sonnino +2

Existing committee-based Byzantine state machine replication (SMR) protocols, typically deployed in production blockchains, face a clear trade-off: (1) they either achieve linear c…