Seminars
View all Seminars | Download ICal for this eventEfficient zero-knowledge proofs based on vector-oblivious linear evaluation
Series: IISc-CRYPTO Seminars
Speaker: Xiao Wang Assistant Professor Computer Science Northwestern University.
Date/Time: Nov 18 10:00:00
Location: Microsoft Teams - ON-LINE
Abstract:
Zero-knowledge (ZK) proofs with an optimal memory footprint have attracted a lot of attention because such protocols can easily prove very large computations with a small memory requirement. In this talk, the speaker will talk about some recent progress on concretely efficient ZK protocols based on VOLE and their applications in this setting. These protocols are very cheap computationally and can prove large statements like ResNet inference or large RAM-based computation with ease; on the other hand, it is designated-verifier, and the proof size is often linear to the circuit size. Finally, the speaker will talk about more recent advances that lead to sublinear communication VOLE zero-knowledge proof protocols.
Speaker Bio:
Xiao Wang is an Assistant Professor of Computer Science at Northwestern University. He was a post-doc with Vinod Vaikuntanathan at MIT and Ran Canetti at BU. He obtained his Ph.D. at the University of Maryland with Jonathan Katz. His research interests focus on applied cryptography, specifically designing efficient privacy-preserving systems based on secure multi-party computation. He received a Best Paper Award in Applied Cyber Security at CSAW 2015, an iDASH Competition Award in 2015, a Human Longevity Inc. Award for MPC in 2016, an ACM CCS Best Paper Award in 2017, and an ACM CCS Best Paper Award runner-up in 2021.
Microsoft teams link:
https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZmYxMjQxM2ItOGM0NS00MTEwLTkyYTEtNGFkNjYxNGU2NTVh%40thread.v2/0?context=%7b%22Tid%22%3a%226f15cd97-f6a7-41e3-b2c5-ad4193976476%22%2c%22Oid%22%3a%22f8aaf4da-ac16-401f-a953-eeb416835728%22%7d
Host Faculty: Prof. Arpita Patra