TokenGazer一問到底 | 第13期:研究員 vs Ankr

買賣虛擬貨幣

前言

TokenGazer《一問到底》是一檔辨析區塊鏈領域一級市場專案優劣的優質欄目。每一期將針對區塊鏈領域早期的一級市場專案,邀請專案負責人做客現場,和社群內百餘名研究員深度問答、科學辨析。旨在透過專案方與研究員高質量的對弈問答,打造專業級別的專案評析平臺,釐清專案價值,探尋早期優質專案。同時,讓社群使用者真正參與價值評析,傳遞評析方法,在“問與答”中獲取價值資訊。

本期專案:Ankr

活動時間:10月18日 20:00

Ankr:旨在利用Interl SGX等TEE(可信執行環境)做到真正意義上的分散式雲端計算,利用起限制的資料中心或是個人裝置的算力資源。

以下為互動文字整理版:

01.TokenGazer研究員 HK:Ankr採用的共識機制PoUW能不能詳細介紹一下?與PoW共識機制的區別是什麼?

Ankr 方靖陽Ryan:最核心的區別在於PoUW是利用TEE環境進行General Purpose通用運算,而不是Hash運算,這樣的話相當於一部分信任放在了硬體上,在執行層面效率會提高很多,不同節點可以做不同的工作,從而做到分散式雲端計算。

02.TokenGazer研究員 HK:這個共識演算法的優勢主要在哪裡?是節約算力嗎?

Ankr 方靖陽Ryan:在PoW的模式下,我們做的其實是基於數學的共識(In math we trust),它是一個所謂的增熵過程,會有大量的浪費。

但是PoUW做的是通用(general purpose)的工作,所以理論上幾乎是不會有浪費的。

03.TokenGazer研究員 HK:在使用費用的標準制定上有沒有相關考慮?如果有大規模計算商家介入,Ankr該如何應對?Ankr如何吸引更多的使用者參與到生態當中來?

Ankr 方靖陽Ryan:我們認為在去掉伺服器費用(server cost)的基礎上,無伺服器結構(serverless architecture)我們可以做到便宜大約55%。

04.TokenGazer社羣成員 王備:SGX是有側通道攻擊(Side Channel)的,你們的解決方案是?

Ankr 方靖陽Ryan:好問題,現在其實有不少人都有反應SGX的一些可能問題,但是幾乎全是理論上的,因為網路是有大量SGX組成的,single failure並不會使得整個網路出現問題。現在階段SGX還是最安全的選擇。

TokenGazer社羣成員 王備:儲存在SGX Enclave記憶體裡的資料可能會被檢測到,你們是選擇做了噪音嗎?

Ankr 方靖陽Ryan:首先,Foreshadow漏洞不是為了針對從SGX Enclave中提取資料而設計的。這是Intel晶片的一個通用的問題,下一代版本實際上影響了虛擬機器、管理程式、作業系統核心記憶體和系統管理模式記憶體等等。

其次,Intel SGX已經修補了Foreshadow預兆漏洞,需要一些時間全方位生效。

第三,從錯誤的輸出或塊生成速度的角度,比較容易對網路中的例項進行統計檢測。我們可以向Intel報告這些CPU的ID,使其SGX永久無效。在有限的時間內的偶發腐敗事件不會對區塊鏈的整體效能產生太大的影響。

第四,儘管有宣稱Foreshadow漏洞可以讀取Enclave中的任何資料,但實際上很難做到。除此之外,控制SGX生成、運算元據或結果更是困難得多。最實際的辦法是編寫程式碼以避免投機性執行,這對知識儲備有一定要求但可以避免Foreshadow漏洞,我們向開發人員/使用者推薦這種方式。

05.TokenGazer社羣成員 王備:這個是去中心化的吧?需要向Intel申請遠端證書嗎?這個不是質疑只是單純的提問。

Ankr 方靖陽Ryan:我們用到遠端證明,因為我們認為在效率上會好很多。而且這也不是Intel能temper的,包括整個利用SGX的邏輯,理論上說呢,我們信任的不是Intel,而是Intel也無法temper的Enclave。

