10月22日，2021云棲大會-螞蟻鏈“區(qū)塊鏈+”可信鏈接技術發(fā)展與實踐分論壇在杭州舉行。北京大學研究員、博士生導師肖臻以《區(qū)塊鏈+隱私計算融合技術趨勢》為題進行分享。在演講中，他指出，隱私計算的目標是數(shù)據(jù)所有權和數(shù)據(jù)使用權的分離，前景十分宏偉。但現(xiàn)在，隱私計算的發(fā)展仍處于早起階段，并沒有實現(xiàn)通用。其涵蓋了聯(lián)邦學習、安全多方計算、同態(tài)加密、零知識證明、TEE可信執(zhí)行環(huán)境等技術。

肖臻表示，當前隱私計算方案普遍計算效率較低，零知識證明驗證效率低，同態(tài)加密消耗資源多，查分隱私降低模型精度。而TEE的新人員與硬件廠商高度綁定，影響可信度，同時存在側信道攻擊的可能性，存在安全隱患。

肖臻介紹，區(qū)塊鏈領域中應用最多的零知識證明是zk-SNARK技術。Zcash是zk-SNARK的第一個廣泛應用。Filecoin利用zk-SNARK完成了復制證明和時空證明，成為迄今為止部署最大的zk-SNAR網(wǎng)絡。zk-SNARK是利用這個協(xié)議保護鏈上的交易具體信息。簡單來講，就是誰給誰轉賬轉多少錢，在zk里面是加密的，你是不知道的。

肖臻提到了Filecoin，它是zk-SNARK協(xié)議的一個最大規(guī)模的應用。Filecoin網(wǎng)絡每天要產(chǎn)生幾百萬個零知識證明。他的理念是，我?guī)湍愦鏂|西，就可以獲得出塊獎勵。他需要進行兩個證明，第一個是復制證明PoRep，就是我存你的東西；第二個是時空證明，就是我向你證明繼續(xù)存儲了當初承諾的數(shù)據(jù)。如果未能及時提供施工證明，抵押的代幣可能會被罰沒。

零知識證明在密碼學中非常有用。它指的是證明者能夠在不向驗證者提供任何有用的信息的情況下，使驗證者相信某個論斷是正確的。零知識證明實質上是一種涉及兩方或更多方的協(xié)議，即兩方或更多方完成一項任務所需采取的一系列步驟。證明者向驗證者證明并使其相信自己知道或擁有某一消息，但證明過程不能向驗證者泄漏任何關于被證明消息的信息。零知識證明在密碼學中具有廣泛應用。 來源：百度 作者：深圳市漢唐云

熱點：區(qū)塊鏈