We present DAG-Rider, the first asynchronous Byzantine Atomic Broadcast protocol that
achieves optimal resilience, optimal amortized communication complexity, and optimal time …

This paper studies Byzantine reliable broadcast (BRB) under asynchronous networks, and
improves the state-of-the-art protocols from the following aspects. Near-optimal …

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 …

Strongly consistent replication helps keep application logic simple and provides significant
benefits for correctness and manageability. Unfortunately, the adoption of strongly …

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 …

This paper explores a modular design architecture aimed at helping blockchains (and other
SMR implementation) to scale to a very large number of processes. This comes in contrast to …

Filecoin is the largest storage-based open-source blockchain, both by storage capacity (>
11EiB) and market capitalization. This paper provides the first formal security analysis of …

Byzantine Broadcast is crucial for many cryptographic protocols such as secret sharing,
multiparty computation and blockchain consensus. In this paper we apply gossiping …

A decision task is a distributed input-output problem in which each process starts with its
input value and eventually produces its output value. Examples of such decision tasks are …

In this paper, we consider the Byzantine reliable broadcast problem on authenticated and
partially connected networks. The state-of-the-art method to solve this problem consists in …