題目：零知識(shí)證明系統(tǒng)簡(jiǎn)要介紹

主講人: 付仕輝  副研究員

時(shí)間：4月27日9:00

地點(diǎn)：文理大樓723室

報(bào)告摘要：

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

個(gè)人簡(jiǎn)介：

付仕輝，山東大學(xué)副研究員。2018 年博士畢業(yè)于中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院，2019 年至 2024 年先后于加拿大滑鐵盧大學(xué)和荷蘭代爾夫特理工大學(xué)從事博士后研究工作。主要研究方向?yàn)榱阒R(shí)協(xié)議和密碼函數(shù)，在國際主流密碼與安全學(xué)術(shù)會(huì)議和期刊發(fā)表科研論文20余篇，合作編寫教材1部。曾擔(dān)任 ACM CF’23、ACM CF’24 以及 Inscrypt 2023 等多個(gè)學(xué)術(shù)會(huì)議的 PC Member。