IC Colloquium: Succinct Proofs: from Foundations to Real-World Applications
Event details
| Date | 11.03.2021 |
| Hour | 09:15 › 10:15 |
| Location | Online |
| Category | Conferences - Seminars |
By: Alessandro Chiesa - UC Berkeley
Abstract
Seminal results in the 1990s led to the construction of cryptographic proofs that enable checking computations exponentially faster than they can be run. Unfortunately these results were limited to "just theory" due to their enormous concrete costs. In this talk I will discuss our research efforts that over the past decade have contributed new foundations and efficient realizations for these "succinct proofs". This led to real-world applications involving millions of succinct proofs per day, and the first deployments of central notions in computer science such as zero knowledge proofs and probabilistic proofs.
Bio
Alessandro Chiesa is a faculty member in computer science at UC Berkeley. He conducts research in cryptography, complexity theory, and security, with a focus on cryptographic proofs that are short and easy to verify. He is a co-author of several zkSNARK libraries, and is a co-inventor of the Zerocash protocol. He has co-founded Zcash and StarkWare Industries. He received S.B. degrees in Computer Science and in Mathematics, and a Ph.D. in Computer Science, from MIT. He is a recipient of a Sloan Research Fellowship (2021), an Okawa Foundation Research Grant (2020), and Google Faculty Research Awards (2018 and 2017). He was also selected for MIT Technology Review's "35 Innovators Under 35" list in 2018.
More information
Abstract
Seminal results in the 1990s led to the construction of cryptographic proofs that enable checking computations exponentially faster than they can be run. Unfortunately these results were limited to "just theory" due to their enormous concrete costs. In this talk I will discuss our research efforts that over the past decade have contributed new foundations and efficient realizations for these "succinct proofs". This led to real-world applications involving millions of succinct proofs per day, and the first deployments of central notions in computer science such as zero knowledge proofs and probabilistic proofs.
Bio
Alessandro Chiesa is a faculty member in computer science at UC Berkeley. He conducts research in cryptography, complexity theory, and security, with a focus on cryptographic proofs that are short and easy to verify. He is a co-author of several zkSNARK libraries, and is a co-inventor of the Zerocash protocol. He has co-founded Zcash and StarkWare Industries. He received S.B. degrees in Computer Science and in Mathematics, and a Ph.D. in Computer Science, from MIT. He is a recipient of a Sloan Research Fellowship (2021), an Okawa Foundation Research Grant (2020), and Google Faculty Research Awards (2018 and 2017). He was also selected for MIT Technology Review's "35 Innovators Under 35" list in 2018.
More information
Practical information
- General public
- Free
- This event is internal
Contact
- George Candea