HST:誠實性證明POH：可驗證計算的可實現概率解_northstarchain

隨著互聯網，區塊鏈技術的快速發展，產業鏈繁榮，平臺經濟發展迅速，相關大型企業不斷涌現，創業者頻頻涌入；共享經濟在當下的全球市場發展得也十分火熱，并吸引資本大量進入。據羅蘭貝格數據顯示，2015年全球共享經濟總規模達1,869億美元，到2018年增長至5,200億美元；2021年預計突破10000億美元，未來有望將保持持續高速增長。而在共享經濟發展多年，計算機資源共享領域因為技術要求難度大，致使鮮有人問津此領域。Pekka團隊抓住市場機遇，經多年研究，填補了計算機領域共享算力市場的空白，于2019年發布Pekka分布式共享算力平臺，旨在實現全球計算資源的共享，來提高全球閑置算力的使用率，通過使用加密貨幣來作為算力支付的手段，以此滿足多方需求。

CertiK完成對螞蟻集團可信執行環境HyperEnclave的先進形式化驗證:金色財經報道，CertiK宣布完成對螞蟻集團開放式跨平臺可信執行環境（TEE）HyperEnclave的先進形式化驗證。螞蟻集團的可信原生技術團隊開發了開放跨平臺軟件可信執行環境HyperEnclave，旨在提高螞蟻集團隱私保護計算工作負載的效率和兼容性。CertiK通過其獨有的先進形式化驗證技術，驗證了HyperEnclave核心組件的安全性和技術正確性。[2023/7/26 15:59:27]

在Pekka共享算力研發平臺的過程中，將計算任務外包給另一方來完成面臨諸多挑戰，其中一項就是可驗證計算問題。可驗證計算問題是指VerifiableComputing(簡稱“VC”)，指可以將計算任務外包給第三方算力提供者；第三方算力提供者需要在完成計算任務的同時，提交一份關于計算結果的正確性證明。一個長期存在的問題是用戶如何在不重新執行任務的前提下有效驗證計算結果，此問題曾困擾計算機科學家多年，直到誠實性證明機制POH的出現才讓此問題有了可實現解。

EthStorage獲得以太坊大會EDCON 2023 Super Demo第一名:5月24日消息，以太坊存儲rollup項目EthStorage在以太坊大會EDCON（Community Ethereum Development Conference）2023 Super Demo評選中獲得第一名。此前除EthStorage外，開源基礎設施項目Ethereum Attestation Service（EAS）、用于DeFi資產管理的自定義鏈上保險庫Aspis Protocol、跨鏈、去中心化智能合約自動化解決方案Nerif Network進入了決賽。而參與此次評選的共有47個項目。

據悉，EthStorage是建立在以太坊之上的存儲rollup，它在以太坊數據可用的基礎上提供可編程的動態存儲，旨在重用以太坊主網安全，定期從EthStorage二層網絡向以太坊L1提交存儲證明，同時以低成本擴展以太坊存儲。[2023/5/24 15:22:56]

什么是POH？

LINE子公司推出3D NFT頭像定制平臺Alpha Crewz測試版:金色財經報道，日本社交巨頭LINE旗下NFT子公司LINE NEXT推出3DNFT頭像定制平臺Alpha Crewz測試版，Alpha Crewz也可用于LINE即將推出的元宇宙生態系統。LINE NEXT表示，用戶可以登錄Alpha Crewz并使用各種定制工具和時尚物品輕松創建獨特的Avatar，還可以使用3D視頻工作室用Avatar制作視頻。（VentureBeat）[2023/4/7 13:49:41]

POH全稱“誠實證明ProofofHonesty”是Pekka研究團隊于2019年3月29日提出，旨在解決可驗證計算問題，來實現分布式算力共享平臺的可信任問題。

FTX Japan現已恢復日元提現服務:11月11日消息，FTX旗下日本加密衍生品交易所FTX Japan發布公告稱，已恢復日元提現服務。

此前報道，日本金融廳已下令FTX Japan暫停運營。監管機構希望FTX Japan在2022年12月9日之前立即停止加密資產交易業務并停止接受新客戶。[2022/11/11 12:50:21]

在此之前計算機科學家針對可信任計算問題有兩種解決方案。

1.在多個計算設備上進行重復的驗證計算。這種解決方案不僅成本高，而且需要假設計算設備本身不會由于故障而導致計算結果的錯誤，顯然此種驗證方法并不經常有效。例如，云服務中所有設備的硬件和軟件通常都是完全一樣的，假如計算錯誤是由于設備導致的，重復計算結果的一致性無法保證最終的正確性，最終花費了高成本，確無法得到準確的驗證結果，造成人力物力的損耗。

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

以上種種解決方案顯然并不能有效解決可驗證計算問題。而經過Pekka研發團隊多年研究的“誠實證明ProofofHonesty”是基于區塊鏈技術，受到“警察誘捕違法者”的啟發誕生的。讓租用端用戶充當“警察”的角色，同時為算力提供者分配已預先知道結果的誘捕任務，通過智能合約驗證任務結果，以此檢測并捕獲網絡中的惡意算力提供者，并對作弊者實行嚴厲的經濟處罰。此種方法經多方驗證，能夠有效解決計算機驗證問題。

PoH包含兩個階段：

第1階段-準備：希望成為“警察”的用戶將建立誘捕任務的資料庫。該資料庫包含一個或多個經過網絡節點驗證，鏈上保存的計算任務。每個用戶都可以成為“警察”以獲得誘捕獎勵。同時，算力提供者在共享算力之前須提交保證金，保證金金額將遠高于其任務獎勵，對于作弊的算力提供者，將罰沒其獎勵及其保證金，此舉將有效保證平臺算力的可信任性。

階段2-執行：在此階段中，網絡將資料庫中的任務隨機分配給算力提供方。提供者將結果反饋給“警察”后，“警察”可以將結果與其誘捕任務資料庫中的正確結果進行比較，從而輕松確定提供者計算結果的正確性。該“警察”將通過驗證智能合約將這兩個結果發布在區塊鏈上。“法官”，即運行此驗證智能合約的部分或全部節點，將裁定該“警察”的判斷是否正確。如果證明是正確的話，將分配獎勵池中的獎勵給“警察”作為激勵，同時提供者的押金則將被沒收并進入獎勵池。

此項POH驗證機制，一方面通過激勵機制能夠有效促進用戶成為”警察“來自主檢查驗證計算問題，另一方面通過質押保證金懲罰機制來懲罰作惡者，由于作惡成本較高，此舉將有效減少作惡者的出現。顯而易見，目前為止PoH成為了可驗證計算問題的最低成本，最高效的解決方案，是建立全球化可信共享算力網絡的一種非常有效的技術手段。在當前共享經濟發展迅猛的今天，為實現全球算力資源共享，打下了良好的技術基礎。共享算力時代，未來已來。

Tags：以太坊ETHHSTSTO以太坊幣最新價格走勢圖Ethereum2.0northstarchainstos幣最新消息

DOT