題目：零知識證明系統簡要介紹

主講人: 付仕輝  副研究員

時間：4月27日9:00

地點：文理大樓723室

報告摘要：

零知識證明 (Zero-Knowledge Proof, ZKP) 是一種特殊兩方安全計算協議，它允許一個計算能力較強的一方（通常稱為證明者）向另一個計算能力較弱的一方（通常稱為驗證者）證明某個陳述或斷言為真，而無需透露該陳述或斷言為真以外的任何信息。零知識證明的概念最早由Goldwasser、Micali 和 Rackoff 在1985 年提出，它是對經典意義上的數學 “證明” 概念的一個重大擴展。盡管零知識證明的概念可追溯到上世紀 80 年代，但直到最近通用零知識證明才變得相對熱門，并逐漸用于實際的密碼協議設計。當前，零知識證明被廣泛應用于構建公鑰加密方案、數字簽名、投票系統、拍賣系統、電子現金、安全多方計算和可驗證外包計算等領域。本報告主要介紹零知識證明的一些基本概念和典型的應用。

個人簡介：

付仕輝，山東大學副研究員。2018 年博士畢業于中國科學院數學與系統科學研究院，2019 年至 2024 年先后于加拿大滑鐵盧大學和荷蘭代爾夫特理工大學從事博士后研究工作。主要研究方向為零知識協議和密碼函數，在國際主流密碼與安全學術會議和期刊發表科研論文20余篇，合作編寫教材1部。曾擔任 ACM CF’23、ACM CF’24 以及 Inscrypt 2023 等多個學術會議的 PC Member。