講座主題：基于可信零知識(shí)證明的智能合約數(shù)據(jù)供給保護(hù)機(jī)制
專家姓名：萬(wàn)志國(guó)
工作單位：之江實(shí)驗(yàn)室
講座時(shí)間：2022年11月4日 10:00-11:00
講座地點(diǎn)：騰訊會(huì)議：369-128-889
主辦單位：煙臺(tái)大學(xué)計(jì)算機(jī)與控制工程學(xué)院
內(nèi)容摘要：
區(qū)塊鏈技術(shù)結(jié)合智能合約范式，有望改變傳統(tǒng)去中心化的應(yīng)用程序。當(dāng)區(qū)塊鏈技術(shù)對(duì)傳統(tǒng)應(yīng)用程序去中心化時(shí)，區(qū)塊鏈驗(yàn)證者可能需要接受敏感的鏈下數(shù)據(jù)以執(zhí)行智能合約。一方面，去中心化應(yīng)用程序(DApps) 需要真實(shí)的鏈下輸入數(shù)據(jù)才能正確執(zhí)行給定的業(yè)務(wù)程序。另一方面，用戶不愿意在網(wǎng)絡(luò)上暴露他們的敏感隱私區(qū)塊鏈。例如，對(duì)于去中心化的醫(yī)療保險(xiǎn)將個(gè)人健康數(shù)據(jù)作為輸入的 DApp，對(duì)于保證發(fā)送到智能設(shè)備的數(shù)據(jù)的真實(shí)性和隱私性合約，這樣數(shù)據(jù)就可以被驗(yàn)證者驗(yàn)證，而無(wú)需泄露敏感信息。然而，目前尚沒(méi)有令人滿意的解決方案。在這項(xiàng)工作中，我們首先提出了一個(gè)高效的帶有數(shù)據(jù)認(rèn)證的零知識(shí)證明協(xié)議zk-DASNARK。基于 zk-DASNARK，我們?cè)O(shè)計(jì)了zk-AuthFeed，一個(gè)零知識(shí)認(rèn)證的鏈下數(shù)據(jù)供給方案，同時(shí)實(shí)現(xiàn)數(shù)據(jù)的隱私和真實(shí)性。采用“鏈下計(jì)算，鏈上驗(yàn)證”的策略，zk-AuthFeed可以顯著降低區(qū)塊鏈的計(jì)算成本。我們完全實(shí)現(xiàn)了 zk-AuthFeed 的原型，并針對(duì)醫(yī)療保險(xiǎn)去中心化應(yīng)用進(jìn)行了實(shí)驗(yàn)。我們考慮了 4 種典型的保險(xiǎn)保費(fèi)/報(bào)銷的定價(jià)計(jì)算方式，實(shí)驗(yàn)表明zk-AuthFeed具有十分高效的性能。
主講人介紹：
萬(wàn)志國(guó)，之江實(shí)驗(yàn)室研究員，IEEE、ACM會(huì)員及中國(guó)計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員，中國(guó)計(jì)算機(jī)學(xué)會(huì)區(qū)塊鏈專委首任委員，主要研究方向?yàn)榭尚庞?jì)算與隱私計(jì)算、區(qū)塊鏈、云計(jì)算、大數(shù)據(jù)、物聯(lián)網(wǎng)安全和隱私保護(hù)。清華大學(xué)學(xué)士、新加坡國(guó)立大學(xué)計(jì)算機(jī)學(xué)院博士、比利時(shí)魯汶大學(xué)博士后，曾任職清華大學(xué)軟件學(xué)院、山東大學(xué)計(jì)算機(jī)學(xué)院。作為項(xiàng)目負(fù)責(zé)人承擔(dān)國(guó)家自然科學(xué)基金項(xiàng)目三項(xiàng)，以及山東省自然科學(xué)基金重大基礎(chǔ)研究項(xiàng)目、面上項(xiàng)目、教育部留學(xué)回國(guó)人員基金項(xiàng)目等多項(xiàng)項(xiàng)目；作為項(xiàng)目骨干參與國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目，科技部重點(diǎn)研發(fā)計(jì)劃項(xiàng)目。已發(fā)表學(xué)術(shù)文章50多篇，包括INFOCOM，IEEE TDSC, IEEE TIFS等頂級(jí)國(guó)際會(huì)議和國(guó)際期刊，申請(qǐng)專利9項(xiàng)，授權(quán)發(fā)明專利4項(xiàng)。Google Scholar引用次數(shù)達(dá)3000余次，單篇引用次數(shù)達(dá)600+次。
