His research spans the areas of complexity theory, cryptography and security, and focuses on the theoretical foundations and practical implementations of cryptographic proof systems such as, zero knowledge proofs. He is co-inventor of Zerocash and co-founder of Zcash. He is an author of libsnark, the leading open-source library for succinct zero knowledge proofs. He received a Ph.D. in computer science from MIT in 2014, and B.S. degrees in computer science and in mathematics from MIT in 2009.