IME:區塊鏈應該拒絕硬件嗎？-ODAILY

作者：尹航，Phala聯合創始人&首席開發

或許你會覺得硬件與區塊鏈風馬牛不相及。畢竟，從比特幣到以太坊，區塊鏈都是軟件為王，基于硬件的解決方案往往有中心化的嫌疑。其實，在隱私保護領域，引入硬件是常規操作。硬件是實現實用化的基礎，軟硬結合的方案可以實現一加一大于二的效果。通過巧妙組合，Phala可以在讓其去信任化的同時，讓解決方案在可拓展性和保密性之間達到絕佳的平衡。

#1基于TEE的區塊鏈保密

PhalaNetwork運用了保密智能合約來實現區塊鏈保密。與傳統合約不同的是，它運行在CPU內一個特殊的硬件區域內。這個區域與其他部件高度隔離；未經授權，包括惡意攻擊在內的任何嘗試都無法讀取TEE中的數據，也無法干預其中程序的執行。

Phala將運行在TEE中的程序稱為pRuntime。pRuntime在TEE內維持礦工和Gatekeeper節點運行，并負責處理TEE遠程證明、鏈上注冊、密鑰管理和保密合同執行。

聲音 | 觀點：發展區塊鏈技術務必去偽存真:第一財經發布社論文章稱，就在這次中央局集體學習區塊鏈技術見諸報端后，此前一些“炒幣”者和借區塊鏈之名行事者彈冠相慶，以為又可以借此重整旗鼓。但這事實上是一種誤解，此番中央局學習、習總書記強調的區塊鏈，是基于其背后真正的技術，去偽存真。從長期看，區塊鏈的廣泛應用將在未來形成全新的社會治理架構，有效賦能國家治理體系和治理能力現代化建設。當然，對于一些打著區塊鏈技術名義、行金融欺詐之實的平臺和組織，務必加大打擊力度，既防范后者對區塊鏈技術的污名化，也能借此激濁揚清、去偽存真。[2019/10/27]

然而，如何讓用戶相信智能合約運行在pRuntime里，而不只是一個偽造的TEE環境？這個時候，我們需要了解什么是“遠程認證”。

“Anapplicationthathostsanenclavecanalsoasktheenclavetoproduceareportandthenpassthisreporttoaplatformservicetoproduceatypeofcredentialthatreflectsenclaveandplatformstate.Thiscredentialisknownasaquote.Thisquotecanthenbepassedtoentitiesoffoftheplatform,andverified…”

動態 | 懷俄明州提頓縣在Overstock區塊鏈平臺完成土地所有權注冊:據dailyhodl報道，Overstock.com發布公告稱，懷俄明州提頓縣成為美國首個在基于區塊鏈的平臺上注冊土地所有權的地區。Overstock表示，其區塊鏈子公司Medici Land Governance（MLG）已在其基于區塊鏈的平臺上記錄了土地記錄，其中包括保修契約、抵押貸款、留置權和其他類似文件。[2019/6/18]

“特殊安全區里的應用程序也可以要求安全區生成報告，然后將該報告傳遞到平臺服務以生成反映安全區和平臺狀態的憑證。這樣的反饋憑證被稱為“引報”。之后，引報就可以作為信任源向外界驗證安全區內應用的可信性……”

遠程認證是確保TEE系統處于安全和可信狀態的關鍵。來自英特爾的Quate可以證明這段代碼和需要用到的某些數據都確確實實運行在最新版本的SGX安全區內。

#2SecretProvisioning

遠程認證是保密智能合約的靈魂。但如果我們無法在TEE和第三方之間建立端到端加密的通信，應用范圍就會受到限制。所以，英特爾SGX還運用了SecretProvisioning協議來優雅地解決這個問題。

聲音 | BM談及區塊鏈的問題：BTC或是中心化的:3月30日，有人在電報群向BM提問有關區塊鏈道德問題，BM舉例解釋稱，一輛推車即將要撞上20個人，除非礦工貢獻算力讓推車改變路線。你們說那20個人會得救，還是礦工選擇繼續挖著他們的BTC（車撞上20個人）？如果恐怖份子威脅說要1000萬人每人上繳0.1個BTC給他，不然在48小時內就核武器攻擊華盛頓DC。（我的）問題旨在強調集體無道德，因為大部分人都會希望其他人付贖金。它開始是為了表達BTC有可能是中心化的，也讓我思考失敗的集體決策模式。[2019/3/30]

借助SecretProvisioning協議，我們可以建立從用戶到pRuntime的信任鏈：

區塊鏈上公示了合法pRuntime代碼的哈希；

pRuntime運行遠程證明協議，獲取遠程認證報告，報告中含有：被證明代碼的哈希值；身份認證密鑰對的公鑰

遠程驗證報告在鏈上提交，并在鏈上進行驗證；

行情 | A股收盤：區塊鏈板塊收跌0.12%:A股收盤，區塊鏈板塊收跌0.12%。79只概念股中，32只上漲，45只下跌，2只平盤。漲幅前三為：深圳惠程（+10.00%）、先進數通（+5.21%）、榮之聯（+4.66%）；跌幅前三為：卓翼科技（-6.33%）、中元股份（-6.25%）、奧馬電器（-5.49%）。[2018/11/26]

區塊鏈比較遠程報告返回的哈希值

身份認證公鑰完成鏈上注冊

注冊完成后，但凡是由這個身份簽名的消息，都一定是由此pRuntime生成的。用戶可以使用已注冊的身份公鑰進一步和pRuntime建立類似TLS的連接。

