10 papers
Show Me The Money: An Exercise in Proof-Driven Software Understanding
Joseph Tafese, Karthik Nukala, Hassen Saïdi +3
We present a case study on proof-driven software understanding of mature, security-critical infrastructure. While formal methods are traditionally applied during the design phase,…
Simple-IT: Practical Low-Latency Signature-Free BFT Consensus
Qianyu Yu, Juan Villacis, Giuliano Losa +2
Recent advances in quantum computing pose a looming threat to most current Byzantine fault-tolerant (BFT) consensus protocols, which rely on quantum-vulnerable public-key signature…
Fast Deterministically Safe Proof-of-Work Consensus
Ali Farahbakhsh, Giuliano Losa, Youer Pu +2
Permissionless blockchains achieve consensus while allowing unknown nodes to join and leave the system at any time. They typically come in two flavors: proof of work (PoW) and proo…
Angelfish: Leader, DAG, or Anywhere in Between
Qianyu Yu, Giuliano Losa, Nibesh Shrestha +1
To maximize performance, many modern blockchain systems rely on eventually-synchronous, Byzantine fault-tolerant (BFT) consensus protocols. Two protocol designs have emerged in thi…
Optimistic, Signature-Free Reliable Broadcast and Its Applications
Nibesh Shrestha, Qianyu Yu, Aniket Kate +3
Reliable broadcast (RBC) is a key primitive in fault-tolerant distributed systems, and improving its efficiency can benefit a wide range of applications. This work focuses on signa…
Monotone Erasure Codes
Vivien Bammert, Annalisa Cimatti, Orestis Alpos +2
Erasure codes are a critical component in reliable storage systems today, and many blockchain systems use consensus protocols that involve erasure codes to reduce their communicati…