隨著互聯(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億美元，未來(lái)有望將保持持續(xù)高速增長(zhǎng)。而在共享經(jīng)濟(jì)發(fā)展多年，計(jì)算機(jī)資源共享領(lǐng)域因?yàn)榧夹g(shù)要求難度大，致使鮮有人問(wèn)津此領(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ì)算資源的共享，來(lái)提高全球閑置算力的使用率，通過(guò)使用加密貨幣來(lái)作為算力支付的手段，以此滿(mǎn)足多方需求。

在Pekka共享算力研發(fā)平臺(tái)的過(guò)程中，將計(jì)算任務(wù)外包給另一方來(lái)完成面臨諸多挑戰(zhàn)，其中一項(xiàng)就是可驗(yàn)證計(jì)算問(wèn)題�？沈�(yàn)證計(jì)算問(wèn)題是指Verifiable Computing（簡(jiǎn)稱(chēng)“VC”），指可以將計(jì)算任務(wù)外包給第三方算力提供者；（不受信任的）第三方算力提供者需要在完成計(jì)算任務(wù)的同時(shí)，提交一份關(guān)于計(jì)算結(jié)果的正確性證明。一個(gè)長(zhǎng)期存在的問(wèn)題是用戶(hù)如何在不重新執(zhí)行任務(wù)的前提下有效驗(yàn)證計(jì)算結(jié)果，此問(wèn)題曾困擾計(jì)算機(jī)科學(xué)家多年，直到誠(chéng)實(shí)性證明機(jī)制POH的出現(xiàn)才讓此問(wèn)題有了可實(shí)現(xiàn)解。

什么是POH？

POH全稱(chēng)“誠(chéng)實(shí)證明 Proof of Honesty”是Pekka研究團(tuán)隊(duì)于2019年3月29日提出，旨在解決可驗(yàn)證計(jì)算問(wèn)題，來(lái)實(shí)現(xiàn)分布式算力共享平臺(tái)的可信任問(wèn)題。

在此之前計(jì)算機(jī)科學(xué)家針對(duì)可信任計(jì)算問(wèn)題有兩種解決方案。

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é)果的一致性無(wú)法保證最終的正確性，最終花費(fèi)了高成本，確無(wú)法得到準(zhǔn)確的驗(yàn)證結(jié)果，造成人力物力的損耗。

2．運(yùn)行一小組樣本計(jì)算，然后審核這些樣本的計(jì)算結(jié)果。但是，樣本數(shù)量的不足使此解決方案效果不佳。還有一些其他的解決方案，如可信硬件，但前提是需要有一條完整的硬件信任鏈。

以上種種解決方案顯然并不能有效解決可驗(yàn)證計(jì)算問(wèn)題。而經(jīng)過(guò)Pekka研發(fā)團(tuán)隊(duì)多年研究的“誠(chéng)實(shí)證明 Proof of Honesty （POH）”是基于區(qū)塊鏈技術(shù)，受到“警察誘捕違法者”的啟發(fā)誕生的。讓租用端用戶(hù)充當(dāng)“警察”的角色，同時(shí)為算力提供者分配已預(yù)先知道結(jié)果的誘捕任務(wù)，通過(guò)智能合約驗(yàn)證任務(wù)結(jié)果，以此檢測(cè)并捕獲網(wǎng)絡(luò)中的惡意算力提供者，并對(duì)作弊者實(shí)行嚴(yán)厲的經(jīng)濟(jì)處罰。此種方法經(jīng)多方驗(yàn)證，能夠有效解決計(jì)算機(jī)驗(yàn)證問(wèn)題。

PoH包含兩個(gè)階段：

第1階段－準(zhǔn)備：希望成為“警察”的用戶(hù)將建立誘捕任務(wù)的資料庫(kù)。該資料庫(kù)包含一個(gè)或多個(gè)經(jīng)過(guò)網(wǎng)絡(luò)節(jié)點(diǎn)驗(yàn)證，鏈上保存的計(jì)算任務(wù)。每個(gè)用戶(hù)都可以成為“警察”以獲得誘捕獎(jiǎng)勵(lì)。同時(shí)，算力提供者在共享算力之前須提交保證金，保證金金額將遠(yuǎn)高于其任務(wù)獎(jiǎng)勵(lì)，對(duì)于作弊的算力提供者，將罰沒(méi)其獎(jiǎng)勵(lì)及其保證金，此舉將有效保證平臺(tái)算力的可信任性。

階段2－執(zhí)行：在此階段中，網(wǎng)絡(luò)將資料庫(kù)中的任務(wù)隨機(jī)分配給算力提供方。提供者將結(jié)果反饋給“警察”后，“警察”可以將結(jié)果與其誘捕任務(wù)資料庫(kù)中的正確結(jié)果進(jìn)行比較，從而輕松確定提供者計(jì)算結(jié)果的正確性。該“警察”將通過(guò)驗(yàn)證智能合約將這兩個(gè)結(jié)果發(fā)布在區(qū)塊鏈上�！胺ü佟�，即運(yùn)行此驗(yàn)證智能合約的部分或全部節(jié)點(diǎn)，將裁定該“警察”的判斷是否正確。如果證明是正確的話(huà)，將分配獎(jiǎng)勵(lì)池中的獎(jiǎng)勵(lì)給“警察”作為激勵(lì)，同時(shí)提供者的押金則將被沒(méi)收并進(jìn)入獎(jiǎng)勵(lì)池。

此項(xiàng)POH驗(yàn)證機(jī)制，一方面通過(guò)激勵(lì)機(jī)制能夠有效促進(jìn)用戶(hù)成為”警察“來(lái)自主檢查驗(yàn)證計(jì)算問(wèn)題，另一方面通過(guò)質(zhì)押保證金懲罰機(jī)制來(lái)懲罰作惡者，由于作惡成本較高，此舉將有效減少作惡者的出現(xiàn)。顯而易見(jiàn)，目前為止PoH成為了可驗(yàn)證計(jì)算問(wèn)題的最低成本，最高效的解決方案，是建立全球化可信共享算力網(wǎng)絡(luò)的一種非常有效的技術(shù)手段。在當(dāng)前共享經(jīng)濟(jì)發(fā)展迅猛的今天，為實(shí)現(xiàn)全球算力資源共享，打下了良好的技術(shù)基礎(chǔ)。共享算力時(shí)代，未來(lái)已來(lái)。