Publications de Dragos-Adrian Seredinschi

Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use

Rachid Guerraoui, Zarko Milosevic, Dragos-Adrian Seredinschi, Jovan Komatovic

Tendermint is a deterministic consensus protocol and is one of the most mature implementations of its kind. This implementation is used as the core for building State Machine Replication (SMR) platforms with Byzantine fault-tolerant (BFT) guarantees. A not ...

IEEE2022

The consensus number of a cryptocurrency (vol 35, pg 1, 2022)

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi, Matteo Monti

SPRINGER2022

The consensus number of a cryptocurrency (extended version)

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi, Matteo Monti

Many blockchain-based algorithms, such as Bitcoin, implement a decentralized asset transfer system, often referred to as a cryptocurrency. As stated in the original paper by Nakamoto, at the heart of these systems lies the problem of preventing double-spen ...

SPRINGER2022

Dynamic Byzantine Reliable Broadcast

Rachid Guerraoui, Dragos-Adrian Seredinschi, Jovan Komatovic, Andrei Tonkikh

Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes in a distributed system deliver the same set of messages. The reason why this primitive is appealing is twofold: (i) we can implement it deterministically in a co ...

Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik2021

Online Payments by Merely Broadcasting Messages

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi, Matteo Monti, Athanasios Xygkis, Jovan Komatovic, Daniel Patrick Collins, Andrei Tonkikh

We address the problem of online payments, where users can transfer funds among themselves. We introduce Astro, a system solving this problem efficiently in a decentralized, deterministic, and completely asynchronous manner. Astro builds on the insight tha ...

IEEE2020

The Consensus Number of a Cryptocurrency

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi, Matteo Monti

Many blockchain-based algorithms, such as Bitcoin, implement a decentralized asset transfer system, often referred to as a cryptocurrency. As stated in the original paper by Nakamoto, at the heart of these systems lies the problem of preventing double-spen ...

ASSOC COMPUTING MACHINERY2019

FCC Physics Opportunities: Future Circular Collider Conceptual Design Report Volume 1

Manuel Bauer, Luca Rossi, Thomas Rizzo, François Robert, Jean-Michel Sallese, Pierluigi Bruzzone, Benedikt Moser, Mikhail Chapochnikov, Bernhard Auchmann, Jeffrey Alan Hubbell, Nicolas Andreini, Alban Sublet, Anatole von Lilienfeld, Mathias Oleg Knecht, Yu Bai, Jorg Wenninger, Michele Cascella, Marc-Olivier Sauvain, Tatiana Pieloni, Pablo Marcelo Perez Garcia, Rui Ning Wang, Leonid Rivkin, Hua Zhang, Xavier Buffat, Mingkui Wang, Andrea Wulzer, Martin Vogel, Nathalie Sophie Adeline Serra, Sandra Aumon, Alexandra Sarabando de Carvalho, Roberto Franceschini, Karin Irmgard Löw, Lucia Jimenez Rojo, Jie Gao, Giuseppe Montenero, Marco Drewes, Craig Nowell, Peter Michael Vogel, Shourya Dutta Gupta, Jairo Camilo Quijano Perez, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

Scalable Byzantine Reliable Broadcast

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi, Matteo Monti

Byzantine reliable broadcast is a powerful primitive that allows a set of processes to agree on a message from a designated sender, even if some processes (including the sender) are Byzantine. Existing broadcast protocols for this setting scale poorly, as ...

Schloss Dagstuhl--Leibniz-Zentrum fer Informatik2019

SBFT: a Scalable and Decentralized Trust Infrastructure

Dragos-Adrian Seredinschi

SBFT is a state of the art Byzantine fault tolerant state machine replication system that addresses the challenges of scalability, decentralization and global geo-replication. SBFT is optimized for decentralization and is experimentally evaluated on a depl ...

IEEE COMPUTER SOC2019

System Support for Efficient Replication in Distributed Systems

Dragos-Adrian Seredinschi

Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...

EPFL2019

State Machine Replication is More Expensive than Consensus

Rachid Guerraoui, Karolos Antoniadis, Dragos-Adrian Seredinschi

Consensus and State Machine Replication (SMR) are generally considered to be equivalent problems. In certain system models, indeed, the two problems are computationally equivalent: any solution to the former problem leads to a solution to the latter, and v ...

2018

Monotonic Prefix Consistency in Distributed Systems

Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi

We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitions, and which is assumed to be available (in the sense that queries are alwa ...

2018

Incremental Consistency Guarantees for Replicated Objects

Rachid Guerraoui, Matej Pavlovic, Dragos-Adrian Seredinschi

Programming with replicated objects is difficult. Developers must face the fundamental trade-off between consistency and performance head on, while struggling with the complexity of distributed storage stacks. We introduce Correctables, a novel abstraction ...

2016