Blockchain Protocols

HoneyBadgerMPC: Confidentiality for Consortium Blockchains

Permissioned blockchains today do not provide strong privacy guarantees. Since all the nodes reach consensus about committed transactions, if even one node suffers a data breach, then privacy is lost. We are investigating how to combine threshold cryptography, homomorphic encryption, and to provide privacy.


Honey Badger BFT is the first *asynchronous* consensus protocol for the post-Bitcoin world. Unlike the other protocols you’ve heard of, like Raft, Paxos, and PBFT, our new protocol makes progress whenever messages are delivered, regardless of how long they are delayed. HoneyBadgerBFT just doesn’t care about the timeliness of the underlying network! HoneyBadgerBFT GitHub page The Honey Badger of BFT Protocols Andrew Miller and Yu Xia and Kyle Croman and Elaine Shi and Dawn Song. CCS 2016.

Sprites and State Channels: Payment Networks that go Faster Than Lighting

Sprites is a payment channel construct that improves upon the current best linearly increasing lock time for a payment routed on a path of channels.
It also includes a generalized state channel construction in the Universal Composability framework for protocols.
[Arxiv Preprint]    [Media Coverage on Coindesk]

Pisa: Arbitration Outsourcing for State Channels

PISA builds off the Sprites construction an introduces an incentive protocol to allow users to hire third-parties to arbitrate a state channel dispute on their behalf if they crash. The protocol gives an incentive and penalty to enforce correct operation of the hired third party up to a financial upper bound for the attacker.
[Arxiv Preprint] [Talk at Off the Chain Workshop]


Provable Security for Blockchains

SaUCy – Composable Cryptography Framework


Cryptocurrency Network Measurement


We analyzed transactions in the Monero network and proposed deanonymization heuristics for transactions. We investigated and proposed solutions to the security flaws in the anonymity of Monero transactions, which en hanced the security of all Cryptonote currencies and led to the adoption of the solutions still in use today. MoneroLink.

PETS 2018 Andrew Miller, Malte Moser, Kevin Lee, Arvind Narayanan.