Topic: A Tutorial on Zero-Knowledge Proofs
Speaker: Prof. Chen-Mou Cheng, Chang Gung University Graduate Institute of Artificial Intelligence
Time: 2023.2.15 (Wed) 14:00-16:00
Venue: CGU Artificial Intelligence Research Center (Management Building 11F)
Join online: https://shorturl.at/hPSY6

Talk Abstract:
Zero-knowledge proof techniques such as zk-SNARK allow a prover to convince a verifier that a computation has been correctly carried out without completely revealing every input to it. That is, given f, y, and z, a prover can, without revealing x, prove to a verifier that there is an x such that f(x,y)=z. Such techniques can enable applications like verifiable computation and privacy-preserving transactions on public blockchains, thus receiving considerable attention from both academia and industry in recent years. In this talk, I will give a tutorial on the basic ideas of zero-knowledge proof techniques, as well as outline some seemingly interesting research directions.

About the Speaker:
【Education】
PhD in CS, Harvard University, USA
MS in EE, National Taiwan University
BS in EE, National Taiwan University

【Research Area】
Cryptology, functional programming, blockchain technology

【Experience】
Chief Cryptographer, BTQ AG, Liechtenstein
Associate Professor, Kanazawa University, Japan
Visiting Fellow, ATR, Japan
Specially-appointed Associate Professor, Osaka University, Japan
Visiting Fellow, Kyushu University, Japan
Visiting Fellow, TU Darmstadt, Germany
Jointly-appointed Assistant/Associate Research Fellow, Academia Sinica
Assistant/Associate Professor, National Taiwan University

Organizer:College of Intelligent Computing