需要與TEE進行通信時，用戶可以從區塊鏈獲取已注冊的pRuntime的公鑰，并用Substrate賬戶和公鑰進行ECDH迪菲赫爾曼協議密鑰協商，并獲得用于和pRuntime進行通信的密鑰。

信任鏈建立后，該身份密鑰將唯一地表示pRuntime的身份。理論上，只要TEE沒有硬件漏洞，則一次成功的遠程認證就可以確保所有與pRuntime往來的通信處于安全和可信的狀態。

張亦春：依托區塊鏈的發展數據經濟逐漸興起:2018海峽金融高峰論壇26日在福州舉辦，吸引兩岸金融、互聯網業界500余人參加，聚焦“金融科技發展趨勢”和“區塊鏈技術應用的場景創新”。中國金融學科終身成就獎獲得者、廈門大學金融研究所所長、海峽金融論壇促進會倡導發起人、理事長張亦春教授在會上表示，近年來，依托區塊鏈、大數據、云計算等技術的發展，數據經濟逐漸興起，其科學價值、社會價值、經濟價值在全球范圍內初顯端倪。[2018/3/26]

#3鏈上升級

鏈上升級可以極大地降低硬件升級硬分叉帶來的風險，所以非常重要。Substrate天生支持Runtime鏈上升級，在治理模塊即可完成。同理，TEE里的Runtime也是可以升級的。

升級pRuntime時，需要將新的哈希提交到區塊鏈上。之后便可由社區通過類似于Substrate的鏈上治理流程來審查代碼、討論并投票贊成升級。

鏈上一旦有升級，Phala的守門人和礦工都必須第一時間升級pRuntime。這個過程對礦工來說會相對容易一些，因為他們不用24小時在線，只用暫停挖礦，升級，然后繼續挖礦即可。守門人則肩負可用性重任，需盡可能在線，因此他們要么運行另一個新版本的TEE客戶端等待下一次選舉期間的自然切換，要么對狀態數據進行緊急加密轉儲，然后將其恢復到新的pRuntime。

雖然后者有狀態數據丟失或暴露的風險，但在緊急情況下也不失為一種選擇。SGX有一個“密封至安全區”功能，可以生成只能由同一安全區解碼的密鑰。這個密鑰可以確保數據不被任何第三方查看或遷移。為了降低硬件安全漏洞被利用的可能性，Gatekeeper中的密鑰是通過Shamir密鑰共享方案分發的。即使sealing崩壞，如果沒有網絡中的多方合謀，主機也無法獲取密鑰。

#4攻與守

Phala的威脅模型首先假設TEE廠商是部分可信的。原因有二：一，TEE廠商在制造芯片的時候并不知道這些芯片會被用在什么地方；二，即便遭受“零日漏洞攻擊”，其他所有運行在芯片上的程序都會有風險，而不單單是TEE承受風險。

雖然秉持上述假設，不可否認的是，硬件漏洞攻擊仍然時有發生。好在，有以下幾種方法可以解決或處理硬件風險問題。

首先，硬件漏洞是可以修復的。一個常見的誤區是，只有軟件漏洞可以修復，而硬件漏洞不能修復。事實并非如此，我們可以通過微碼來修復硬件漏洞。英特爾為SGX設計了一種特殊的架構，大多數漏洞都可以被及時修復。比如，最近新出現的一種名為SGAxe的攻擊就已經通過微碼升級和密鑰組輪換被修復。密鑰經過轉置和撤回后，所有非最新版SGX設備的請求都將被遠程認證駁回。

其次，隨機性是一柄利器。有人會問，零日漏洞攻擊怎么應對？——礦工擁有硬件訪問權限，就可能會利用零日漏洞攻擊盜取數據，有作惡的可能。針對這種情況，我們可以活用“隨機性”，讓區塊鏈把保密智能合約在一個時間段隨機分配給不同的礦工，這樣，每個時間段的礦工都不同。這樣一來，攻擊者必須在不同時間段持續控制大多數礦工的TEE設備才能成功，作惡成本會非常高。

最后，保密合約可以通過副本保證執行的正確性。即使在極端情況下，安全區完全被攻陷、機密數據完全暴露在攻擊者面前、TEE內程序可以被任意改寫，合約的“正確性”仍然可以得到保證。在Phala的設計中，保密合約可以有一個或多個副本并行運行。副本不會影響合約的執行，因為所有輸入都來自區塊鏈。并行狀態下，會有多個TEE同時嘗試向鏈上提交狀態數據。此時就會有一個簡單的鏈上投票過程，狀態數據的“最終確認”將遵循少數服從多數的原則。

副本的設計讓這個過程變成了類似PolkadotValidator選舉的過程。要想攻擊“正確性”，攻擊者必須控制絕大多數TEE礦工。——這還是在完全被攻破的極端情況下。

#5結論

過去，區塊鏈僅限于軟件范疇。發展至今，完全公開性已成為大范圍落地的桎梏。而有了可信硬件和精心設計的協議支持，Phala將證明和構建出一個可信、可保密、可大范圍落地的區塊鏈世界。

關于Phala

PhalaNetwork是波卡上的隱私計算平行鏈，基于類pow的經濟激勵模式，Phala釋放無數CPU中隱私算力并運用于波卡平行鏈，進而服務于波卡上的Defi、數據服務等其他應用。基于Phala的應用pLibra和Web3Analytics已經獲得web3基金會grant。2020年3月，Phala成為首批加入ParitySubstrateBuilders計劃的項目之一。

Tags：區塊鏈IMERUNTIM區塊鏈是騙局嗎TimeIsMoneyRUNEARN價格PLC Ultima

USDC