誠實性證明POH——可驗證計算的可實現(xiàn)概率解
隨著互聯(lián)網(wǎng),區(qū)塊鏈技術(shù)的快速發(fā)展,產(chǎn)業(yè)鏈繁榮,平臺經(jīng)濟(jì)發(fā)展迅速,相關(guān)大型企業(yè)不斷涌現(xiàn),創(chuàng)業(yè)者頻頻涌入;共享經(jīng)濟(jì)在當(dāng)下的全球市場發(fā)展得也十分火熱,并吸引資本大量進(jìn)入。據(jù)羅蘭貝格數(shù)據(jù)顯示,2015年全球共享經(jīng)濟(jì)總規(guī)模達(dá)1,869億美元,到2018年增長至5,200億美元;2021年預(yù)計突破10000億美元,未來有望將保持持續(xù)高速增長。而在共享經(jīng)濟(jì)發(fā)展多年,計算機資源共享領(lǐng)域因為技術(shù)要求難度大,致使鮮有人問津此領(lǐng)域。Pekka團(tuán)隊抓住市場機遇,經(jīng)多年研究,填補了計算機領(lǐng)域共享算力市場的空白,于2019年發(fā)布Pekka分布式共享算力平臺,旨在實現(xiàn)全球計算資源的共享,來提高全球閑置算力的使用率,通過使用加密貨幣來作為算力支付的手段,以此滿足多方需求。
在Pekka共享算力研發(fā)平臺的過程中,將計算任務(wù)外包給另一方來完成面臨諸多挑戰(zhàn),其中一項就是可驗證計算問題。可驗證計算問題是指Verifiable Computing(簡稱“VC”),指可以將計算任務(wù)外包給第三方算力提供者;(不受信任的)第三方算力提供者需要在完成計算任務(wù)的同時,提交一份關(guān)于計算結(jié)果的正確性證明。一個長期存在的問題是用戶如何在不重新執(zhí)行任務(wù)的前提下有效驗證計算結(jié)果,此問題曾困擾計算機科學(xué)家多年,直到誠實性證明機制POH的出現(xiàn)才讓此問題有了可實現(xiàn)解。
什么是POH?
POH全稱“誠實證明 Proof of Honesty”是Pekka研究團(tuán)隊于2019年3月29日提出,旨在解決可驗證計算問題,來實現(xiàn)分布式算力共享平臺的可信任問題。
在此之前計算機科學(xué)家針對可信任計算問題有兩種解決方案。
1.在多個計算設(shè)備上進(jìn)行重復(fù)的驗證計算。這種解決方案不僅成本高,而且需要假設(shè)計算設(shè)備本身不會由于故障而導(dǎo)致計算結(jié)果的錯誤,顯然此種驗證方法并不經(jīng)常有效。例如,云服務(wù)中所有設(shè)備的硬件和軟件通常都是完全一樣的,假如計算錯誤是由于設(shè)備導(dǎo)致的,重復(fù)計算結(jié)果的一致性無法保證最終的正確性,最終花費了高成本,確無法得到準(zhǔn)確的驗證結(jié)果,造成人力物力的損耗。
2.運行一小組樣本計算,然后審核這些樣本的計算結(jié)果。但是,樣本數(shù)量的不足使此解決方案效果不佳。還有一些其他的解決方案,如可信硬件,但前提是需要有一條完整的硬件信任鏈。
以上種種解決方案顯然并不能有效解決可驗證計算問題。而經(jīng)過Pekka研發(fā)團(tuán)隊多年研究的“誠實證明 Proof of Honesty (POH)”是基于區(qū)塊鏈技術(shù),受到“警察誘捕違法者”的啟發(fā)誕生的。讓租用端用戶充當(dāng)“警察”的角色,同時為算力提供者分配已預(yù)先知道結(jié)果的誘捕任務(wù),通過智能合約驗證任務(wù)結(jié)果,以此檢測并捕獲網(wǎng)絡(luò)中的惡意算力提供者,并對作弊者實行嚴(yán)厲的經(jīng)濟(jì)處罰。此種方法經(jīng)多方驗證,能夠有效解決計算機驗證問題。
PoH包含兩個階段:
第1階段-準(zhǔn)備:希望成為“警察”的用戶將建立誘捕任務(wù)的資料庫。該資料庫包含一個或多個經(jīng)過網(wǎng)絡(luò)節(jié)點驗證,鏈上保存的計算任務(wù)。每個用戶都可以成為“警察”以獲得誘捕獎勵。同時,算力提供者在共享算力之前須提交保證金,保證金金額將遠(yuǎn)高于其任務(wù)獎勵,對于作弊的算力提供者,將罰沒其獎勵及其保證金,此舉將有效保證平臺算力的可信任性。
階段2-執(zhí)行:在此階段中,網(wǎng)絡(luò)將資料庫中的任務(wù)隨機分配給算力提供方。提供者將結(jié)果反饋給“警察”后,“警察”可以將結(jié)果與其誘捕任務(wù)資料庫中的正確結(jié)果進(jìn)行比較,從而輕松確定提供者計算結(jié)果的正確性。該“警察”將通過驗證智能合約將這兩個結(jié)果發(fā)布在區(qū)塊鏈上!胺ü佟,即運行此驗證智能合約的部分或全部節(jié)點,將裁定該“警察”的判斷是否正確。如果證明是正確的話,將分配獎勵池中的獎勵給“警察”作為激勵,同時提供者的押金則將被沒收并進(jìn)入獎勵池。
此項POH驗證機制,一方面通過激勵機制能夠有效促進(jìn)用戶成為”警察“來自主檢查驗證計算問題,另一方面通過質(zhì)押保證金懲罰機制來懲罰作惡者,由于作惡成本較高,此舉將有效減少作惡者的出現(xiàn)。顯而易見,目前為止PoH成為了可驗證計算問題的最低成本,最高效的解決方案,是建立全球化可信共享算力網(wǎng)絡(luò)的一種非常有效的技術(shù)手段。在當(dāng)前共享經(jīng)濟(jì)發(fā)展迅猛的今天,為實現(xiàn)全球算力資源共享,打下了良好的技術(shù)基礎(chǔ)。共享算力時代,未來已來。

請輸入評論內(nèi)容...
請輸入評論/評論長度6~500個字
最新活動更多
推薦專題
- 1 AI 眼鏡讓百萬 APP「集體失業(yè)」?
- 2 大廠紛紛入局,百度、阿里、字節(jié)搶奪Agent話語權(quán)
- 3 一文看懂視覺語言動作模型(VLA)及其應(yīng)用
- 4 深度報告|中國AI產(chǎn)業(yè)正在崛起成全球力量,市場潛力和關(guān)鍵挑戰(zhàn)有哪些?
- 5 上海跑出80億超級獨角獸:獲上市公司戰(zhàn)投,干人形機器人
- 6 國家數(shù)據(jù)局局長劉烈宏調(diào)研格創(chuàng)東智
- 7 下一代入口之戰(zhàn):大廠為何紛紛押注智能體?
- 8 百億AI芯片訂單,瘋狂傾銷中東?
- 9 Robotaxi新消息密集釋放,量產(chǎn)元年誰在領(lǐng)跑?
- 10 格斗大賽出圈!人形機器人致命短板曝光:頭腦過于簡單