The center's research mission is focused on technical aspects of cryptocurrencies and blockchains. We work on research topics that support the thriving ecosystem of projects.
Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs
Alex Ozdemir, Evan Laufer, Dan Boneh
eprint 2024/979.
zkPi: Proving Lean Theorems in Zero-Knowledge
Evan Laufer, Alex Ozdemir, Dan Boneh
Proc. of ACM CCS 2024.
Split Gröbner Bases for Satisfiability Modulo Finite Fields
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark Barrett, Işil Dillig
Proc. of Computer Aided Verification (CAV) 2024.
Accountability in Threshold Decryption via Threshold Traitor Tracing
Dan Boneh, Aditi Partap, Lior Rotem
Proc. of Crypto 2024.
Traceable Secret Sharing: Strong Security and Efficient Constructions
Dan Boneh, Aditi Partap, Lior Rotem
Proc. of Crypto 2024.
Mangrove: A Scalable Framework for Folding-based SNARKs
Wilson Nguyen, Trisha Datta, Binyi Chen, Nirvan Tyagi, and Dan Boneh
Proc. of Crypto 2024.
VerITAS: Verifying Image Transformations at Scale
Trisha Dattai, Binyi Cheni, Dan Boneh
Cryptology ePrint Archive, 2024/1066
Scalable Bit-Blasting with Abstractions
Aina Niemetz, Mathias Preiner, Yoni Zohar
Proc. of Computer Aided Verification (CAV) 2024
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates
Binyi Chen, Benedikt Bünz, Dan Boneh, Zhenfei Zhang
Proc. of Eurocrypt 2023
Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities
Ertem Nusret Tas, David Tse, Fangyu Gai, Sreeram Kannan, Mohammad Ali Maddah-Ali, Fisher Yu
Proc. of IEEE Security and Privacy 2023
Post-Quantum Single Secret Leader Election (SSLE) from Publicly Re-Randomizable Commitments
Dan Boneh, Aditi Partap, Lior Rotem
Proc. of AFT 2023
Cryptoeconomic Security for Data Availability Committees
Ertem Nusret Tas and Dan Boneh
Proc. of Financial Cryptography 2023
Satisfiability Modulo Finite Fields
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark Barrett
Proc. of Computer Aided Verification 2023
Threshold Signatures with Private Accountability
Dan Boneh and Chelsea Komlo
Proc. of Crypto 2022
Information Dispersal with Provable Retrievability for Rollups
Kamilla Nazirkhanova, Joachim Neu, David Tse
Proc. of AFT 2022
Accountable Threshold Signatures with Proactive Refresh
Dan Boneh, Aditi Partap, Lior Rotem
Cryptology ePrint Archive, Report 2022/1656
Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets
Alex Ozdemir and Dan Boneh
Proc. of USENIX Security Symposium 2021
Efficient Functional Commitments: How to Commit to Private Functions
Dan Boneh, Wilson Nguyen, and Alex Ozdemir
Cryptology ePrint Archive, Report 2021/1342
Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme
Dan Boneh, Justin Drake, Ben Fisch, and Ariel Gabizon
Proc. of Crypto 2021
PoSAT: Proof-of-Work Availability and Unpredictability, without the Work
Soubhik Deb, Sreeram Kannan, and David Tse
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma
Joachim Neu, Ertem Nusret Tas, and David Tse
IEEE Symposium on Security and Privacy 2021
The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets
Joachim Neu, Ertem Nusret Tas, and David Tse
arXiv:2105.06075
Everything is a Race and Nakamoto Always Wins
Amir Dembo, Sreeram Kannan, Ertem Nusret Tas, David Tse, Pramod Viswanath, Xuechao Wang, and Ofer Zeitouni
arXiv:2005.10484
Liquidity in Credit Networks with Constrained Agents
Geoffrey Ramseyer, Ashish Goel, and David Mazières
Continuous Credit Networks and Layer 2 Blockchains: Monotonicity and Sampling
Ashish Goel and Geoffrey Ramseyer
Bit-Precise Reasoning via Int-Blasting
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz,Andres, Clark Barrett, and Cesare Tinelli
VMCAI 2022
Scaling Verifiable Computation Using Efficient Set Accumulators
Alex Ozdemir, Riad Wahby, Barry Whitehat, and Dan Boneh
Usenix Security 2020
The Move Prover (for the Libra blockchain language)
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
Computer Aided Verification (CAV) 2020
Sergio Benitez, Jonathan Cogan, and Alejandro Russo
Transparent SNARKs from DARK Compilers
Benedikt Bünz, Ben Fisch, and Alan Szepieniec
Eurocrypt 2020
An airdrop that preserves recipient privacy
Riad Wahby, Dan Boneh, Chris Jeffrey, and Joseph Poon
Financial Cryptography 2020
Zether: Towards Privacy in a Smart Contract World
Benedikt Bünz and Shashank Agrawal and Mahdi Zamani and Dan Boneh
Financial Cryptography 2020
Dan Boneh, Saba Eskandarian, Lucjan Hanzlik, and Nicola Greco
Proc. of AFT 2020
Fast and simple constant-time hashing to the BLS12-381 elliptic curve
Riad Wahby and Dan Boneh
Proc. of CHES 2019
Proofs for Inner Pairing Products and Applications
Benedikt Bünz, Mary Maller, Pratyush Mishra, and Noah Vesely
Proc. of Asiacrypt 2021
Efficient polynomial commitment schemes for multiple points and polynomials
Dan Boneh, Justin Drake, Ben Fisch, and Ariel Gabizon
Cryptology ePrint Archive: Report 2020/081
Empirical Measurements on Pricing Oracles and Decentralized Governance for Stablecoins
Catherine Gu, Anika Raghuvanshi, and Dan Boneh
Proof-of-Stake Longest Chain Protocols Revisited
by X. Wang, G. Kamath, V. Bagaria, S. Kannan, S. Oh, D. Tse, P. Viswanath
Stanford Blockchain Conference 2020
Prism: Scaling Bitcoin by 10,000x
by Lei Yang, Vivek Bagaria, Gerui Wang, Mohammad Alizadeh, David Tse, Giulia Fanti, Pramod Viswanath
Stanford Blockchain Conference 2020
Prism: Deconstructing the Blockchain to Approach Physical Limits
by Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, Pramod Viswanath
Proc. of ACM CCS 2019
Boomerang: Redundancy Improves Latency and Throughput in Payment Networks
by Authors: Vivek Bagaria, Joachim Neu, David Tse
Financial Cryptography 2020
Everything is a Race and Nakamoto Always Wins
by Amir Dembo and Sreeram Kannan and Ertem Nusret Tas and David Tse and Pramod Viswanath and Xuechao Wang and Ofer Zeitouni
Cryptology ePrint Archive: Report 2020/601
Free2Shard : Adaptive-adversary-resistant via Dynamic Self-allocation
by Ranvir Rana, Sreeram Kannan, David Tse, Pramod Viswanath
Prism Removes Consensus Bottleneck for Smart Contracts
by Gerui Wang, Shuo Wang, Vivek Bagaria, David Tse, Pramod Viswanath
Crypto Valley Conference, 2020
DRAT-based Bit-Vector Proofs in CVC4
by Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, and Clark Barrett
Proc. of SAT'2019
Towards Bit-Width-Independent Proofs in SMT Solvers
by Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett, and Cesare Tinelli
Proc. of CADE'2019
Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains
by D. Boneh, B. Bünz, and B. Fisch
Crypto 2019
Compact multi-signatures for small blockchains
by D. Boneh, M. Drijvers, and G. Neven.
Asiacrypt 2018
The Stellar Consensus Protocol (SCP)
by N. Barry, G. Losa, D. Mazières, J. McCaleb, S. Polu
IETF Draft, 2018
Deconstructing the Blockchain to Approach Physical Limits
by V. Bagaria, S. Kannan, D. Tse, G. Fanti, P. Viswanath
Cryptology ePrint Archive, Report 2018/992
Flyclient: Super-Light Clients for Cryptocurrencies
by B. Bünz, L. Kiffer, L. Luu, M. Zamani
IEEE S&P (Oakland) 2020
PoReps: Proofs of Space on Useful Data (with applications to FileCoin)
by B. Fisch
Eurocrypt 2019
Verifiable Delay Functions (with applications to proof of space)
by D. Boneh, J. Bonneau, B. Bünz, and B. Fisch
In proceedings of Crypto 2018
A survery of two verifiable delay functions
by D. Boneh, B. Bünz, and B. Fisch
Cryptology ePrint Archive, Report 2018/712
Payment Systems and the Distributed Ledger Technology
by Laurie Hodrick
in The Structural Foundations of Monetary Policy, 2018, Hoover Institution Press.
Bulletproofs: Short Proofs for Confidential Transactions and More
by B. Bünz, J. Bootle, D. Boneh, A. Poelstra, P. Wuille and G. Maxwel
In proceedings of IEEE Security and Privacy 2018
Weak Compression and (In)security of Rational Proofs of Storage
by Ben Fisch and Shashwat Silas, Manuscript 2018
Proofs-of-delay and randomness beacons in Ethereum
by B. Bünz, S. Goldfeder, J. Bonneau
2017 IEEE S&B Workshop
Incentive Compatibility of Bitcoin Mining Pool Reward Functions
by O. Schrijvers, J. Bonneau, D. Boneh, T. Roughgarden
In proceedings of Financial Cryptography 2016: 477-498
The Stellar consensus protocol
by D. Mazières, manuscript 2015
Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges
by G. Dagher, B. Bünz, J.Bonneau, J.Clark and D. Boneh
In proceedings of ACM CCS 2015
This research is supported in part by the leading projects in the space.