research
∙
08/31/2023
Accountable Safety Implies Finality
Motivated by proof-of-stake (PoS) blockchains such as Ethereum, two key ...
share
research
∙
07/09/2023
Vector Commitments with Efficient Updates
Dynamic vector commitments that enable local updates of opening proofs h...
research
∙
05/13/2023
Interchain Timestamping for Mesh Security
Fourteen years after the invention of Bitcoin, there has been a prolifer...
research
∙
10/26/2022
Accountable Safety for Rollups
Accountability, the ability to provably identify protocol violators, gai...
research
∙
09/18/2022
Proofs of Proof-of-Stake with Sublinear Complexity
Popular Ethereum wallets (e.g., MetaMask) entrust centralized infrastruc...
research
∙
09/07/2022
No More Attacks on Proof-of-Stake Ethereum?
The latest message driven (LMD) greedy heaviest observed sub-tree (GHOST...
research
∙
08/05/2022
Cryptoeconomic Security for Data Availability Committees
Layer 2 systems have received increasing attention due to their potentia...
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/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
∙
10/19/2021
Three Attacks on Proof-of-Stake Ethereum
Recently, two attacks were presented against Proof-of-Stake (PoS) Ethere...
research
∙
05/13/2021
The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets
Byzantine fault tolerant (BFT) consensus protocols are traditionally dev...
research
∙
10/20/2020
Snap-and-Chat Protocols: System Aspects
The availability-finality dilemma says that blockchain protocols cannot ...
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