This lecture is in Fall 2023 presented by Yifan Song.

Thanks to 廖子豪 for discussing with me.

Zero-Knowledge Proofs under Composition and Sequential Composition Lemma

Commitment Scheme and Zero-Knowledge Proofs for General NP Statements

Zero-Knowledge Proofs and General NP Statements (Continued), Negative Results, and Proof of Knowledge

Sequential Composition for Proof of Knowledge and Sigma Protocol

Sigma Protocol (Continued)

Witness Hiding, Witness Indistinguishable, Witness Independent

Definition of Secure Multiparty Computation

Secret Sharing and BGW Protocol

Oblivious Transfer and GMW Protocol

Yao’s Garbled Circuit and GMW Compiler

SPDZ Protocol and BMR Protocol

An Introduction to MPC in the Head