• 讲座信息

06.13 | Efficient Zero-Knowledge Proofs: Theory and Practice.

2023.06.06

演讲者张嘉恒
头衔职位博士
时间2023年6月13日(周二)下午15:00
地点邯郸路539号,新金博大厦707会议室
联系人赵运磊,ylzhao@fudan.edu.cn

演讲简介

  In this talk, we discuss a cryptographic tool named zero-knowledge proof from both theory and application perspectives. In theory,  we present Libra, the first zero-knowledge protocol with optimal prover time, fast verifier time, and succinct proof size. Libra also has excellent concrete efficiency in practice. In application, we present the first solution for building trustless and permissionless cross-chain bridges in blockchains using zero-knowledge proof. In addition, we discuss how to apply zero-knowledge proof to machine learning and make the protocol practical to guarantee the integrity of machine learning models by the example of the decision tree model. These applied ZKP protocols have rigorous security guarantees along with practical efficiency.

关于讲者

  张嘉恒博士,2018年本科毕业于上海交通大学ACM班,导师是邓小铁教授。2023年博士毕业于加州大学伯克利(UC Berkeley),师从Dawn Song教授和张宇鹏教授。目前在卡耐基梅隆大学(CMU)和Elaine Shi教授做短期博后,下学期入职新加坡国立大学(NUS)计算机系担任助理教授,博士生导师。他的主要研究方向涵盖计算机安全与隐私,应用密码学,区块链技术,和机器学习安全,其研究内容既包括理论算法层面的创新,又包括实际中的应用,并有真实的产品落地。他博士期间以核心作者在顶级会议CRYPTO,S&P (Oakland), CCS,USENIX Security上发表多篇论文。博士期间就担任安全旗舰会议CCS和区块链技术旗舰会议CESC的程序委员会成员。他的研究成果受到了学界和业界的广泛认可,2021年获得Facebook全球博士奖学金(26/2163),录取率仅为1.2%,安全隐私方向全球仅有两人,同年入选JPMorgan博士奖学金Finalist和入选CSCW全球大赛Finalist。他的研究成果也被Facebook Research,Hacking Distributed,Medium等媒体报导。此外,他的区块链跨链桥工作zkBridge已经被应用于多个公司的实际产品,最高融资超2500万美金估值达3亿美金。他和美国顶尖大学(Stanford,UC Berkeley,CMU,MIT,UIUC,Cornell,Yale)和工业界均保持紧密合作。