Abstract

We present two efficient zero knowledge proofs protocols with optimal prover computation, Libra and Virgo. Libra has linear prover time, logarithmic verification time and proof size. It needs a universal trusted setup. Virgo removes the trusted setup of Libra and remains roughly the same complexity by a new transparent zero knowledge verifiable polynomial delegation scheme.

In addition, we initiate the study of zero knowledge machine learning and propose protocols for zero knowledge decision tree predictions and accuracy tests (ZKDT). The protocols allow the owner of a decision tree model to convince others that the model computes a prediction on a data sample, or achieves a certain accuracy on a public dataset, without leaking any information about the model itself.

Time

11月10日  10:00--11:00

Speaker

Jiaheng Zhang is a third-year Ph.D. student in Computer Science at UC Berkeley, where he is very fortunate to be advised by Prof. Dawn Song. He also works closely with Prof. Yupeng Zhang. And he is a member of RISE Lab, Initiative for Cryptocurrencies & Contracts Lab(IC3) and Berkeley AI Research(BAIR).

His research interests lie in computer security and cryptography, especially zero-knowledge proofs and their applications on blockchains and machine learning models. Prior to coming to Berkeley, he received his Bachelor's degree in ACM Honors Class of Shanghai Jiao Tong University, where he worked under the supervision of Prof. Xiaotie Deng. During his undergraduate, he was also a research intern at Cornell, advised by Prof. Elaine Shi.

Venue

betvictot官网602室

betvictot官网第三教学楼

上海市杨浦区武东路100号