The Seven Grand Challenges

IC3 has many projects underway to address what we identify as seven “Grand Challenges” to widespread blockchain adoption. A number of examples are given below.

The seven Grand Challenges outlined above serve as a motivation and a project map for the following IC3 projects.

Projects

A dataset of Uniswap daily transaction indices by network
Nir Chemaya, Lin William Cong, Emma Jorgensen, Dingyue Liu, and Luyao Zhang
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Founding Zero-Knowledge Proofs of Training on Optimum Vicinity
Gefei Tan, Adrià Gascón, Sarah Meiklejohn, Mariana Raykova, Xiao Wang, and Ning Luo
Support Grand Challenges:
Correctness by Design and Construction
Stingray: Fast Concurrent Transactions Without Consensus
Srivatsan Sridhar, Alberto Sonnino, and Lefteris Kokoris-Kogias
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Law’s Detrimental Reliance on Intermediaries
Carla Reyes
Support Grand Challenges:
Correctness by Design and Construction
Byzantine Fault Tolerant Protocols with Near-Constant Work per Node without Signatures
Philipp Schneider
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
On Fair Ordering and Differential Privacy
Shir Cohen, Neel Basu, Soumya Basu, and Lorenzo Alvisi
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Foundations of Platform-Assisted Auctions
Hao Chung, Ke Wu, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Safety and Compliance
Design and Evaluation of Privacy-Preserving Protocols for Agent-Facilitated Mobile
Karen Sowon, Collins W. Munyendo, Lily Klucinec, Eunice Maingi, Gerald Suleh, Lorrie Faith Cranor, Giulia Fanti, Conrad Tucker, and Assane Gueye
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
Liquefaction: Privately Liquefying Blockchain Assets
James Austgen, Andres Fabrega, Mahimna Kelkar, Dani Vilardell, Sarah Allen, Kushal Babel, Jay Yu, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
The Rise of E-Wallet Super-Apps and Buy-Now-Pay-Later
Wenlong Bian, Lin William Cong, and Yang Ji
Support Grand Challenges:
Correctness by Design and Construction
Leveraging Bitcoin Mining Machines in Demand-Response Mechanisms to Mitigate Ramping-Induced Transients
Elinor Ginzburg-Ganz, Ittay Eyal, Ram Machlev, Dmitry Baimel, Leena Santosh, Juri Belikov, and Yoash Levron
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Game Theoretic Liquidity Provisioning in Concentrated Liquidity Market Makers
Weizhao Tang, Rachid El-Azouzi, Cheng Han Lee, Ethan Chan, and Giulia Fanti
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Props for Machine-Learning Security
Ari Juels and Farinaz Koushanfar
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Mahi-Mahi: Low-Latency Asynchronous BFT DAG-Based Consensus
Philipp Jovanovic, Lefteris Kokoris-Kogias, Bryan Kumara, Alberto Sonnino, Pasindu Tennage, and Igor Zablotchi
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Sunfish: Reading Ledgers with Sparse Nodes
Giulia Scaffino, Karl Wüst, Deepak Maram, Alberto Sonnino, and Lefteris Kokoris-Kogias
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Safety and Compliance
Future of Algorithmic Organization: Large Scale Analysis of Decentralized Autonomous Organizations (DAOs)
Tanusree Sharma, Yujin Potter, Kornrapat Pongmala, Henry Wang, Andrew Miller, Dawn Song, and Yang Wang
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Social Good
The Sting Framework: Proving the Existence of Superclass Adversaries
Mahimna Kelkar, Yunqi Li, Nerla Jean-Louis, Carolina Ortega Pérez, Kushal Babel, Andrew Miller, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
Fair Interest Rates Are Impossible for Lending Pools: Results from Options Pricing
Joe Halpern, Rafael Pass, and Aditya Saraf
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Research Directions for Verifiable Crypto-Physically Secure TEEs
Sylvain Bellemare
Support Grand Challenges:
Safety and Compliance
Functional Adaptor Signatures: Beyond All-or-Nothing Blockchain-based Payments
Nikhil Vanjani, Pratik Soni, and Sri AravindaKrishnan Thyagarajan
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Inflation Expectation and Cryptocurrency Investment
Lin William Cong, Pulak Ghosh, Jiasun Li, and Qihong Ruan
Support Grand Challenges:
Safety and Compliance
From Experts to the Public: Governing Multimodal Language Models in Politically Sensitive Video Analysis
Tanusree Sharma, Yujin Potter, Zachary Kilhoffer, Yun Huang, Dawn Song, and Yang Wang
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
On the Viability of Open-Source Financial Rails: Economic Security of Permissionless Consensus
Jacob D. Leshno, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Social Good
Eva: Efficient IVC-Based Authentication of Lossy-Encoded Videos
Chengru Zhang, Xiao Yang, David Oswald, Mark Ryan, and Philipp Jovanovic
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Social Good
A Waterlog for Detecting and Tracing Synthetic Text from Large Language Models
Brennon Brimhall, Orion Weller, Matthew Green, and Ian Miers
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Cryptobazaar: Private Sealed-bid Auctions at Scale
Andrija Novakovic, Alireza Kavousi, Kobi Gurkan, and Philipp Jovanovic
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Encrypted MultiChannel Communication (EMC2): Johnny Should Use Secret Sharing
Gowri R. Chandran, Kilian Demuth, Kasra Edalatnejad, Sebastian Linsner, Christian Reuter, and Thomas Schneider
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
The Barons and the Mob: Essays on Centralized Platforms and Decentralized Crowds
Charles Duan and James Grimmelmann
Support Grand Challenges:
Social Good
VFIX: Facilitating Software Maintenance of Smart
Pengcheng Fang, Peng Gao, Yun Peng, Qingzhao Zhang, Tao Xie, Dawn Song, Prateek Mittal, Sanjeev Kulkarni, Zhuotao Liu, and Xusheng Xiao
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
PayOff: A Regulated Central Bank Digital Currency with Private Offline Payments
Carolin Beer, Sheila Zingg, Kari Kostiainen, Karl Wust, Vedran Capkun, and Srdjan Capkun
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
Distributed Ledgers and Secure Multi-Party Computation for Financial Reporting and Auditing
Sean S. Cao, Lin William Cong, and Baozhong Yang
Support Grand Challenges:
Correctness by Design and Construction
Authenticated Data Feeds
zk-Promises: Making Zero-Knowledge Objects Accept the Call for Banning and Reputation
Maurice Shih, Michael Rosenberg, Hari Kailad, and Ian Miers
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
PROF: Protected Order Flow in a Profit-Seeking World
Kushal Babel, Nerla Jean-Louis, Yan Ji, Ujval Misra, Mahimna Kelkar, Kosala Yapa Mudiyanselage, Andrew Miller, and Ari Juels
Support Grand Challenges:
Confidentiality
Safety and Compliance
Sound Migration
ZIPNet: Low-bandwidth anonymous broadcast from (dis)Trusted Execution Environments
Michael Rosenberg, Maurice Shih, Zhenyu Zhao, Rui Wang, Ian Miers, and Fan Zhang
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Social Good
Hekaton: Horizontally-Scalable zkSNARKs via Proof Aggregation
Michael Rosenberg, Tushar Mopuri, Hossein Hafezi, Ian Miers, and Pratyush Mishra
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
CrudiTEE: A Stick-and-Carrot Approach to Building Trustworthy Cryptocurrency Wallets with TEEs
Lulu Zhou, Zeyu Liu, Fan Zhang, and Michael K. Reiter
Support Grand Challenges:
Confidentiality
Safety and Compliance
Thunderbolt: Causal Concurrent Consensus and Execution
Junchao Chen, Alberto Sonnino, Lefteris Kokoris-Kogias, and Mohammad Sadoghi
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Sound Migration
SCIF: A Language for Compositional Smart Contract Security
Siqiu Yao, Haobin Ni, Andrew C. Myers, and Ethan Cecchetti
Support Grand Challenges:
Confidentiality
Safety and Compliance
SoK: Programmable Privacy in Distributed Systems
Daniel Benarroch, Bryan Gillespie, Ying Tong Lai, and Andrew Miller
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Aegis: A Decentralized Expansion Blockchain
Yogev Bar-On, Roi Bar-Zur, Omer Ben-Porat, Nimrod Cohen, Ittay Eyal, and Matan Sitbon
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Sound Migration
SAMM: Sharded Automated Market Makers
Hongyin Chen, Amit Vaisman, and Ittay Eyal
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Nopenena Untraceable Payments: Defeating Graph Analysis with Small Decoy Sets
Jayamine Alupotha, Mathieu Gestin, and Christian Cachin
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Safety and Compliance
Shoal++: High Throughput DAG BFT Can Be Fast!
Balaji Arun, Zekun Li, Florian Suri-Payer, Sourav Das, and Alexander Spiegelman
Support Grand Challenges:
Correctness by Design and Construction
Authenticated Data Feeds
Asymmetric distributed trust
Orestis Alpos, Christian Cachin, Björn Tackmann, and Luca Zanolini
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
A simple model of a central bank digital currency
Bineet Mishra and Eswar Prasad
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Opportunities and challenges associated with the development of FinTech and Central Bank Digital Currency
Stijn Claessens, Lin William Cong, Kose John, Fariborz Moshirian, and Cyn-Young Park
Support Grand Challenges:
Safety and Compliance
Confidentiality
A Note on Zero-Knowledge for NP and One-Way Functions
Yanyi Liu, Noam Mazor, and Rafael Pass
Support Grand Challenges:
Correctness by Design and Construction
Regulatory Implications of MEV Mitigations
Yan Ji and James Grimmelmann
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Give and Take: An End-To-End Investigation of Giveaway Scam Conversion Rates
Enze Liu, George Kappos, Eric Mugnier, Luca Invernizzi, Stefan Savage, David Tao, Kurt Thomas, Geoffrey M. Voelker, and Sarah Meiklejohn
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
Decentralization of Ethereum’s Builder Market
Sen Yang, Kartik Nayak, and Fan Zhang
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Public-Coin, Complexity-Preserving, Succinct Arguments of Knowledge for NP from Collision-Resistance
Cody Freitag, Omer Paneth, and Rafael Pass
Support Grand Challenges:
Correctness by Design and Construction
Efficient Data Management for IPFS dApps
Vero Estrada-Galiñanes, Ahmad ElRouby, and Léo Marc-André Theytaz
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Zero-Knowledge Location Privacy via Accurate Floating Point SNARKs
Jens Ernstberger, Chengru Zhang, Luca Ciprian, Philipp Jovanovic, and Sebastian Steinhorst
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
E-Vote Your Conscience: Perceptions of Coercion and Vote Buying, and the Usability of Fake Credentials in Online Voting
Louis-Henri Merino, Alaleh Azhir, Haoqian Zhang, Simone Colombo, Bernhard Tellenbach, Vero Estrada-Galinanes, and Bryan Ford
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
BoLD: Fast and Cheap Dispute Resolution
Mario M. Alvarez, Henry Arneson, Ben Berger, Lee Bousfield, Chris Buckland, Yafah Edelman, Edward W. Felten, Daniel Goldman, Raul Jordan, Mahimna Kelkar, Akaki Mamageishvili, Harry Ng, Aman Sanghi, Victor Shoup, and Terence Tsao
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Practical Proofs of Parsing for Context-free Grammars
Harjasleen Malvai, Andrew Miller, Gregory Neven, and Siam Hussain
Support Grand Challenges:
Correctness by Design and Construction
RACS and SADL: Towards Robust SMR in the Wide-Area Network
Pasindu Tennage, Antoine Desjardins, and Lefteris Kokoris-Kogias
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
“I Can’t Believe It’s Not Custodial!” Usable Trustless Decentralized Key Management
Tanusree Sharma, Vivek C. Nair, Henry Wang, Yang Wang, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
51% Attack via Difficulty Increase with a Small Quantum Miner
Bolton Bailey and Or Sattath
Support Grand Challenges:
Correctness by Design and Construction
Atomic and Fair Data Exchange via Blockchain
Ertem Nusret Tas, István András Seres, Yinou Zhang, Márk Melczer, Mahimna Kelkar, Joseph Bonneau, and Valeria Nikolaenko
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
PURE: Payments with UWB
Daniele Coppola, Giovanni Camurati, Claudio Anliker, Xenia Hofmeier, Patrick Shaller, David Basin, and Srdjan Capkun
Support Grand Challenges:
Safety and Compliance
Confidentiality
The Contractarian Joint Venture
Carla Reyes and Christine Hurt
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Evolving AI Collectives to Enhance Human Diversity and Enable Self-Regulation
Shiyang Lai, Yujin Potter, Junsol Kim, Richard Zhuang, Dawn Song, and James Evans
Support Grand Challenges:
Safety and Compliance
Social Good
Collusion-Resilience in Transaction Fee Mechanism Design
Hao Chung, Tim Roughgarden, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Mechanism Design for Automated Market Makers
T-H. Hubert Chan, Ke Wu, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Game-Theoretically Fair Distributed Sampling
S.A.K. Thyagarajan, Ke Wu, and Pratik Soni
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Fragmentation and optimal liquidity supply on decentralized exchanges
Alfred Lehar, Christine A. Parlour, and Marius Zoican
Support Grand Challenges:
Correctness by Design and Construction
ZeroAuction: Zero-Deposit Sealed-bid Auction via Delayed Execution
Haoqian Zhang, Michelle Yeo, Vero Estrada-Galinanes, and Bryan Ford
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
Pilotfish: Distributed Transaction Execution for Lazy Blockchains
Quentin Kniep, Lefteris Kokoris-Kogias, Alberto Sonnino, Igor Zablotchi, and Nuda Zhang
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
CHIRON: Accelerating Node Synchronization without Security Trade-offs in Distributed Ledgers
Ray Neiheiser, Arman Babaei, Giannis Alexopoulos, Marios Kogias, and Eleftherios Kokoris Kogias
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials
Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Yan Ji, Jonas Lindstrøm, Deepak Maram, Ben Riva, Arnab Roy, Mahdi Sedaghat, and Joy Wang
Support Grand Challenges:
Confidentiality
Safety and Compliance
Motorway: Seamless high speed BFT
Neil Giridharan, Florian Suri-Payer, Ittai Abraham, Lorenzo Alvisi, and Natacha Crooks
Support Grand Challenges:
Sound Migration
Authenticated Data Feeds
Demystifying Electronic Payment Systems and Digital Currencies
Lin William Cong, David Easley, and Eswar Prasad
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Safety and Compliance
Do You Need a Zero Knowledge Proof?
Jens Ernstberger, Stefanos Chaliasos, Liyi Zhou, Philipp Jovanovic, and Arthur Gervais
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Law’s Detrimental Reliance on Intermediaries
Carla Reyes
Support Grand Challenges:
Safety and Compliance
Secure Synthesis of Distributed Cryptographic Applications
Coşku Acay, Joshua Gancher, Rolph Recto, and Andrew Myers
Support Grand Challenges:
Confidentiality
Correctness by Design and Construction
An Analysis of Avalanche Consensus
Ignacio Amores-Sesar, Christian Cachin, and Philipp Schneider
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Asynchronous Authentication
Ittay Eyal and Marwa Mouallem
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Quick Order Fairness: Implementation and Evaluation
Christian Cachin and Jovana Micic
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Ratel: MPC-extensions for Smart Contracts
Yunqi Li, Kyle Soska, Zhen Huang, Sylvain Bellemare, Mikerah Quintyne-Collins, Lun Wang, Xiaoyuan Liu, Dawn Song, and Andrew Miller
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Confidentiality
From HODL to MOON: Understanding Community Evolution, Emotional Dynamics, and Price Interplay in the Cryptocurrency Ecosystem
Kostantinos Papadamou, Jay Patel, Jeremy Blackburn, Philipp Jovanovic, and Emiliano De Cristofaro
Support Grand Challenges:
Secure Scaling and Performance
A Transaction-Level Model for Blockchain Privacy
François-Xavier Wicht, Zhipeng Wang, Duc V. Le, and Christian Cachin
Support Grand Challenges:
Confidentiality
Proof of Compliance for Anonymous, Unlinkable Messages
Mingxun Zhou, Elaine Shi, and Giulia Fanti
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Safety and Compliance
Uniswap Daily Transaction Indices by Network
Nir Chemaya, Lin William Cong, Emma Jorgensen, Dingyue Liu, and Luyao Zhang
Support Grand Challenges:
Secure Scaling and Performance
SoK: The Gap Between Data Rights Ideals and Reality
Yujin Kwon, Ella Corren, Gonzalo Munilla Garrido, Chris Hoofnagle, and Dawn Song
Support Grand Challenges:
Confidentiality
We will DAG you
Ignacio Amores-Sesar and Christian Cachin
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs
James Austgen, Andrés Fábrega, Sarah Allen, Kushal Babel, Mahimna Kelkar, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Open Problems in DAOs
Joshua Tan, Tara Merk, Sarah Hubbard, Eliza R. Oak, Joni Pirovich, Ellie Rennie, Rolf Hoefer, Michael Zargham, Jason Potts, Chris Berg, Reuben Youngblom, Primavera De Filippi, Seth Frey, Jeff Strnad, Morshed Mannan, Kelsie Nabben, Silke Noa Elrifai, Jake Hartnell, Benjamin Mako Hill, Tobin South, Alexia Maddox, Woojin Lim, Ari Juels, and Dan Boneh
Support Grand Challenges:
Correctness by Design and Construction
Sui Lutris: A Blockchain Combining Broadcast and Consensus
Sam Blackshear, Andrey Chursin, George Danezis, Anastasios Kichidis, Lefteris Kokoris-Kogias, Xun Li, Mark Logan, Ashok Menon, Todd Nowacki, Alberto Sonnino, Brandon Williams, and Lu Zhang
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Safety and Compliance
Advances in Blockchain and Crypto Economics
Bruno Biais, Agostino Capponi, Lin William Cong, Vishal Gaur, and Kay Giesecke
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Mysticeti: Low-Latency DAG Consensus with Fast Commit Path
Kushal Babel, Andrey Chursin, George Danezis, Lefteris Kokoris-Kogias, and Alberto Sonnino
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Can open decentralized ledgers be economically secure?
Jacob Leshno, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Authenticated Data Feeds
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs
Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, and Michele Orrù
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Do Not Trust in Numbers: Practical Distributed Cryptography with General Trust
Orestis Alpos and Christian Cachin
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Synergistic Knowledge
Christian Cachin, David Lehnherr, and Thomas Studer
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
The Costs of Swapping on the Uniswap Protocol
Austin Adams, Benjamin Y. Chan, Sarit Markovich, and Xin Wan
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Cuttlefish: Expressive Fast Path Blockchains with FastUnlock
Lefteris Kokoris-Kogias, Alberto Sonnino, and George Danezis
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
QuePaxa: Escaping the Tyranny of Timeouts in Consensus
Pasindu Tennage, Cristina Basescu, Lefteris Kokoris-Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galiñanes, and Bryan Ford
Support Grand Challenges:
Correctness by Design and Construction
Authenticated Data Feeds
The Locality of Memory Checking
Weijie Wang, Yujie Lu, Charalampos Papamanthou, and Fan Zhang
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning
Kushal Babel, Mojan Javaheripi, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
The Role of User-Agent Interactions on Mobile Money Practices in Kenya and Tanzania
Karen Sowon, Edith Luhanga, Lorrie Faith Cranor, Giulia Fanti, Conrad Tucker, and Assane Gueye
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Social Good
Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs
Tianyi Liu, Tiancheng Xie, Jiaheng Zhang, Dawn Song, and Yupeng Zhang
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Inflation Expectation and Cryptocurrency Investment
Lin William Cong, Pulak Ghosh, Jiasun Li, and Qihong Ruan
Support Grand Challenges:
Correctness by Design and Construction
Colordag: An Incentive-Compatible Blockchain
Ittai Abraham, Danny Dolev, Ittay Eyal, and Joseph Y. Halpern
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Efficient Oblivious Sorting and Shuffling for Hardware Enclaves
Tianyao Gu, Yilei Wang, Bingnan Chen, Afonso Tinoco, Elaine Shi, and Ke Yi
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Web3 Reputation: Introducing Dynamic Incentives into Distributed Networks
Lin William Cong and Luofeng Zhou
Support Grand Challenges:
Correctness by Design and Construction
Pay Less for Your Privacy: Towards Cost-Effective On-Chain Mixers
Zhipeng Wang, Marko Cirkovic, Duc V. Le, William Knottenbelt, and Christian Cachin
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Confidentiality
Arke: Scalable and Byzantine Fault Tolerant Privacy-Preserving Contact Discovery
Nicolas Mohnblatt, Alberto Sonnino, Kobi Gurkan, and Philipp Jovanovic
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Gorilla: Safe Permissionless Byzantine Consensus
Youer Pu, Ali Farahbakhsh, Lorenzo Alvisi, and Ittay Eyal
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Safety and Compliance
Janus: Safe Biometric Deduplication for Humanitarian Aid Distribution
Kasra EdalatNejad, Wouter Lueks, Justinas Sukaitis, Vincent Graf Narbel, Massimo Marelli, and Carmela Troncoso
Support Grand Challenges:
Correctness by Design and Construction
Social Good
Oracle Counterpoint: Relationships between On-chain and Off-chain Market Data
Zhimeng Yang, Ariah Klages-Mundt, and Lewis Gudgeon
Support Grand Challenges:
Correctness by Design and Construction
Liquidity fragmentation on decentralized exchanges
Alfred Lehar, Christine Parlour, and Marius Zoican
Support Grand Challenges:
Secure Scaling and Performance
SoK: Public Randomness
Alizera Kavousi, Zhipeng Wang, and Philipp Jovanovic
Support Grand Challenges:
Confidentiality
Authenticated Data Feeds
Practical Large-Scale Proof-of-Stake Asynchronous Total-Order Broadcast
Orestis Alpos, Christian Cachin, Simon Holmgaard Kamp, and Jesper Buus Nielsen
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks
Orestis Alpos, Ignacio Amores-Sesar, Christian Cachin, and Michelle Yeo
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
BlindPerm: Efficient MEV Mitigation with an Encrypted Mempool and Permutation
Alizera Kavousi, Duc V. Le, Philipp Jovanovic, and George Danezis
Support Grand Challenges:
Correctness by Design and Construction
SoK: Privacy-Preserving Data Synthesis
Yuzheng Hu, Fan Wu, Qinbin Li, Yunhui Long, Gonzalo Munilla Garrido, Chang Ge, Bolin Ding, David Forsyth, Bo Li, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Tit-for-Token: fair rewards for moving data in decentralized storage networks
Vahid Heidaripour Lakhani, Leander Jehl, Georgy Ishmaev, and Vero Estrada-Galiñanes
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Timed Secret Sharing
Alizera Kavousi, Aydin Abadi, and Philipp Jovanovic
Support Grand Challenges:
Correctness by Design and Construction
Crypto Wash Trading
Lin Will Cong, Xi Li, Ke Tang, and Yang Yang
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Financial and Informational Integration Through Oracle Networks
Lin William Cong, Eswar Prasad, and Daniel Rabetti
Support Grand Challenges:
Safety and Compliance
Social Good
Blockchain Nodes are Heterogeneous and Your P2P Overlay Should be Too: PODS
Naqib Zarin, Isaac Sheff, and Stefanie Roos
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
BBCA-LEDGER: High Throughput Consensus meets Low Latency
Chrysoula Stathakopoulou, Michael Wei, Maofan Yin, Hongbo Zhang, and Dahlia Malkhi
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Do you still need a manual smart contract audit?
Isaac David, Liyi Zhou, Kaihua Qin, Dawn Song, Lorenzo Cavallaro, and Arthur Gervais
Support Grand Challenges:
Confidentiality
Safety and Compliance
SoK: Data Sovereignty
Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst, Ran Canetti, Andrew Miller, Arthur Gervais, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
What Drives the (In)stability of a Stablecoin?
Yujin Kwon, Kornrapat Pongmala, Kaihua Qin, Ariah Klages-Mundt, Philipp Jovanovic, Christine Parlour, Arthur Gervais, and Dawn Song
Support Grand Challenges:
Safety and Compliance
Disaggregating Applications Using Uniservices
Xinwen Wang and Robbert van Renesse
Support Grand Challenges:
Correctness by Design and Construction
Decentralizing Custodial Wallets with MFKDF
Vivek Nair and Dawn Song
Support Grand Challenges:
Confidentiality
Safety and Compliance
Multi-Factor Credential Hashing for Asymmetric Brute-Force Attack Resistance
Vivek Nair and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Opening the black box of digital wallets and demystifying ‘buy now, pay later’
Wenlong Bian, Lin William Cong, and Yang Ji
Support Grand Challenges:
Safety and Compliance
Advanced Composition Theorems for Differential Obliviousness
Mingxun Zhou, Mengshi Zhao, T-H. Hubert Chan, and Elaine Shi
Support Grand Challenges:
Confidentiality
Safety and Compliance
Buying Time: Latency Racing vs. Bidding in Fair Transaction Ordering
Akaki Mamageishvili, Mahimna Kelkar, Jan Christoph Schlegel, and Edward W. Felten
Support Grand Challenges:
Correctness by Design and Construction
Scaling Smart Contracts via Layer-2 Technologies: Some Empirical Evidence
Lin William Cong, Xiang Hui, Catherine E. Tucker, and Luofeng Zhou
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph
Kaihua Qin, Zhe Ye, Zhun Wang, Weilin Li, Liyi Zhou, Chao Zhang, Dawn Song, and Arthur Gervais
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Auditing Decentralized Finance (DeFi) Protocols
Daniel Rabetti
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Safety and Compliance
The Structure and Legal Interpretation of Computer Programs
James Grimmelmann
Support Grand Challenges:
Safety and Compliance
CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols
Weizhao Tang, Peiyao Sheng, Ronghao Ni, Pronoy Roy, Xuechao Wang, Giulia Fanti, and Pramod Viswanath
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
An Introduction to Web3 with Implications for Financial Services
Christine Parlour
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Formalizing Soundness Proofs of SNARKs
Bolton Bailey and Andrew Miller
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Sprints: Intermittent Blockchain PoW Mining
Michael Mirkin, Lulu Zhou, Ittay Eyal, and Fan Zhang
Support Grand Challenges:
Secure Scaling and Performance
Social Good
Breaking Blockchain Rationality with Out-of-Band Collusion
Haoqian Zhang, Mahsa Bastankhah, Louis-Henri Merino, Vero Estrada-Galiñanes, and Bryan Ford
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Blockchain Large Language Models
Yu Gai, Liyi Zhou, Kaihua Qin, Dawn Song, and Arthur Gervais
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Unpacking How Decentralized Autonomous Organizations (DAOs) Work in Practice
Tanusree Sharma, Yujin Kwon, Kornrapat Pongmala, Henry Wang, Andrew Miller, Dawn Song, and Yang Wang
Support Grand Challenges:
Confidentiality
Authenticated Data Feeds
Safety and Compliance
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
Natalie Neamtu, Haobin Ni, and Robbert van Renesse
Support Grand Challenges:
Correctness by Design and Construction
How will digital technologies influence the international monetary system?
Eswar Prasad
Support Grand Challenges:
Safety and Compliance
Robust, privacy-preserving, transparent, and auditable on-device blocklisting
Kurt Thomas, Sarah Meiklejohn, Michael A. Specter, Xiang Wang, Xavier Llorà, Stephan Somogyi, and David Kleidermacher
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
A Simple Model of a Central Bank Digital Currency
Bineet Mishra and Eswar Prasad
Support Grand Challenges:
Safety and Compliance
The Blockchain Imitation Game
Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, and Arthur Gervais
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Deep Bribe: Predicting the Rise of Bribery in Blockchain Mining with Deep RL
Roi Bar-Zur, Danielle Dori, Sharon Vardi, Ittay Eyal, and Aviv Tamar
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Simplex Consensus: A Simple and Fast Consensus Protocol
Benjamin Y. Chan and Rafael Pass
Support Grand Challenges:
Correctness by Design and Construction
Piano: Extremely Simple, Single-Server PIR with Sublinear Server Computation
Mingxun Zhou, Andrew Park, Elaine Shi, and Wenting Zheng
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
Mitigating Decentralized Finance Liquidations with Reversible Call Options
Kaihua Qin, Jens Ernstberger, Liyi Zhou, Philipp Jovanovic, and Arthur Gervais
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Oracle Counterpoint: Relationships between On-chain and Off-chain Market Data
Zhimeng Yang, Ariah Klages-Mundt, and Lewis Gudgeon
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
SGXonerated: Finding (and Partially Fixing) Privacy Flaws in TEE-based Smart Contract Platforms Without Breaking the TEE
Nerla Jean-Louis, Yunqi Li, Yan Ji, Harjasleen Malvai, Thomas Yurek, Sylvain Bellemare, and Andrew Miller
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
SCIF: Smart Contract Information Flow
Siqiu Yao, Haobin Ni, and Andrew Myers
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Optimal Security for Keyed Hash Functions: Avoiding Time-Space Tradeoffs for Finding Collisions
Cody Freitag, Ashrujit Ghoshal, and Ilan Komargodski
Support Grand Challenges:
Correctness by Design and Construction
Authenticated private information retrieval
Simone Colombo, Kirill Nikitin, Henry Corrigan-Gibbs, David J. Wu, and Bryan Ford
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Maximizing Miner Revenue in Transaction Fee Mechanism Design
Ke Wu, Elaine Shi, and Hao Chung
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Safety and Compliance
Unique Identification of 50,000+ Virtual Reality Users
Vivek Nair, Wenbo Guo, Justus Mattern, Rui Wang, James F. O'Brien, Louis Rosenberg, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Blockchain Forensics and Crypto-Related Cybercrimes
Lin William Cong, Kimberly Grauer, Daniel Rabetti, and Henry Updegrave
Support Grand Challenges:
Safety and Compliance
tlock: Practical Timelock Encryption from Threshold BLS
Nicolas Gailly, Kelsey Melissaris, and Yolan Romailler
Support Grand Challenges:
Correctness by Design and Construction
Performance of EdDSA and BLS Signatures in Committee-Based Consensus
Zhuolun Li, Alberto Sonnino, and Philipp Jovanovic
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Parakeet: Practical Key Transparency for End-to-End Encrypted Messaging
Harjasleen Malvai, Lefteris Kokoris-Kogias, Alberto Sonnino, Esha Ghoshk, Ercan Ozturk, Kevin Lewi, and Sean Lawlor
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Complete Knowledge: Preventing Encumbrance of Cryptographic Secrets
Mahimna Kelkar, Kushal Babel, Philip Daian, James Austgen, Vitalik Buterin, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
On the Amortized Communication Complexity of Byzantine Broadcast
Atsuki Momose, Ling Ren, Elaine Shi, Jun Wan, and Zholun Xiang
Support Grand Challenges:
Correctness by Design and Construction
An Anatomy of Crypto-Enabled Cybercrimes
Lin William Cong, Campbell R. Harvey, Daniel Rabetti, and Zong-Yu Wu
Support Grand Challenges:
Safety and Compliance
Designing Autonomous Markets for Stablecoin Monetary Policy
Ariah Klages-Mundt and Steffen Schuldenzucker
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Bingo: Adaptively Secure Packed Asynchronous Verifiable Secret Sharing and Asynchronous Distributed Key Generation
Ittai Abraham, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, and Gilad Stern
Support Grand Challenges:
Secure Scaling and Performance
Specular: Towards Trust-minimized Blockchain Execution Scalability with EVM-native Fraud Proofs
Zhe Ye, Ujval Misra, and Dawn Song
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Interactive Authentication
Deepak Maram, Mahimna Kelkar, and Ittay Eyal
Support Grand Challenges:
Correctness by Design and Construction
Authenticated Data Feeds
SoK: SGX.Fail: How Stuff Gets eXposed
Stephan van Schaik, Alex Seto, Thomas Yurek, Adam Batori, Bader Al-Bassam, Christina Garman, Daniel Genkin, Andrew Miller, Eyal Ronen, and Yuval Yarom
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Systemic fragility in decentralized markets
Alfred Lehar and Christine A. Parlour
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Batching of Tasks by Users of Pseudonymous Forums: Anonymity Compromise and Protection
Alexander Goldberg, Giulia Fanti, and Nihar B. Shah
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Liquidity Fragmentation on Decentralized Exchanges
Alfred Lehar, Christine Parlour, and Marius Zoican
Support Grand Challenges:
Authenticated Data Feeds
Correctness by Design and Construction
Strategic Peer Selection Using Transaction Value and Latency
Kushal Babel and Lucas Baker
Support Grand Challenges:
Safety and Compliance
Sound Migration
Quicksilver: Censorship-Resilient and Confidential Collateralized Second-Layer Payments
Kari Kostiainen, Sven Gnap, and Ghassan Karame
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Sound Migration
Empowering Data Centers for Next Generation Trusted Computing
Aritra Dhar, Supraja Sridhara, Shweta Shinde, Srdjan Capkun, and Renzo Andri
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Correlation Intractability and SNARGs from Sub-exponential DDH
Arka Rai Choudhuri, Sanjam Garg, Abhishek Jain, Zhengzhong Jin, and Jiaheng Zhang
Support Grand Challenges:
Correctness by Design and Construction
FairPoS: Input Fairness in Proof-of-Stake with Adaptive Security
James Hsin-yu Chiang, Bernardo David, Ittay Eyal, and Tiantian Gong
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
STAMP: Lightweight TEE-Assisted MPC for Efficient Privacy-Preserving Machine Learning
Pengzhi Huang, Thang Hoang, Yueying Li, Elaine Shi, and G. Edward Suh
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Practical Asynchronous High-threshold Distributed Key Generation and Distributed Polynomial Sampling
Sourav Das, Zhuolun Xiang, Lefteris Kokoris-Kogias, and Ling Ren
Support Grand Challenges:
Correctness by Design and Construction
A Theory of Composition for Differential Obliviousness
Mingxun Zhou, Elaine Shi, T-H. Hubert Chan, and Shir Maimon
Support Grand Challenges:
Confidentiality
Safety and Compliance
General Partially Fair Multi-Party Computation with VDFs
Bolton Bailey, Andrew Miller, and Or Sattath
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
zkBridge: Trustless Cross-chain Bridges Made Practical
Tiancheng Xie, Jiaheng Zhang, Zerui Cheng, Fan Zhang, Yupeng Zhang, Yongzheng Jia, Dan Boneh, and Dawn Song
Support Grand Challenges:
What Can Cryptography Do For Decentralized Mechanism Design
Elaine Shi, Hao Chung, and Ke Wu
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
A New ERA for Money
Eswar Prasad
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
SoK: Decentralized Finance (DeFi) Incidents
Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, and Arthur Gervais
Support Grand Challenges:
Confidentiality
Safety and Compliance
Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks
Vahid Heidaripour Lakhani, Leander Jehl, Rinke Hendriksen, and Vero Estrada-Galinanes
Support Grand Challenges:
Authenticated Data Feeds
Correctness by Design and Construction
Going Incognito in the Metaverse
Vivek Nair, Gonzalo Murilla Garrido, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Multi-Factor Key Derivation Function (MFKDF) for Fast, Flexible, Secure, & Practical Key Management
Vivek Nair and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Parallelizable Delegation from LWE
Cody Freitag, Rafael Pass, and Naomi Sirkin
Support Grand Challenges:
Correctness by Design and Construction
Orion: Zero Knowledge Proof with Linear Prover Time
Tiancheng Xie, Yupeng Zhang, and Dawn Song
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Sound Migration
Long Live The Honey Badger: Robust Asynchronous DPSS and its Applications
Thomas Yurek, Zhuolun Xiang, Yu Xia, and Andrew Miller
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
The IC3 NFT License
James Grimmelmann
Support Grand Challenges:
Correctness by Design and Construction
After the fall: Bitcoin true legacy may be blockchain technology
Eswar Prasad
Support Grand Challenges:
Sound Migration
zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure
Michael Rosenberg, Jacob White, Christina Garman, and Ian Miers
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Blockchains as Infrasctructure and Semicommons
James Grimmelmann and A. Jason Windawi
Support Grand Challenges:
Safety and Compliance
Social Good
log*-Round Game-Theoretically-Fair Leader Election
Ilan Komargodski, Shinichiro Matsuo, Elaine Shi, and Ke Wu
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Safe Permissionless Consensus
Youer Pu, Lorenzo Alvisi, and Ittay Eyal
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Efficient and Adaptively Secure Asynchronous Binary Agreement via Binding Crusader Agreement
Ittai Abraham, Naama Ben-David, and Sravya Yandamuri
Support Grand Challenges:
Correctness by Design and Construction
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal, and Rachit Agarwal
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
How to Peel a Million: Validating and Expanding Bitcoin Clusters
George Kappos, Haaroon Yousaf, Rainer Stutz, Sofia Sollet, Bernhard Haslhofer, and Sarah Meiklejohn
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Confidentiality
SoK: Hardware-supported Trusted Execution Environments
Moritz Schneider, Ramya Jayaram Masti, Shweta Shinde, Srdjan Capkun, and Ronald Perez
Support Grand Challenges:
Safety and Compliance
Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees
Banghua Zhu, Lun Wang, Qi Pang, Shuai Wang, Jiantao Jiao, Dawn Song, and Michael I. Jordan
Support Grand Challenges:
Sound Migration
Safety and Compliance
It is not easy to relax: liveness in chained BFT protocols
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, and Florian Suri-Payer
Support Grand Challenges:
Correctness by Design and Construction
F3B: A Low-Latency Commit-and-Reveal Architecture to Mitigate Blockchain Front-Running Protection
Haoqian Zhang, Louis-Henri Merino, Vero Estrada-Galinanes, and Bryan Ford
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Ponyta: Foundations of Side-Contract-Resilient Fair Compliance
Hao Chung, Elisaweta Masserova, Elaine Shi, and Sri AravindaKrishnan Thyagarajan
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Strategic Latency Reduction in Blockchain Peer-to-Peer Network
Weizhao Tang, Lucianna Kiffer, Giulia Fanti, and Ari Juels
Support Grand Challenges:
Secure Scaling and Performance
He-HTLC: Revisiting Incentives in HTLC
Sarisht Wadhwa, Jannis Stoeter, Fan Zhang, and Kartik Nayak
Support Grand Challenges:
Correctness by Design and Construction
Exploring Security Practices of Smart Contract Developers
Tanusree Sharma, Zhixuan Zhou, Andrew Miller, and Yang Wang
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
NFTs for Art and Collectables: Primer and Outlook
Sarah Allen, Ari Juels, Mukti Khaire, Tyler Kell, and Siddhant Shrivastava
Support Grand Challenges:
Social Good
Sound Migration
Baxos: Backing off for Robust and Efficient Consensus
Pasindu Tennage, Cristina Basescu, Eleftherios Kokoris-Kogias, Ewa Syta, Philipp Jovanovic, and Bryan Ford
Support Grand Challenges:
Sound Migration
Proof of Availability & Retrieval in a Modular Blockchain Architecture
Shir Cohen, Guy Goren, Lefteris Kokoris-Kogias, Alberto Sonnino, and Alexander Spiegelman
Support Grand Challenges:
Secure Scaling and Performance
Measuring Miner Decentralization in Proof-of-Work Blockchains
Soumya Basu, Sishan Long, and Emin Gün Sirer
Support Grand Challenges:
Secure Scaling and Performance
Efficient Deterministic Execution of Smart Contracts
Enis Ceyhun Alp, Cristina Basescu, Pasindu Nivanthaka Tennage, Noemien Kocher, Gaylor Bosson, and Bryan Ford
Support Grand Challenges:
Safety and Compliance
Efficient MDP Analysis for Selfish-Mining in Blockchains
Roi Bar-Zur, Ittay Eyal, and Aviv Tamar
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Hierarchical consensus: A horizontal scaling framework for blockchains
Alfonso de la Rocha, Eleftherios Kokoris-Kogias, Jorge M. Soares, and Marko Vukolic
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Colordag: An Incentive-Compatible Blockchain
Ittai Abraham, Danny Dolev, Ittay Eyal, and Joseph Y. Halpern
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
Gradecast in Synchrony and Reliable Broadcast in Asynchrony with Optimal Resilience, Efficiency, and Unconditional Security
Ittai Abraham and Gilad Asharov
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
Generalized Proof of Liabilities
Yan Ji and Ari Juels
Support Grand Challenges:
Confidentiality
Safety and Compliance
Social Good
Copyright Vulnerabilities in NFTs
Yan Ji, Tyler Kell, and James Grimmelmann
Support Grand Challenges:
Safety and Compliance
WeRLman: To Tackle Whale (Transactions), Go Deep (RL)
Roi Bar-Zur, Ameer Abu-Hanna, Ittay Eyal, and Aviv Tamar
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
On Payment Channels in Asynchronous Money Transfer Systems
Oded Naor and Idit Keidar
Support Grand Challenges:
Correctness by Design and Construction
Zef: Low-latency, Scalable, Private Payments
Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar, and George Danezis
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Sliding Window Challenge Process for Congestion Detection
Ayelet Lotem, Sarah Azouvi, Patrick McCorry, and Aviv Zohar
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
Shades of Finality and Layer 2 Scaling
Bennet Yee, Dawn Song, Patrick McCorry, and Chris Buckland
Support Grand Challenges:
Secure Scaling and Performance
LedgerHedger: Gas Reservation for Smart-Contract Security
Itay Tsabary, Alex Manuskin, and Ittay Eyal
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
Bullshark: DAG BFT Protocols Made Practical
Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, and Lefteris Kokoris-Kogias
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
Broken Proofs of Solvency in Blockchain Custodial Wallets
Konstantinos Chalkias, Panagiotis Chatzigiannis, and Yan Ji
Support Grand Challenges:
Confidentiality
Safety and Compliance
STROBE: Stake-based Threshold Raandom Beacons
Donald Beaver, Konstantinos Chalkias, Mahimna Kelkar, Lefteris Kokoris-Kogias, Kevin Lewi, Ladi de Naurois, Valeria Nicolaenko, Arnab Roy, and Alberto Sonnino
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Locally Differentially Private Sparse Vector Aggregation
Mingxun Zhou, Tianhao Wang, T-H. Hubert Chan, Giulia Fanti, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Practical Asynchronous Distributed Key Generation
Sourav Das, Thomas Yurek, Zhuolun Xiang, Andrew Miller, Lefteris Kokoris-Kogias, and Ling Ren
Support Grand Challenges:
Correctness by Design and Construction
SoK: Validating Bridges as a Scaling Solution for Blockchains
Patrick McCorry, Chris Buckland, Bennet Yee, and Dawn Song
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs
Michael Rosenberg, Mary Maller, and Ian Miers
Support Grand Challenges:
Correctness by Design and Construction
Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value
Alexandre Obadia, Alejo Salles, Lakshman Sankar, Tarun Chitra, Vaibhav Chellani, and Phil Daian
Support Grand Challenges:
Correctness by Design and Construction
Foundations of Transaction Fee Mechanism Design
Hao Chung and Elaine Shi
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Themis: Fast, Strong Order-Fairness in Byzantine Consensus
Mahimna Kelkar, Soubhik Deb, Sishan Long, Ari Juels, and Sreeram Kannan
Support Grand Challenges:
Correctness by Design and Construction
Platypus: A Central Bank Digital Currency with Unlinkable Transactions and Privacy Preserving Regulations
Karl Wüst, Kari Kostiainen, Noah Delius, and Srdjan Capkun
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
PRISM: Rethinking the RDMA Interface for Distributed Systems
Matthew Burke, Soumya Dharanipragada, Shannon Joyner, Adriana Szekeres, Jacob Nelson, Irene Zhang, and Dan. R.K. Ports
Support Grand Challenges:
Correctness by Design and Construction
Regular Sequential Serializability and Regular Sequential Consistency
Jeffrey Helt, Matthew Burke, Amit Levy, and Wyatt Lloyd
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Plumo: An Ultralight Blockchain Client
Psi Vesely, Kobi Gurkan, Michael Straka, Ariel Gabizon, Philipp Jovanovic, Georgios Konstantopoulos, Asa Oines, Marek Olszewski, and Eran Tromer
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Updatable Private Set Intersection
Saikrishna Badrinarayanan, Peihan Miao, and Tiancheng Xie
Support Grand Challenges:
Correctness by Design and Construction
Be Aware of Yours Leaders
Shir Cohen, Rati Gelashvili, Lefteris Kokoris-Kogias, Zekun Li, Dahlia Malkhi, Alberto Sonnino, and Alexander Spiegelman
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Basil: Breaking up BFT with ACID (transactions)
Florian Suri-Payer, Matthew Burke, Zheng Wang, Yunhao Zhang, Lorenzo Alvisi, and Natacha Crooks
Support Grand Challenges:
Sound Migration
Secure Scaling and Performance
Two-Round Maliciously Secure Computation with Super-Polynomial Simulation
Amit Agarwal, James Bartusek, Vipul Goyal, Dakshita Khurana, and Giulio Malavolta
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
Decentralized Governance of Stablecoins with Closed Form Valuation
Lucy Huo, Ariah Klages-Mundt, Andreea Minca, Frederik Christian Münter, and Mads Rude Wind
Support Grand Challenges:
Correctness by Design and Construction
Private Attacks in Longest Chain Proof-of-Stake Protocols with Single Secret Leader Elections
Sarah Azouvi and Daniele Cappelletti
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Kushal Babel, Philip Daian, Mahimna Kelkar, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Aggregating and thresholdizing hash-based signatures using STARKs
Irakliy Khaburzaniya, Konstantinos Chalkias, Kevin Lewi, and Harjasleen Malvai
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
Confidentiality
Formalizing Soundness Proofs of SNARKs
Bolton Bailey and Andrew Miller
Support Grand Challenges:
Correctness by Design and Construction
HEB: Hybrid-Expenditure Blockchains
Itay Tsabary, Alexander Spiegelman, and Ittay Eyal
Support Grand Challenges:
Safety and Compliance
Social Good
CedrusDB: Persistent Key-Value Store with Memory-Mapped Lazy-Trie
Maofin Yin, Hongbo Zhang, Robbert van Renesse, and Emin Gün Sirer
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Shard Scheduler: object placement and migration in sharded account-based blockchains
Michal Krol, Onur Ascigil, Sergi Rene, Alberto Sonnino, Mustafa Al-Bassam, and Etienne Riviere
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Publicly Auditable MPC-as-a-Service with succinct verification and universal setup
Sanket Kanjalkar, Ye Zhang, Shreyas Gandlur, and Andrew Miller
Support Grand Challenges:
Confidentiality
Correctness by Design and Construction
Saber
Jian Liu, Peilun Li, Raymond Cheng, N. Asokan, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Secure Scaling and Performance
MPC-Friendly Symmetric Cryptography from Alternating Moduli: Candidates, Protocols, and Applications
Itai Dinur, Steven Goldfeder, Tzipora Halevi, Yuval Ishai, Mahimna Kelkar, Vivek Sharma, and Greg Zaverucha
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
Support Grand Challenges:
Confidentiality
Safety and Compliance
Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback
Rati Gelashvili, Lefteris Kokoris-Kogias, Alberto Sonnino, Alexander Spiegelman, and Zhuolun Xiang
Support Grand Challenges:
Authenticated Data Feeds
Sound Migration
An Empirical Study of DeFi Liquidations: Incentives, Risks, and Instabilities
Kaihua Qin, Liyi Zhou, Pablo Gamito, Philipp Jovanovic, and Arthur Gervais
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
A Complete Characterization of Game-theoretically Fair, Multi-Party Coin Toss
Ke Wu, Gilad Asharov, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Reaching Consensus for Asynchronous Distributed Key Generation
Ittai Abraham, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern, and Alin Tomescu
Support Grand Challenges:
Correctness by Design and Construction
Digital Currencies: Risk or Promise? The Case for Central Bank Digital Currencies
Eswar Prasad
Support Grand Challenges:
Safety and Compliance
IA-CCF: Individual Accountability for Permissioned Ledgers
Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, and Mark Russinovich
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
GoAT: File Geolocation via Anchor Timestamping
Deepak Maram, Iddo Bentov, Mahimna Kelkar, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus
George Danezis, Eleftherios Kokoris-Kogias, Alberto Sonnino, and Alexander Spiegelman
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Forsage: Anatomy of a Smart-Contract Pyramid Scheme
Tyler Kell, Haaroon Yousaf, Sarah Allen, Sarah Meiklejohn, and Ari Juels
Support Grand Challenges:
Confidentiality
Correctness by Design and Construction
Safety and Compliance
SnarkPack: Practical SNARK Aggregation
Nicolas Gailly and Mary Maller and Anca Nitulescu
Support Grand Challenges:
Secure Scaling and Performance
Chainlink 2.0: Next Steps in the Evolution of Decentralization Oracle Networks
Lorenz Breidenbach, Christian Cachin, Benedict Chan, Alex Coventry, Steve Ellis, Ari Juels, Farinaz Koushanfar, Andrew Miller, Brendan Magauran, Daniel Moroz, Sergey Nazarov, Alexandru Topliceanu, Florian Tamer, and Fan Zhang
Support Grand Challenges:
Confidentiality
Safety and Compliance
Compositional Security for Reentrant Applications
Ethan Cecchetti, Siqiu Yao, Haobin Ni, and Andrew C. Myers
Support Grand Challenges:
Correctness by Design and Construction
Merkle Trees Optimized for Stateless Clients in Bitcoin
Bolton Bailey and Suryanarayana Sankagiri
Support Grand Challenges:
Authenticated Data Feeds
Safer Illinois and RokWall: Privacy Preserving University Health Apps for COVID-19
Vikram Sharma Mailthody, James Wei, Nicholas Chen, Mohammad Behnia, Ruihao Yao, Qihao Wang, Vedant Agrawal, Churan He, Lijian Wang, Leihao Chen, Amit Agarwal, Edward Richter, Wen-Mei Hwu, Christopher W. Fletcher, Jinjun Xiong, Andrew Miller, and Sanjay Patel
Support Grand Challenges:
Confidentiality
Authenticated Data Feeds
Social Good
Selfish Mining Attacks Exacerbated by Elastic Hash Supply
Yoko Shibuya, Go Yamamoto, Fuhito Kojima, Elaine Shi, Shin'ichiro Matsuo, and Aron Laszka
Support Grand Challenges:
Confidentiality
Correctness by Design and Construction
MPCCache: Privacy-Preserving Multi-Party Cooperative Cache Sharing at the Edge
Duong Tung Nguyen and Ni Trieu
Support Grand Challenges:
Correctness by Design and Construction
Reactive Key-Loss Protection in Blockchains
Sam Blackshear, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris-Kogias, Joshua Lind, David Wong, and Tim Zakian
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
SoK: Algorithmic Incentive Manipulation Attacks on Permissionless PoW Cryptocurrencies
Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, and Edgar Weippl
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
Fraud and Data Availability Proofs: Detecting Invalid Blocks in Light Clients
Mustafa Al-Bassam, Alberto Sonnino, Vitalik Buterin, and Ismail Khoffi
Support Grand Challenges:
Confidentiality
Safety and Compliance
Chainlink Off-chain Reporting Protocol
Lorenz Breidenbach, Christian Cachin, Alex Coventry, Ari Juels, and Andrew Miller
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
All You Need is DAG
Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, and Alexander Spiegelman
Support Grand Challenges:
Secure Scaling and Performance
hbACSS: How to Robustly Share Many Secrets
Thomas Yurek, Licheng Luo, Jaiden Fairoze, Aniket Kate, and Andrew Miller
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Order-Fair Consensus in the Permissionless Setting
Mahimna Kelkar, Soubhik Deb, and Sreeram Kannan
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
SoK: Decentralized Finance (DeFi)
Sam M. Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, and William J. Knottenbelt
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Aggregatable Distributed Key Generation
Kobi Gurkan, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern, and Alin Tomescu
Support Grand Challenges:
Secure Scaling and Performance
Game-Theoretic Fairness Meets Multi-Party Protocols: The Case of Leader Election
Kai-Min Chung, T-H. Hubert Chan, Ting Wen, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
AIRS: Automated Incentives for Reforestation Stewardship
Sishan Long, Ari Juels, Frederike Groschupp, Srdjan Capkun, Karl Wüst, and Kari Kostiainen
Support Grand Challenges:
Social Good
Post-Quantum Multi-Party Computation
Amit Agarwal, James Bartusek, Vipul Goyal, Dakshita Khurana, and Giulio Malavolta
Support Grand Challenges:
Confidentiality
Heterogeneous Paxos
Isaac Sheff, Xinwen Wang, Robbert van Renesse, and Andrew C. Myers
Support Grand Challenges:
Correctness by Design and Construction
Identity and Personhood in Digital Democracy: Evaluating Inclusion, Equality, Security, and Privacy in Pseudonym Parties and Other Proofs of Personhood
Bryan Ford
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Correctness by Design and Construction
Economic Principles of PoPCoin, a Democratic Time-based Cryptocurrency
Haoqian Zhang, Cristina Basescu, and Bryan Ford
Support Grand Challenges:
Sound Migration
Social Good
Scaling Membership of Byzantine Consensus
Burcu Canakci and Robbert van Renesse
Support Grand Challenges:
Secure Scaling and Performance
Privacy-Utility Tradeoffs in Routing Cryptocurrency over Payment Channel Network
Weizhao Tang, Weina Wang, Giulia Fanti, and Sewoong Oh
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
The Bitcoin Hunter: Detecting Bitcoin Traffic over Encrypted Channels
Fatemeh Rezaei, Shahrzad Naseri, Ittay Eyal, and Amir Houmansadr
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, and Lorenzo Alvisi
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Optimal Oblivious Parallel RAM
Gilad Asharov, Ilan Komargodski, Wei-Kai Lin, Enoch Peserico, and Elaine Shi
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Round-Efficient Byzantine Broadcast under Strongly Adaptive and Majority Corruptions
Jun Wan, Hanshen Xiao, Srinivas Devadas, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Secure Massively Parallel Computation for Dishonest Majority
Rex Fernando, Ilan Komargodski, Yanyi Liu, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Streamlet: Textbook Blockchain Protocol
Benjamin Chan and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Early Evidence of Effectiveness of Digital Contact Tracing for SARS-CoV-2 in Switzerland
Marcel Salathe, Christian L. Althaus, Nanina Anderegg, Daniele Antonioli, Tala Ballouz, Edouard Bugnion, Srdjan Capkun, Dennis Jackson, Sang-Il Kim, James R. Larus, Nicola Low, Wouter Lueks, Dominik Menges, Cedric Moullet, Mathias Payer, Julien Riou, Theresa Stadler, Carmela Troncoso, Effy Vayena, and Viktor von Wyl
Support Grand Challenges:
Authenticated Data Feeds
Safety and Compliance
Correctness by Design and Construction
Social Good
SPARKs: Succinct Parallelizable Arguments of Knowledge
Naomi Ephraim, Cody Freitag, Ilan Komargodski, and Rafael Pass
Support Grand Challenges:
Sound Migration
SquiRL: Automatic Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning
Charlie Hou, Mingxun Zhou, Yan Ji, Phil Daian, Florian Tramèr, Giulia Fanti, and Ari Juels
Support Grand Challenges:
Secure Scaling and Performance
Bucket Oblivious Sort: An Extremely Simple Oblivious Sort
Gilad Asharov, T-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
CanDID: Can-Do Decentralized Identity with Legacy Compatibility, Sybil-Resistance, and Accountability
Deepak Maram, Harjasleen Malvai, Fan Zhang, Nerla Jean-Louis, Alexander Frolov, Tyler Kell, Tyrone Lobban, Christine Moy, Ari Juels, and Andrew Miller
Support Grand Challenges:
Confidentiality
Safety and Compliance
Design choices for central bank digital currency: Policy and technical considerations
Sarah Allen, Srdjan Capkun, Ittay Eyal, Giulia Fanti, Bryan Ford, James Grimmelmann, Ari Juels, Kari Kostiainen, Sarah Meiklejohn, Andrew Miller, Eswar Prasad, Karl Wüst, and Fan Zhang
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Correctness by Design and Construction
GRANPA: A Byzantine Finality Gadget
Alistair Stewart and Eleftherios Kokoris-Kogias
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
MAD-HTCL - Because HTCL is Crazy-Cheap to Attack
Itay Tsabary, Matan Yechieli, Alex Manuskin, and Ittay Eyal
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
FalconDB: Blockchain-based Collaborative Database
Yanqing Peng, Min Du, Feifei Li, Raymond Cheng, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Authenticated Data Feeds
Reputable List Curation from Decentralized Voting
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
Blockchain with Varying Number of Players
T-H. Hubert Chan, Naomi Ephraim, Antonio Marcedone, Andrew Morgan, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
DatashareNetwork: A Decentralized Privacy-Preserving Search Engine for Investigative Journalists
Kasra Edalat Nejad, Wouter Lueks, Julien Pierre Martin, Soline Ledésert, Anne L'Hôte, Bruno Thomas, Laurent Girod, and Carmela Troncoso
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Expected Constant Round Byzantine Broadcast under Dishonest Majority
Jun Wan, Hanshen Xiao, Elaine Shi, and Srinivas Devadas
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
HoneyBadgerMPC
Donghang Lu, Thomas Yurek, Samarth Kulshreshtha, Rahul Govind, Rahul Mahadev, Aniket Kate, and Andrew Miller
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Safety and Compliance
Multi-Perty Timed Commitments
Yael Doweck and Ittay Eyal
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
SCIF: Smart Contract Information Flow
Ethan Cecchetti, Siqiu Yao, Haobin Ni, and Andrew C. Myers
Support Grand Challenges:
Safety and Compliance
Sound Migration
One Round Threshold ECDSA with Identifiable Abort
Rosario Gennaro and Steven Goldfeder
Support Grand Challenges:
Correctness by Design and Construction
Confidence Clustering
Sarah Meiklejohn
Support Grand Challenges:
Correctness by Design and Construction
Sublinear-Round Byzantine Agreement under Corrupt Majority
T-H. Hubert Chan, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
While Stability Lasts: A Stochastic Model of Non-Custodial Stablecoins
Ariah Klages-Mundt and Andreea Minca
Support Grand Challenges:
Correctness by Design and Construction
An Empirical Analysis of Privacy in the Lightning Network
George Kappos, Haaroon Yousaf, Ania Piotrowska, Sanket Kanjalkar, Sergi Delgado-Segura, Andrew Miller, and Sarah Meiklejohn
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Democratic Value and Money for Decentralized Digital Society
Bryan Ford
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
High Throughput Cryptocurrency Routing in Payment Channel Networks
Vibhaalakshmi Sivaraman, Shaileshh Bojja Venkatakrishnan, Kathleen Ruan, Parimarjan Negi, Lei Yang, Radhika Mittal, Giulia Fanti, and Mohammad Alizadeh
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
Que Sera Consensus: Simple Asynchronous Agreement with Private Coins and Threshold Logical Clocks
Bryan Ford, Philipp Jovanovic, and Ewa Syta
Support Grand Challenges:
Sound Migration
MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs
Ahmed Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, and Dawn Song
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Sound Migration
Order-Fairness for Byzantine Consensus
Mahimna Kelkar, Fan Zhang, Steven Goldfeder, and Ari Juels
Support Grand Challenges:
Confidentiality
Sound Migration
Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log
Cong Ding, David Chu, Evan Zhao, Xiang Li, Lorenzo Alvisi, and Robbert van Renesse
Support Grand Challenges:
Secure Scaling and Performance
CUSTOS: Practical Tamper-Evident Auditing of Operating Systems Using Trusted Execution
Riccardo Paccagnella, Pubali Datta, Wajih Ul Hassan, Adam Bates, Christopher W. Fletcher, Andrew Miller, and Dave Tian
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
MPC for MPC: Secure Computation on a Massively Parallel Computing Architecture
T-H. Hubert Chan, Kai-Min Chung, Wei-Kai Lin, and Elaine Shi
Support Grand Challenges:
Safety and Compliance
Confidentiality
Replicated state machines without replicated execution
Jonathan Lee, Kirill Nikitin, and Srinath Setty
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Selfish Mining Re-examined
Kevin Alarcón Negy, Peter R. Rizun, and Emin Gün Sirer
Support Grand Challenges:
Safety and Compliance
Streamlined Blockchains: A Simple and Elegant Approach (A Tutorial and Survey)
Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
First-Order Logic for Flow-Limited Authorization
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, and Owen Arden
Support Grand Challenges:
Correctness by Design and Construction
ONet Implementation of Gossip-based Signature Aggregation
Elias M. Poroma Wiri, Bryan Ford, Cristina Basescu, and Gaylor Bosson
Support Grand Challenges:
Correctness by Design and Construction
Snappy: Fast On-chain Payments with Practical Collaterals
Vasilios Mavroudis, Karl Wüst, Aritra Dhar, Kari Kostiainen, and Srdjan Capkun
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Virgo
Jiaheng Zhang, Tiancheng Xie, Yupeng Zhang, and Dawn Song
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
BDoS: Blockchain Denial of Service
Michael Mirkin, Yan Ji, Jonathan Pang, Ariah Klages-Mundt, Ittay Eyal, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Winkle: Foiling Long-Range Attacks in Proof-of-Stake Systems
Sarah Azouvi, George Danezis, and Valeria Nikolaenko
Support Grand Challenges:
Correctness by Design and Construction
IPDL: A Probabilistic Dataflow Logic for Cryptography
Xiong Fan, Joshua Gancher, Greg Morrisett, Elaine Shi, and Kristina Sojakova
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Rethinking General-Purpose Decentralized Computing
Enis Ceyhun Alp, Lefteris Kokoris-Kogias, Georgia Fragkouli, and Bryan Ford
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
Succinct Non-Interactive Secure Computation
Andrew Morgan, Rafael Pass, and Antigoni Polychroniadou
Support Grand Challenges:
Correctness by Design and Construction
Bone Crusher 2.0
James Grimmelmann
Support Grand Challenges:
Safety and Compliance
A vision for autonomous blockchains backed by secure hardware
Kai Mast, Lequn Chen, and Emin Gün Sirer
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Divide and Scale: Formalization of Distributed Ledger Sharding Protocols
George Avarikioti, Eleftherios Kokoris-Kogias, and Roger Wattenhofer
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Rationality is Self-Defeating in Permissionless Systems
Bryan Ford and Rainer Bohme
Support Grand Challenges:
Secure Scaling and Performance
Handel: Practical Multi-Signature Aggregation for Large Byzantine Committees
Olivier Bégassat, Blazej Kolad, Nicolas Gailly, and Nicolas Liochon
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
SoK: Communication Across Distributed Ledgers
Alexei Zamyatin,Mustafa Al-Bassam, Dionysis Zindros, Eleftherios Kokoris-Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias, and William J. Knottenbelt
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
All Smart Contracts Are Ambiguous
James Grimmelmann
Support Grand Challenges:
Safety and Compliance
I Can't Believe It's Not Stake
Sanket Kanjalkar, Joseph Kuo, Yunqi Li, and Andrew Miller
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Prism: Scaling Bitcoin by 10,000x
Lei Yang, Vivek Bagaria, Gerui Wang, Mohammad Alizadeh, David Tse, Giulia Fanti, and Pramod Viswanath
Support Grand Challenges:
Secure Scaling and Performance
Barracuda: The Power of l-polling in Proof-of-Stake Blockchains
Giulia Fanti, Jiantao Jiao, Ashok Makkuva, Sewoong Oh, Ranvir Rana, and Pramod Viswanath
Support Grand Challenges:
Secure Scaling and Performance
A Classification Framework for Stablecoin Designs
Amani Moin, Emin Gün Sirer, and Kevin Sekniqi
Support Grand Challenges:
Sound Migration
Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures
Eleftherios Kokoris-Kogias, Dahlia Malkhi, and Alexander Spiegelman
Support Grand Challenges:
Secure Scaling and Performance
Mixicles: Simple Private Decentralized Finance
Ari Juels, Lorenz Breidenbach, Alex Coventry, Sergey Nazarov, Steve Ellis, and Brendan Magauran
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
DECO
Fan Zhang, Sai Krishna Deepak Maram, Harjasleen Malvai, Steven Goldfeder, and Ari Juels
Support Grand Challenges:
Confidentiality
Safety and Compliance
Impossibility of Full Decentralization in Permissionless Blockchains
Yujin Kwon, Jian Liu, Mingjeong Kim, Dawn Song, and Yongdae Kim
Support Grand Challenges:
Secure Scaling and Performance
Asynchronous Consensus Without Rounds
Robbert van Renesse
Support Grand Challenges:
Sound Migration
Teechain: A Secure Payment Network with Asynchronous Blockchain Access
Joshua Lind, Oded Naor, Ittay Eyal, Florian Kelbert, Peter Pietzuch, and Emin Gün Sirer
Support Grand Challenges:
Secure Scaling and Performance
FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger Fabric
Hui Kang, Ting Dai, Nerla Jean-Louis, Shu Tao, and Xiaohui Gu
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
HoneyBadgerMPC and AsynchroMix: Practical AsynchronousMPC and its Application to Anonymous Communication
Donghang Lu, Thomas Yurek, Samarth Kulshreshtha, Rahul Govind, Rahul Mahadev, Aniket Kate, and Andrew Miller
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
HotStuff: BFT Consensus with Linearity and Responsiveness
Maofan Yin, Dahlia Malkhi, Micahel K. Reiter, Guy Golan Gueta, and Itai Abraham
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Bitcontracts: Supporting Smart Contracts in Legacy Blockchains
Karl Wüst, Loris Diana, Kari Kostiainen, Ghassan Karame, Sinisa Matetic, and Srdjan Capkun
Support Grand Challenges:
Safety and Compliance
Confidentiality
ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts
Karl Wüst, Sinisa Matetic, Silvan Egli, Kari Kostiainen, and Srdjan Capkun
Support Grand Challenges:
Safety and Compliance
Authenticated Data Feeds
Threshold Logical Clocks for Asynchronous Distributed Coordination and Consensus
Bryan Ford
Support Grand Challenges:
Sound Migration
Fair Byzantine Agreements for Blockchains
Po-Chun Kuo, Hao Chung, Tzu-Wei Chao, and Chen-Mou Cheng
Support Grand Challenges:
Correctness by Design and Construction
Ostraka
Alex Manuskin, Michael Mirkin, and Ittay Eyal
Support Grand Challenges:
Secure Scaling and Performance
Pay To Win: Cheap, Crowdfundable, Cross-chain Algorithmic Incentive Manipulation Attacks on PoW Cryptocurrencies
Aljosha Judmayer, Nicholas Stifter, Alexei Zamyatin, Itay Tsabary, Ittay Eyal, Peter Gazi, Sarah Meiklejohn, and Edgar Weippl
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Avalanche
Team Rocket, Maofan Yin, Kevin Sekniqi, Robbert van Renesse, and Emin Gün Sirer
Support Grand Challenges:
Secure Scaling and Performance
Robust and Scalable Consensus for Sharded Distributed Ledgers
Eleftherios Kokoris-Kogias
Support Grand Challenges:
Secure Scaling and Performance
(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks
Ariah Klages-Mundt and Andreea Minca
Support Grand Challenges:
Correctness by Design and Construction
LazyLedger: A Distributed Data Availability Ledger with Client-Side Smart Contracts
Mustafa Al-Bassam
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Tracing Transactions Across Cryptocurrency Ledgers
Haaroon Yousaf, George Kappos, and Sarah Meiklejohn
Support Grand Challenges:
Safety and Compliance
Confidentiality
Outguard: Detecting In-Browser Covert Cryptocurrency Mining in the Wild
Amin Kharraz, Zane Ma, Paul Murley, Charles Lever, Joshua Mason, Andrew Miller, Nikita Borisov, Manos Antonakakis, and Michael Bailey
Support Grand Challenges:
Confidentiality
TEEvil: Identity Lease via Trusted Execution Environments
Ivan Puddu, Daniele Lain, Moritz Schneider, Elizaveta Tretiakova, Sinisa Matetic, and Srdjan Capkun
Support Grand Challenges:
Safety and Compliance
Confidentiality
Charlotte
Isaac Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, and Andrew C. Myers
Support Grand Challenges:
Secure Scaling and Performance
Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks
Michal Krol, Alberto Sonnino, Mustafa Al-Bassam. Argyrios Tasiopoulos, and Ioannis Psaras
Support Grand Challenges:
Sound Migration
Correctness by Design and Construction
Flash Boys 2.0: Frontrunning, Transaction Reordering, and Consensus Instability in Decentralized Exchanges
Phil Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, and Ari Juels
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
Libra
Tiancheng Xie, Jiaheng Zhang, Yupeng Zhang, Charalampos Papamanthou, and Dawn Song
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Blockchain Based Approach for Preserving Car Maitenance History
Iva Najdenova, Linus Gasser, Alexandru Rusu, and Bryan Ford
Support Grand Challenges:
Safety and Compliance
Confidentiality
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, and Maofan Yin
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Path Oblivious Heap: Optimal and Practical Oblivious Priority Queue
Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Consensus through Herding
T-H. Hubert Chan, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Extending the Anonymity of Zcash
George Kappos and Ania M. Piotrowska
Support Grand Challenges:
Correctness by Design and Construction
You Sank My Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies
Patrick McCorry, Chris Buckland, Surya Bakshi, Karl Wüst, and Andrew Miller
Support Grand Challenges:
Secure Scaling and Performance
Synchronous, with a Chance of Partition Tolerance
Yue Guo, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Authenticated Data Feeds
Correctness by Design and Construction
Replay Attacks and Defenses Against Cross-shard Consensus in Sharded Distributed Ledgers
Alberto Sonnino, Shehar Bano, Mustafa Al-Bassam, and George Danezis
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Sound Migration
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updateable Structure Reference Strings
Mary Maller, Sean Bowe, Markulf Kohlweiss, and Sarah Meiklejohn
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Towards a Functional Fee Market for Cryptocurrencies
Soumya Basu, David Easley, Maureen O'Hara, and Emin Gün Sirer
Support Grand Challenges:
Correctness by Design and Construction
Incentivising Privacy in Cryptocurrencies
Sarah Azouvi, Haaroon Yousaf, and Alexander Hicks
Support Grand Challenges:
Safety and Compliance
Communication cost of consensus for nodes with limited memory
Giulia Fanti, Nina Holden Yuval Peres, and Gireeja Ranade
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
CHURP (CHUrn-Robust Proactive secret sharing)
Sai Krishna Deepak Maram, Fan Zhang, Lun Wang, Andrew Low, Yupeng Zhang, Ari Juels, and Dawn Song
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Rethinking General-Purpose Decentralized Computing
Enis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli, and Bryan Ford
Support Grand Challenges:
Safety and Compliance
Confidentiality
TxProbe
Sergi Delgado-Segura, Surya Bakshi, Cristina Pérez-Solà, James Litton, Andrew Pachulski, Andrew Miller, and Bobby Bhattacharjee
Support Grand Challenges:
Secure Scaling and Performance
Double-spending prevention for Bitcoin zero-confirmation transactions
Cristina Perez-Sola, Sergi Delgado-Segura, Guillermo Navarro-Arribas, and Jordi Herrera-Joancomarti
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Incentives in Security Protocols
Sarah Azouvi, Alexander Hicks, and Steven J. Murdoch
Support Grand Challenges:
Safety and Compliance
Perfectly Secure Oblivious Parallel RAM
T.-H. Hubert Chan, Kartik Nayak, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Analysis of Deterministic Longest-Chain Protocols
Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Lower Bounds for External Memory Integer Sorting via Network Coding
Alireza Farhadi, MohammadTaghi Hajiaghayi, Kasper Green Larsen, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Authenticated Data Feeds
Measuring Ethereum Network Peers
Seoung K. Kim, Zane Ma, Siddharth Murali, Joshua Mason, Andrew Miller, and Michael Bailey
Support Grand Challenges:
Safety and Compliance
Correctness by Design and Construction
ZLite: Lightweight Clients for Shielded Zcash Transactions using Trusted Execution
Karl Wüst, Sinisa Matetic, Moritz Schneider, Ian Miers, Kari Kostiainen, and Srdjan Capkun
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Why is a Ravencoin Like a TokenDesk? An Exploration of Code Diversity in the Cryptocurrency Landscape
Pierre Reibel, Haaroon Yousaf, and Sarah Meiklejohn
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Prism: Deconstructing the Blockchain to Approach Physical Limits
Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, and Pramod Viswanath
Support Grand Challenges:
Secure Scaling and Performance
Quisquis: A New Design for Anonymous Cryptocurrencies
Prastudy Fauzi, Sarah Meiklejohn, Rebekah Mercer, and Claudio Orlandi
Support Grand Challenges:
Secure Scaling and Performance
The Gap Game
Itay Tsabary and Ittay Eyal
Support Grand Challenges:
Safety and Compliance
PaLa: A Simple Partially Synchronous Blockchain
T-H. Hubert Chan, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Zexe: Enabling Decentralized Private Computation
Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, and Howard Wu
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Untethered: Deployable Blockchains for IoT Environments
Kolbeinn Karlsson, Danny Adams, Gloire Rubambiza, Zangyueyang Xian, Robbert van Renesse, Hakim Weatherspoon, and Stephen Wicker
Support Grand Challenges:
Safety and Compliance
Confidentiality
PiLi: An Extremely Simple Synchronous Blockchain
T-H. Hubert Chan, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Obladi: Oblivious Serializable Transactions in the Cloud
Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, and Lorenzo Alvisi
Support Grand Challenges:
Secure Scaling and Performance
Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities
Mustafa Al-Bassam, Alberto Sonnino, and Vitalik Buterin
Support Grand Challenges:
Correctness by Design and Construction
OptORAMa: Optimal Oblivious RAM
Gilad Asharov, Ilan Komargodski, Wei-Kai Lin, Kartik Nayak, Enoch Peserico, and Elaine Shi
Support Grand Challenges:
Confidentiality
Compounding of Wealth in Proof-of-Stake Cryptocurrencies
Giulia Fanti, Leonid Kogan, Sewoong Oh, Kathleen Ruan, Pramod Viswanath, and Gerui Wang
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
BITE: Bitcoin Lightweight Client Privacy using Trusted Execution
Sinisa Matetic, Karl Wüst, Moritz Schneider, Kari Kostiainen, Ghassan Karame, and Srdjan Capkun
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
More is Less: Perfectly Secure Oblivious Algorithms in the Multi-Server Setting
T-H. Hubert Chan, Jonathan Katz, Kartik Nayak, Antigoni Polychroniadou, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
ThunderCore
Rafael Pass and Elaine Shi
Support Grand Challenges:
Confidentiality
Safety and Compliance
Updatable and Universal Common Reference Strings with Applications to zk-SNARKs
Jens Groth, Markulf Kohlweiss, Mary Maller, Sarah Meiklejohn, and Ian Miers
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts
Yi Zhou, Deepak Kumar, Surya Bakshi, Joshua Mason, Andrew Miller, and Michael Bailey
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Teechan: Blockchain Payment Channels with Trusted Execution Environments
Ittay Eyal, Emin Gün Sirer, Peter Pietzuch, and Joshua Lind
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Channels: Horizontal Scaling and Confidentiality on Permissioned Blockchains
Elli Androulaki, Christian Cachin, Angelo De Caro, and Eleftherios Kokoris-Kogias
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Blockchain Security and Privacy
Ghassan Karame and Srdjan Capkun
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Top Ten Obstacles along Distributed Ledgers’ Path to Adoption
Sarah Meiklejohn
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
Vegvisir: A Partition-Tolerant Blockchain for the Internet-of-Things
Kolbeinn Karlsson, Weitao Jiang, Stephen Wicker, Danny Adams, Edwin Ma, Robbert van Renesse, and Hakim Weatherspoon
Support Grand Challenges:
Secure Scaling and Performance
Project Chicago
Ari Juels, Lorenz Breidenbach, Phil Daian, Yan Ji, and Florian Tramèr
Support Grand Challenges:
Secure Scaling and Performance
Public Incompressible Encodings (PIEs)
Ethan Cecchetti, Ben Fisch, Ian Miers, and Ari Juels
Support Grand Challenges:
Authenticated Data Feeds
A web of Blocks
Isaac Sheff, Xinwen Wang, Andrew C. Myers, and Robbert van Renesse
Support Grand Challenges:
Secure Scaling and Performance
PISA Outsourcing
Patrick McCorry, Surya Bakshi, Iddo Bentov, Andrew Miller, and Sarah Meiklejohn
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
Non-Interactive Proofs of Proof-of-Work
Aggelos Kiayias, Andrew Miller, and Dionysis Zindros
Support Grand Challenges:
Sound Migration
Confidentiality
Dandelion++: Lightweight Cryptocurrency Networking with Formal Anonymity Guarantees
Giulia Fanti, Shaileshh B. Venkatakrishnan, Surya Bakshi, Bradley Denby, Shruti Bhargava, Andrew Miller, and Pramod Viswanath
Support Grand Challenges:
Correctness by Design and Construction
Another coin bites the dust: An analysis of dust in UTXO based cryptocurrencies
Cristina Pérez-Solà, Sergi Delgado-Segura, Guillermo Navarro-Arribas, and Jordi Herrera-Joancomarti
Support Grand Challenges:
Secure Scaling and Performance
Airtnt: Fair Exchange Payment for Outsourced Secure Enclave Computations
Mustafa Al-Bassam, Alberto Sonnino, Michal Krol, and Ioannis Psaras
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Betting on Blockchain Consensus with Fantômette
Sarah Azouvi, Patrick McCorry, and Sarah Meiklejohn
Support Grand Challenges:
Secure Scaling and Performance
VAMS: Verifiable Auditing of Access to Confidential Data
Alexander Hicks, Vasilios Mavroudis, Mustafa Al-Bassam, Sarah Meiklejohn, and Steven J. Murdoch
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Crux: Locality-Preserving Distributed Services
Cristina Basescu, Michael F. Nowlan, Kirill Nikitin, Jose M. Faleiro, and Bryan Ford
Support Grand Challenges:
Secure Scaling and Performance
PRCash: Fast, Private and Regulated Transactions for Digital Currencies
Karl Wüst, Kari Kostiainen, Vedran Capkun, and Srdjan Capkun
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Ironwood
Haobin Ni, Greg Morrisett, and Robbert van Renesse
Support Grand Challenges:
Correctness by Design and Construction
An Empirical Analysis of Anonymity in Zcash
George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn
Support Grand Challenges:
Safety and Compliance
Confidentiality
PRCash: Fast, Private and Regulated Transactions for Digital Currencies
Karl Wüst, Kari Kostiainen, Vedran Capkun, and Srdjan Capkun
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
xJsnark: A Framework for Efficient Verifiable Computation
Ahmed Kosba, Charalampos Papamanthou, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
An Empirical Analysis of Traceability in the Monero Blockchain
Malte Möser, Kyle Soska, Ethan Heilman, Kevin Lee, Henry Heffan, Shashvat Srivastava, Kyle Hogan, Jason Hennessey, Andrew Miller, Arvind Narayanan, and Nicolas Christin
Support Grand Challenges:
Correctness by Design and Construction
Do not Mine, Wait in Line: Fair and Efficient Blockchain Consensus with Robust Round Robin
Mansoor Ahmed-Rengers and Kari Kostiainen
Support Grand Challenges:
Correctness by Design and Construction
Safety and Compliance
Ekiden
Raymond Cheng, Fan Zhang, Jernej Kos, Warren He, Nicholas Hynes, Noah Johnson, Ari Juels, Andrew Miller, and Dawn Song
Support Grand Challenges:
Confidentiality
Central Banking in a Digital Age: Stock-Taking and Preliminary Thoughts
Eswar Prasad
Support Grand Challenges:
Secure Scaling and Performance
Safety and Compliance
Decentralization in Bitcoin and Ethereum Networks
Adem Efe Gencer, Soumya Basu, Ittay Eyal, Robbert van Renesse, and Emin Gün Sirer
Support Grand Challenges:
Secure Scaling and Performance
Towards Attribute-Based Encryption for RAMs from LWE: Sub-linear Decryption, and More
Prabhanjan Ananth, Xiong Fan, and Elaine Shi
Support Grand Challenges:
Correctness by Design and Construction
HotStuff: BFT Consensus in the Lens of Blockchain
Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan Gueta, and Ittai Abraham
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance
Sarah Azouvi, Mary Maller, and Sarah Meiklejohn
Support Grand Challenges:
Correctness by Design and Construction
Smart Contracts for Bribing Miners
Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn
Support Grand Challenges:
Safety and Compliance
Can We Overcome the nlogn Barrier for Oblivious Sorting?
Wei-Kai Lin, Elaine Shi, and Tiancheng Xie
Support Grand Challenges:
Safety and Compliance
CALYPSO: Private Data Management for Decentralized Ledgers
Eleftherios Kokoris-Kogias, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic, Ewa Syta, and Bryan Ford
Support Grand Challenges:
Confidentiality
Authenticated Data Feeds
Coconut: Threshold Issuance Selective Disclosure Credentials with Applications to Distributed Ledgers
Alberto Sonnino, Mustafa Al-Bassam, Shehar Bano, Sarah Meiklejohn, and George Danezis
Support Grand Challenges:
Confidentiality
Authenticated Data Feeds
DelegaTEE: Brokered Delegation Using Trusted Execution Environments
Sinisa Matetic, Moritz Schneider, Andrew Miller, Ari Juels, and Srdjan Capkun
Support Grand Challenges:
Confidentiality
Paralysis Proofs
Fan Zhang, Philip Daian, Gabriel Kaptchuk, Iddo Bentov, Ian Miers, and Ari Juels
Support Grand Challenges:
Confidentiality
Implementation of a robust and scalable consensus protocol for blockchain
Rafael Dunant, Bryan Ford, Linus Gasser, and Lefteris Kokoris-Kogias
Support Grand Challenges:
Secure Scaling and Performance
An Analysis of Acceptance Policies For Blockchain Transactions
Seb Neumayer, Mayank Varia, and Ittay Eyal
Support Grand Challenges:
Secure Scaling and Performance
Enabling Strong Database Integrity using Trusted Execution Environments
Kai Mast, Lequn Chen, and Emin Gün Sirer
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
Authenticated Data Structures for Privacy-Preserving Monero Light Clients
Kevin Lee and Andrew Miller
Support Grand Challenges:
Authenticated Data Feeds
Safety and Compliance
Tesseract
Iddo Bentov, Yan Ji, Fan Zhang, Yunqi Li, Xueyuan Zhao, Lorenz Breidenbach, Philip Daian, and Ari Juels
Support Grand Challenges:
Confidentiality
The Hydra Project
Lorenz Breidenbach, Philip Daian, Florian Tramèr, and Ari Juels
Support Grand Challenges:
Correctness by Design and Construction
SoK: Consensus in the Age of Blockchains
Shehar Bano, Alberto Sonnino, Mustafa Al-Bassam, Sarah Azouvi, Patrick McCorry, Sarah Meiklejohn, and George Danezis
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
PriFi: Low-Latency Anonymity for Organizational Networks
Ludovic Barman, Italo Dacosta, Mahdi Zamani, Ennan Zhai, Apostolos Pyrgelis, Bryan Ford, Joan Feigenbaum, and Jean-Pierre Hubaux
Support Grand Challenges:
Confidentiality
Foundations of Differentially Oblivious Algorithms
T-H. Hubert Chan, Kai-Min Chung, Bruce Maggs, and Elaine Shi
Support Grand Challenges:
Confidentiality
Blockchain Technology: Transforming Libertarian Cryptocurrency Dreams to Finance and Banking Realities
Ittay Eyal
Support Grand Challenges:
Secure Scaling and Performance
Thunderella: Blockchains with Optimistic Instant Confirmation
Rafael Pass and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
Mobius: Trustless Tumbling for Transaction Privacy
Sarah Meiklejohn and Rebekah Mercer
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds
Kirill Nikitin, Eleftherios Kokoris-Kogias, Philipp Jovanovic, Nicolas Gailly, Linus Gasser, Ismail Khoffi, Justin Cappos, and Bryan Ford
Support Grand Challenges:
Correctness by Design and Construction
Locality-Preserving Oblivious RAM
Gilad Asharov, T-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Correctness by Design and Construction
TLS-N: Non-repudiation over TLS Enabling Ubiquitous Content Signing
Hubert Ritzdorf, Karl Wüst, Arthur Gervais, Guillaume Felley, and Srdjan Capkun
Support Grand Challenges:
Secure Scaling and Performance
OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding
Eleftherios Kokoris-Kogias, Philipp Jovanovic, Linus Gasser, Nicolas Gailly, Ewa Syta, and Bryan Ford
Support Grand Challenges:
Secure Scaling and Performance
Do you need a Blockchain?
Karl Wüst and Arthur Gervais
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Proof-of-Personhood: Redemocratizing Permissionless Cryptocurrencies
Maria Borge, Eleftherios Kokoris-Kogias, Philipp Jovanovic, Linus Gasser, Nicolas Gailly, and Bryan Ford
Support Grand Challenges:
Safety and Compliance
Socially Optimal Mining Pools
Ben A. Fisch, Rafael Pass, and Abhi Shelat
Support Grand Challenges:
Secure Scaling and Performance
REM: Resource-Efficient Mining for Blockchains
Fan Zhang, Ittay Eyal, Robert Escriva, Ari Juels, and Robbert van Renesse
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Safety and Compliance
Sprites and State Channels
Andrew Miller, Iddo Bentov, Ranjit Kumaresan, Christopher Cordi, and Patrick McCorry
Support Grand Challenges:
Safety and Compliance
Secure Scaling and Performance
Miniature World: A Test Bed for Simulating Real World Blockchain
Adem Efe Gencer, Ittay Eyal, Emin Gün Sirer, and Robbert van Renesse
Support Grand Challenges:
Secure Scaling and Performance
ROTE: Rollback Protection for Trusted Execution
Sinisa Matetic, Mansoor Ahmed, Kari Kostiainen, Aritra Dhar, David Sommer, Arthur Gervais, Ari Juels, and Srdjan Capkun
Support Grand Challenges:
Correctness by Design and Construction
Sound Migration
Oblivious Network RAM and Leveraging Parallelism to Achieve Obliviousness
Dana Dachman-Soled, Chang Liu, Charalampos Papamanthou, Elaine Shi, and Uzi Vishkin
Support Grand Challenges:
Secure Scaling and Performance
Sound Migration
Town Crier: Authenticated Data Feeds for Smart Contracts
Fan Zhang, Ethan Cecchetti, Kyle Croman, Ari Juels, and Elaine Shi
Support Grand Challenges:
Confidentiality
Authenticated Data Feeds
Sound Migration
Gyges: Crime in Decentralized Smart Contracts
Ari Juels, Ahmed Kosba, and Elaine Shi
Support Grand Challenges:
Safety and Compliance
Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake
Phil Daian, Rafael Pass, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
ByzCoin: Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing
Eleftherios Kokoris Kogias, Philipp Jovanovic, Nicolas Gailly, Ismail Khoffi, Linus Gasser, and Bryan Ford
Support Grand Challenges:
Secure Scaling and Performance
Hawk: Privacy-Preserving Blockchain & Smart Contracts
Ahmed Kosba, Andrew Miller, Elaine Shi, Zikai Wen, and Charalampos Papamanthou
Support Grand Challenges:
Correctness by Design and Construction
Confidentiality
Solidus: Confidential Financial Transaction Settlement on a Distributed Ledgers
Ethan Cecchetti, Fan Zhang, Yan Ji, Ahmed Kosba, Ari Juels, and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
Confidentiality
Fruitchain: A new Approach for Incentive Compatible Blockchains
Rafael Pass and Elaine Shi
Support Grand Challenges:
Secure Scaling and Performance
FLAC: A Calculus for Flow-Limited Authorization
Owen Arden and Andrew C. Myers
Support Grand Challenges:
Correctness by Design and Construction
HoneyBadgerBFT: The Honey Badger of BFT Protocols
Andrew Miller, Yu Xia, Kyle Croman, Elaine Shi, and Dawn Song
Support Grand Challenges:
Secure Scaling and Performance
Bitcoin-NG: A Next-generation Blockchain Protocol
Ittay Eyal, Adem Efe Gencer, Emin Gün Sirer, and Robbert van Renesse
Support Grand Challenges:
Secure Scaling and Performance