4月19日上午,，應(yīng)數(shù)學(xué)與統(tǒng)計學(xué)院邀請，陜西師范大學(xué)楊波教授在數(shù)學(xué)南樓103室為學(xué)院教師作題為 “零知識證明協(xié)議ZK-SNARK” 的學(xué)術(shù)報告,，學(xué)院相關(guān)教師和學(xué)生參加了此次報告,。此次報告由董樂副教授主持。

楊波教授主要介紹了如何利用完備性,、零知識性等證明協(xié)議ZK-SNARK,，將高級語言轉(zhuǎn)化為低級語言，再轉(zhuǎn)化為電路,，再進(jìn)行電路算術(shù),。最后還介紹了協(xié)議ZK-SNARK在區(qū)塊鏈、外包計算,、匿名認(rèn)證等方面的應(yīng)用,。最后分析了協(xié)議ZK-SNARK的局限性。

報告結(jié)束后,，楊波教授就與會教師提出的相關(guān)問題進(jìn)行了詳細(xì)的解答,，并展開了深入的討論與交流，現(xiàn)場氣氛熱烈,，學(xué)院師生表示受益匪淺,。

專家簡介：

  楊波，陜西師范大學(xué)計算機(jī)科學(xué)學(xué)院二級教授,、博士生導(dǎo)師,，陜西省百人計劃特聘教授，中國密碼學(xué)會理事,，中國密碼學(xué)會密碼算法專業(yè)委員會委員,，中國密碼學(xué)會學(xué)術(shù)工作委員會委員，《密碼學(xué)報》編委,，海南師范大學(xué)客座教授,，黑龍江大學(xué)兼職教授，廣西數(shù)字密碼研究院院長,，格爾軟件股份有限公司首席密碼專家,。已主持國家重點研發(fā)項目2項,、國家自然科學(xué)基金10項、“863”計劃1項,、國家密碼發(fā)展基金2項等項目20余項,。發(fā)表學(xué)術(shù)論文300余篇，出版學(xué)術(shù)著作及教材6部,。

（數(shù)學(xué)與統(tǒng)計學(xué)院 杜蛟）