research
∙
08/31/2023
Accountable Safety Implies Finality
Motivated by proof-of-stake (PoS) blockchains such as Ethereum, two key ...
share
research
∙
08/09/2023
Optimal Flexible Consensus and its Application to Ethereum
Classic BFT consensus protocols guarantee safety and liveness for all cl...
research
∙
05/13/2023
Interchain Timestamping for Mesh Security
Fourteen years after the invention of Bitcoin, there has been a prolifer...
research
∙
03/16/2023
Security of Blockchains at Capacity
Given a network of nodes with certain communication and computation capa...
research
∙
11/01/2022
Beyond the Best: Estimating Distribution Functionals in Infinite-Armed Bandits
In the infinite-armed bandit problem, each arm's average reward is sampl...
research
∙
10/26/2022
Accountable Safety for Rollups
Accountability, the ability to provably identify protocol violators, gai...
research
∙
09/07/2022
No More Attacks on Proof-of-Stake Ethereum?
The latest message driven (LMD) greedy heaviest observed sub-tree (GHOST...
research
∙
07/18/2022
Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities
Bitcoin is the most secure blockchain in the world, supported by the imm...
research
∙
03/30/2022
Light Clients for Lazy Blockchains
Decoupling consensus from transaction verification and execution is an i...
research
∙
03/18/2022
Approximate Function Evaluation via Multi-Armed Bandits
We study the problem of estimating the value of a known smooth function ...
research
∙
03/02/2022
Two Attacks On Proof-of-Stake GHOST/Ethereum
We present two attacks targeting the Proof-of-Stake (PoS) Ethereum conse...
research
∙
01/20/2022
Babylon: Reusing Bitcoin Mining to Enhance Proof-of-Stake Security
Bitcoin is the most secure blockchain in the world, supported by the imm...
research
∙
11/24/2021
Securing Proof-of-Stake Nakamoto Consensus Under Bandwidth Constraint
Satoshi Nakamoto's Proof-of-Work (PoW) longest chain (LC) protocol was a...
research
∙
11/24/2021
Information Dispersal with Provable Retrievability for Rollups
The ability to verifiably retrieve transaction or state data stored off-...
research
∙
10/19/2021
Three Attacks on Proof-of-Stake Ethereum
Recently, two attacks were presented against Proof-of-Stake (PoS) Ethere...
research
∙
10/08/2021
DispersedLedger: High-Throughput Byzantine Consensus on Variable Bandwidth Networks
The success of blockchains has sparked interest in large-scale deploymen...
research
∙
05/13/2021
The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets
Byzantine fault tolerant (BFT) consensus protocols are traditionally dev...
research
∙
11/22/2020
TaiJi: Longest Chain Availability with BFT Fast Confirmation
Most state machine replication protocols are either based on the 40-year...
research
∙
10/20/2020
Snap-and-Chat Protocols: System Aspects
The availability-finality dilemma says that blockchain protocols cannot ...
research
∙
10/15/2020
PoSAT: Proof-of-Work Availability andUnpredictability, without the Work
An important feature of Proof-of-Work (PoW) blockchains is full dynamic ...
research
∙
09/10/2020
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma
The CAP theorem says that no blockchain can be live under dynamic partic...
research
∙
05/21/2020
Everything is a Race and Nakamoto Always Wins
Nakamoto invented the longest chain protocol, and claimed its security b...
research
∙
05/19/2020
Free2Shard: Adaptive-adversary-resistant sharding via Dynamic Self Allocation
Propelled by the growth of large-scale blockchain deployments, much rece...
research
∙
04/19/2020
Prism Removes Consensus Bottleneck for Smart Contracts
The performance of existing permissionless smart contract platforms such...
research
∙
10/05/2019
Proof-of-Stake Longest Chain Protocols Revisited
The Nakamoto longest chain protocol has served Bitcoin well in its decad...
research
∙
10/04/2019
Boomerang: Redundancy Improves Latency and Throughput in Payment Networks
In multi-path routing schemes for payment-channel networks, Alice transf...
research
∙
09/25/2019
Prism: Scaling Bitcoin by 10,000x
Bitcoin is the first fully decentralized permissionless blockchain proto...
research
∙
05/07/2019
Somatic mutations render human exome and pathogen DNA more similar
Immunotherapy has recently shown important clinical successes in a subst...
research
∙
02/01/2019
Adaptive Monte Carlo Multiple Testing via Multi-Armed Bandits
Monte Carlo (MC) permutation testing is considered the gold standard for...
research
∙
01/27/2019
Deconstructing Generative Adversarial Networks
We deconstruct the performance of GANs into three components: 1. Formu...
research
∙
11/19/2018
Generalizable Adversarial Training via Spectral Normalization
Deep neural networks (DNNs) have set benchmarks on a wide array of super...
research
∙
10/28/2018
A Convex Duality Framework for GANs
Generative adversarial network (GAN) is a minimax game between a generat...
research
∙
10/18/2018
Deconstructing the Blockchain to Approach Physical Limits
Transaction throughput, confirmation latency and confirmation reliabilit...
research
∙
04/15/2018
Hidden Hamiltonian Cycle Recovery via Linear Programming
We introduce the problem of hidden Hamiltonian cycle recovery, where the...
research
∙
01/11/2018
Minimax Optimality of Sign Test for Paired Heterogeneous Data
Comparing two groups under different conditions is ubiquitous in the bio...
research
∙
11/03/2017
NeuralFDR: Learning Discovery Thresholds from Hypothesis Features
As datasets grow richer, an important challenge is to leverage the full ...
research
∙
11/02/2017
Medoids in almost linear time via multi-armed bandits
Computing the medoid of a large number of points in high-dimensional spa...
research
∙
10/30/2017
Understanding GANs: the LQG Setting
Generative Adversarial Networks (GANs) have become a popular method to l...
research
∙
10/05/2017
Porcupine Neural Networks: (Almost) All Local Optima are Global
Neural networks have been used prominently in several machine learning a...
research
∙
02/17/2017
Maximally Correlated Principal Component Analysis
In the era of big data, reducing data dimensionality is critical in many...
research
∙
06/07/2016