06.TokenGazer社羣成員 RUI: 你們認為你們相對Hypernet這些專案的決定性優勢是什麼?

Ankr 方靖陽Ryan:同類專案的對比如下:

Hypernet:

專案正在開發平行計算API,以提高計算節點之間的通訊能力;

團隊計劃使用集裝箱化計算環境,容易受到安全威脅並涉及資料隱私問題;

同時Hypernet也是基於以太坊的智慧合約,不會改變以太坊的POW共識機制。

Golem:

專案基於以太坊,而Ankr正在改善以太坊/ Bitcoin的共識機制;

GOEM的使用者只有有云計算一種收入來源。但Ankr的使用者有三種收入來源:即採礦、交易(或智慧合約)和雲端計算;

Golem正在使用像Docker這樣的第三方計算容器,Ankr則使用礦工的計算能力。

Perlin:

Perlin更多地關注隱私,而Ankr更關注計算效率;

Perlin使用虛擬計算容器,Ankr直接使用礦工;

從他們的白皮書中看,除了給出一些數學公式外,他們對想要達成的願景沒有清晰的描繪。

 07.TokenGazer研究員 HK:計算任務的分發、傳輸的規則是什麼?計算結果如何確認?

Ankr 方靖陽Ryan:Computation market match supply demand,這個部分在第一個版本測試網路會在未來版本呈現,現在的分發是半中心化的,有“超級節點”性質的分發者。第一個版本一兩週就可以在我們的合作伙伴BOINC上下載了,我們這週末也會發出邀請。

計算結果部分永遠不能保證所謂“正確”,Enclave本身就能保證任務是否執行這一點。

TokenGazer研究員 HK:沒有相關機制來驗證一下計算結果嗎?比如冗餘設計之類的?

Ankr 方靖陽Ryan:用可信硬體的主要價值就是大幅減少重複計算,在實際執行中會有很小規模的重複,與現在的絕大多數分散式計算相比還是有很大效率優勢的。

TokenGazer研究員 HK:冗餘是由使用者自己可選的嗎?

Ankr 方靖陽Ryan:測試版本里暫時有*2的重複,未來可以提供給使用者的選擇。

08.TokenGazer研究員 HK:在冷啟動階段,專案方對儲備算力有沒有相關預估和對策?

Ankr 方靖陽Ryan:專案初期應該有更多的算力供應,我們和加州的電信商的幾個資料中心做測試,未來會向全網顯示完備的運算能力,目前的測試網還不是公開的,這週末會收email發invitation。

TokenGazer研究員 HK:這跟去中心化的思維不是有些違背嗎?

Ankr 方靖陽Ryan:對於是否去中心化這點:

① 因為用可信硬體,不存在所謂的51% attack;

② 我們的任務重心在於真正意義上利用起閒置運算資源,資料中心確實會有更多閒置資源。

09.TokenGazer研究員 HK:對於安全多方計算方法的看法是什麼?對於分散式計算,這會是一個更好的選擇嗎?

Ankr 方靖陽Ryan:我們認為現階段用TEE做遠端證明效率比目前能做到的安全多方運算要高效安全很多。不過MPC也是我們研究的一個主要方向,與交大有兩個橫向課題的合作我們也做好了基於ARM TrustZone的分佈計算,目前正在測試。

TokenGazer研究員 HK:更安全和高效是如何得出的?

Ankr 方靖陽Ryan:因為其實用TEE,首先算力貢獻方是看不到運算的內容的,其次它在效率上只會打20%的折扣。

全同態加密(FHE)為加密資料輸入,加密資料輸出,在計算過程中保護資料的機密性和完整性。然而經歷了幾十年的研究工作還沒有完成,即使它會實現速度也非常緩慢;

TEE是等效於FHE的工程解決方案,Enclave保證機密性和完整性。加密資料輸入,解密資料輸出,將更接近不可信計算效能。

以上為本期《一問到底》內容彙總,如有更多問題,可在公眾號(TokenGazer)給我們傳送資訊。

責任編輯:TokenGazer

本文為TokenGazer原創內容,轉載請註明出處。

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;