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

發(fā)表評(píng)論
請(qǐng)輸入評(píng)論內(nèi)容...
請(qǐng)輸入評(píng)論/評(píng)論長(zhǎng)度6~500個(gè)字
最新活動(dòng)更多
-
7月8日立即報(bào)名>> 【在線會(huì)議】英飛凌新一代智能照明方案賦能綠色建筑與工業(yè)互聯(lián)
-
7月22-29日立即報(bào)名>> 【線下論壇】第三屆安富利汽車生態(tài)圈峰會(huì)
-
7.30-8.1火熱報(bào)名中>> 全數(shù)會(huì)2025(第六屆)機(jī)器人及智能工廠展
-
7月31日免費(fèi)預(yù)約>> OFweek 2025具身智能機(jī)器人產(chǎn)業(yè)技術(shù)創(chuàng)新應(yīng)用論壇
-
免費(fèi)參會(huì)立即報(bào)名>> 7月30日- 8月1日 2025全數(shù)會(huì)工業(yè)芯片與傳感儀表展
-
即日-2025.8.1立即下載>> 《2024智能制造產(chǎn)業(yè)高端化、智能化、綠色化發(fā)展藍(lán)皮書》
推薦專題
- 1 AI 眼鏡讓百萬 APP「集體失業(yè)」?
- 2 豆包前負(fù)責(zé)人喬木出軌BP后續(xù):均被辭退
- 3 一文看懂視覺語言動(dòng)作模型(VLA)及其應(yīng)用
- 4 “支付+”時(shí)代,支付即生態(tài) | 2025中國(guó)跨境支付十大趨勢(shì)
- 5 中國(guó)最具實(shí)力AI公司TOP10
- 6 深圳跑出40億超級(jí)隱形冠軍:賣機(jī)器人年入6.1億,港股上市
- 7 特斯拉Robotaxi上路,馬斯克端上畫了十年的餅
- 8 “AI六小虎”到了下一個(gè)賽點(diǎn)
- 9 張勇等人退出阿里合伙人
- 10 AI的夏天:第四范式VS云從科技VS地平線機(jī)器人