arXiv subjects

Maxence Perion

Publications and source records attributed to Maxence Perion.

4 recordsLinked to original sources

arXiv2026

Minimizing Commit Rules for DAG-based Atomic Broadcast

A popular class of Byzantine fault-tolerant atomic broadcast protocols rely on directed acyclic graphs (DAGs) that represent causal relations between broadcast messages. Each process applies a protocol-specific \emph{commit rule} on its local DAG to determine which vertices can be delivered in a total order. Intuitively, commit rules that impose fewer conditions on the DAG to order its vertices imply more efficient protocols, as the broadcast messages are delivered with lower latency. In this paper, we define commit rules on an uncertified round-based DAG construction, and introduce a sub-rule relation between them: a commit rule $cr_1$ is a sub-rule of a commit rule $cr_2$ if, for any DAG, the set of vertices committed by $cr_1$ contains all vertices committed by $cr_2$. We use the sub-rule relation to determine a minimal commit rule in an eventually synchronous model and a minimal commit rule in an asynchronous model, namely, two commit rules that require the least conditions on the DAG to safely commit any set of vertices in their respective models. To the best of our knowledge, no existing DAG-based atomic broadcast protocol relies on such minimal commit rules: we introduce \emph{Minnow}, a new protocol for DAG-based atomic broadcast, which can be instantiated in both eventually synchronous (S-Minnow) and asynchronous networks (A-Minnow).

cs.DC↗

arXiv2025

Wait-free Replicated Data Types and Fair Reconciliation

Replication ensures data availability in fault-prone distributed systems. The celebrated CAP theorem stipulates that replicas cannot guarantee both strong consistency and availability under network partitions. A popular alternative, adopted by CRDTs, is to relax consistency to be eventual. It enables progress to be wait-free, as replicas can serve requests immediately, based on their local states. Yet, wait-free replication faces a key challenge: due to asynchrony and concurrency, operations may be constantly reordered, leading to results inconsistent with their original contexts and preventing them from stabilizing over time. Moreover, a particular client may experience starvation when, from some point on, each of its operations is reordered at least once. This may lead to pathological scenarios, when the locally observed effect of each of the client's operation is later rejected by the system. We make two contributions. First, we formalize the problem addressed by wait-free replicated data types (e.g., CRDTs) as eventual state-machine replication. We then augment it with stability and fairness ensuring, respectively, that (1) all replicas share a growing stable prefix of operations, and (2) no client starves. Second, we present a generic DAG-based framework to achieve eventual state-machine replication for any replicated data type, where replicas exchange their local views and merge them using a reconciliation function. We then propose reconciliation functions ensuring stability and fairness.

cs.DC↗

arXiv2024

Secret Quorums: Protecting Byzantine Protocols Against Adaptive Adversaries

Modern committee-based payment protocols improve scalability by delegating critical operations to small subsets of participants, such as validator committees in blockchains or shard committees in distributed systems with parallel execution. This design, however, makes these protocols particularly vulnerable to adaptive adversaries: once a small set of participants is identified, it can be selectively targeted for corruption, bribery, or denial-of-service attacks. In this paper, we propose Secret Quorums, a novel abstraction that enables any committee-based protocol, including payment systems, to rely on small quorums while remaining resilient to adaptive adversaries. Validators composing a Secret Quorum remain anonymous throughout the validation: as in cryptographic sortition approaches, their selection is secret, but unlike classical approaches, the resulting quorum proof does not reveal which validators were selected. We show how to implement Secret Quorums using ring verifiable random functions, without adding communication steps compared to standard quorum-based protocols. We also demonstrate the relevance of Secret Quorums through StealthDust, a new protocol that applies Secret Quorums to the fractional spending payment problem in order to reduce latency and improve settlement message complexity with respect to the original protocol.

cs.CR↗

arXiv2024

Fantastyc: Blockchain-based Federated Learning Made Secure and Practical

Federated Learning is a decentralized framework that enables multiple clients to collaboratively train a machine learning model under the orchestration of a central server without sharing their local data. The centrality of this framework represents a point of failure which is addressed in literature by blockchain-based federated learning approaches. While ensuring a fully-decentralized solution with traceability, such approaches still face several challenges about integrity, confidentiality and scalability to be practically deployed. In this paper, we propose Fantastyc, a solution designed to address these challenges that have been never met together in the state of the art.

cs.CR↗