research
∙
08/05/2023
Subquadratic Multivalued Asynchronous Byzantine Agreement WHP
There have been several reductions from multivalued consensus to binary ...
share
research
∙
08/19/2022
Quancurrent: A Concurrent Quantiles Sketch
Sketches are a family of streaming algorithms widely used in the world o...
research
∙
05/18/2022
Cordial Miners: Blocklace-Based Ordering Consensus Protocols for Every Eventuality
Cordial Miners are a family of efficient Byzantine Atomic Broadcast prot...
research
∙
02/18/2022
Make Every Word Count: Adaptive BA with Fewer Words
Byzantine Agreement is a key component in many distributed systems. Whil...
research
∙
02/14/2022
On Payment Channels in Asynchronous Money Transfer Systems
Money transfer is an abstraction that realizes the core of cryptocurrenc...
research
∙
11/03/2021
Byzantine Agreement with Less Communication: Recent Advances
In recent years, Byzantine Agreement is being considered in increasing s...
research
∙
02/21/2021
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
We formalize Byzantine linearizability, a correctness condition that spe...
research
∙
02/16/2021
All You Need is DAG
We present DAG-Rider, the first asynchronous Byzantine Atomic Broadcast ...
research
∙
07/07/2020
Economically Viable Randomness
We study the problem of providing blockchain applications with economica...
research
∙
06/23/2020
Intermediate Value Linearizability: A Quantitative Correctness Criterion
Big data processing systems often employ batched updates and data sketch...
research
∙
02/18/2020
Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR
State Machine Replication (SMR) solutions often divide time into rounds,...
research
∙
02/16/2020
Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP
King and Saia were the first to break the quadratic word complexity boun...
research
∙
01/02/2020
Using Nesting to Push the Limits of Transactional Data Structure Libraries
Transactional data structure libraries (TDSL) combine the ease-of-progra...
research
∙
06/10/2019
FairLedger: A Fair Blockchain Protocol for Financial Institutions
Financial institutions are currently looking into technologies for permi...
research
∙
02/28/2019
Fast Concurrent Data Sketches
Data sketches are approximate succinct summaries of long streams. They a...
research
∙
05/23/2018
Game of Coins
We formalize the current practice of strategic mining in multi-cryptocur...
research
∙
05/16/2018
