團(tuán)隊(duì)成員：理大電子計(jì)算學(xué)系教授區(qū)文浩教授(右一)、助理教授(研究)陸星曄博士(左一)、劉夢(mèng)玲(左二)、張誠(chéng)儒(右二)。

零知識(shí)密碼學(xué)，也被稱為“零知識(shí)證明(ZKP)”，它允許“證明者”在不泄漏任何信息的情況下使人相信計(jì)算的有效性，因此被稱為“零知識(shí)”。零知識(shí)密碼學(xué)被視為影響Web3(基于區(qū)塊鏈的去中心化在線生態(tài)系統(tǒng))的突破性技術(shù)，因?yàn)樗鼙Ｗo(hù)數(shù)據(jù)隱私，提高效率和區(qū)塊鏈等透明系統(tǒng)的可擴(kuò)展性。

零知識(shí)密碼學(xué)不僅有助于開發(fā)可保障私隱的數(shù)據(jù)共享以及協(xié)作計(jì)算的創(chuàng)新解決方案，對(duì)促進(jìn)信任、推動(dòng)去中心化應(yīng)用的廣泛使用而言也非常重要。該技術(shù)的應(yīng)用將為金融服務(wù)、醫(yī)療保健、供應(yīng)鏈管理等各行各業(yè)帶來(lái)益處——然而，龐大的計(jì)算成本是實(shí)現(xiàn)其大規(guī)模應(yīng)用的主要挑戰(zhàn)。

區(qū)文浩教授介紹：“關(guān)鍵在于生成這些零知識(shí)證明需要進(jìn)行復(fù)雜的計(jì)算，為使零知識(shí)密碼學(xué)得到廣泛應(yīng)用，需要開發(fā)更快速、效率更高的方案?！?/p>

理大團(tuán)隊(duì)提出的創(chuàng)新方案，能在1小時(shí)內(nèi)為一個(gè)達(dá)到228個(gè)邏輯門的電路生成證明，這也是目前成功生成Plonk證明的最大規(guī)模電路。該方案利用6臺(tái)內(nèi)存較小且配備GPU機(jī)器，發(fā)揮GPU的特性以應(yīng)對(duì)證明生成過(guò)程中最耗時(shí)的操作，實(shí)現(xiàn)了在單臺(tái)機(jī)器上將零知識(shí)證明的生成時(shí)間加快了超過(guò)40%。與此同時(shí)，利用新的分布式技術(shù)，團(tuán)隊(duì)將整體證明生成速度提升了近10倍。