The major theme of my research is veriﬁability in information systems, with a special attention on “blockchains” like Bitcoin and Ethereum. These systems have revolutionized trust, transparency, and privacy for applications in ﬁnance and beyond. As of January 2021, they collectively control assets worth over one trillion dollars. See my Introduction to Blockchain video series.
Verifiability topics I work on include veriﬁable computation (how to eﬃciently verify that an untrusted service delivers the correct result of a computation), veriﬁable storage (how to verify an untrusted remote server is storing data properly), and veriﬁable fairness (how to verify that a public lottery selects a winner randomly without bias).
I also work on the intersection of privacy and verifiability. The seemingly contradictory concept of an information system that is simultaneously private and publicly veriﬁable, enabled by zero-knowledge proofs, is a wonder of computer science. It has far-reaching applications, particularly within the realm of digital ﬁnance, where privacy is strongly needed but lack of transparency facilitates mismanagement and fraud.
My research draws from techniques in multiple areas of computer science, including cryptography, distributed systems, hardware architecture, and economics. Beyond topics in verifiability and zero-knowledge, my research has also spanned topics including secure computation, private database search (see Blind Seer), economics in cryptocurrencies (see Mining Pools) and applications of hardware trusted execution environments such as Intel SGX (see Iron).
Technology transfer is very important to me. My research on Verifiable Delay Functions (VDFs) sparked a multimillion dollar industry initiative (see VDF Alliance) and will play an important role in several blockchains including Ethereum 2.0, Chia, and Filecoin. My research on Proofs of Replication is the basis of Filecoin's incentive layer and consensus protocol. Filecoin is a live distributed storage system that already has reached a storage capacity exceeding 1.5 exabytes.