報(bào)告題目：代數(shù)和非代數(shù)語句的有效零知識(shí)證明

報(bào)告時(shí)間：2023年10月21日下午15：00-16：00

報(bào)告地點(diǎn)：kaiyun開云官方網(wǎng)站犀浦校區(qū)7教7510

報(bào)告人：唐春明

摘要：零知識(shí)證明是一種重要的密碼學(xué)工具，在多個(gè)方向得到重要的應(yīng)用。零知識(shí)證明領(lǐng)域的一個(gè)重要結(jié)論是，任意的NP問題都存在零知識(shí)證明系統(tǒng)。在本報(bào)告中，我們主要對代數(shù)命題和非代數(shù)命題的零知識(shí)證明系統(tǒng)進(jìn)行介紹。對于代數(shù)命題，可以使用Sigma協(xié)議或Sigma協(xié)議的組合，實(shí)現(xiàn)零知識(shí)證明系統(tǒng)，比如證明離散對數(shù)等。而對于非代數(shù)命題，比如證明x是y的明文（其中y=E(x,k)），將使用混淆電路（garbled circuit）來構(gòu)造。零知識(shí)證明的實(shí)現(xiàn)，特別是非代數(shù)命題的零知識(shí)證明的實(shí)現(xiàn)，對于零知識(shí)證明的應(yīng)用和推廣將起到積極的作用。

報(bào)告人簡介： 唐春明，教授，博士生導(dǎo)師，廣州大學(xué)研究生院常務(wù)副院長、廣東省信息安全技術(shù)重點(diǎn)實(shí)驗(yàn)室主任，國家一流本科專業(yè)（信息安全）建設(shè)點(diǎn)負(fù)責(zé)人、省教育廳科研創(chuàng)新團(tuán)隊(duì)帶頭人，廣州市高層次人才優(yōu)秀專家、廣州市優(yōu)秀教師。目前是教育部高等學(xué)校數(shù)學(xué)類專業(yè)教學(xué)指導(dǎo)委員會(huì)委員、中國密碼學(xué)會(huì)組織工作委員會(huì)副主任、中國密碼學(xué)會(huì)密碼應(yīng)用工作委員會(huì)副主任、廣東省工業(yè)與應(yīng)用數(shù)學(xué)學(xué)會(huì)副理事長、廣東省數(shù)學(xué)會(huì)常務(wù)理事兼副秘書長、廣東省重點(diǎn)領(lǐng)域密碼應(yīng)用推進(jìn)工作組專家。主要研究領(lǐng)域?yàn)槊艽a學(xué)及其應(yīng)用，先后主持科技部重點(diǎn)研發(fā)計(jì)劃項(xiàng)目課題和子課題項(xiàng)目各1項(xiàng)、國家自然科學(xué)基金項(xiàng)目8項(xiàng)、省部級重大項(xiàng)目30余項(xiàng)，近年來出版專著（包括譯著）和教材5本，發(fā)表論文120多篇（SCI檢索70余篇），擁有發(fā)明專利5項(xiàng)、軟件著作權(quán)3項(xiàng)，獲得國家級教學(xué)成果二等獎(jiǎng)1項(xiàng)。

窗體底端