作者:尹航,Phala聯合創始人&首席開發
或許你會覺得硬件與區塊鏈風馬牛不相及。畢竟,從比特幣到以太坊,區塊鏈都是軟件為王,基于硬件的解決方案往往有中心化的嫌疑。其實,在隱私保護領域,引入硬件是常規操作。硬件是實現實用化的基礎,軟硬結合的方案可以實現一加一大于二的效果。通過巧妙組合,Phala可以在讓其去信任化的同時,讓解決方案在可拓展性和保密性之間達到絕佳的平衡。
#1基于TEE的區塊鏈保密
PhalaNetwork運用了保密智能合約來實現區塊鏈保密。與傳統合約不同的是,它運行在CPU內一個特殊的硬件區域內。這個區域與其他部件高度隔離;未經授權,包括惡意攻擊在內的任何嘗試都無法讀取TEE中的數據,也無法干預其中程序的執行。
Phala將運行在TEE中的程序稱為pRuntime。pRuntime在TEE內維持礦工和Gatekeeper節點運行,并負責處理TEE遠程證明、鏈上注冊、密鑰管理和保密合同執行。
A股收盤:深證區塊鏈50指數下跌0.55%:金色財經消息,A股收盤,上證指數報3557.41點,收盤上漲0.8%,深證成指報14696.29點,收盤上漲0.38%,深證區塊鏈50指數報3881.67點,收盤下跌0.55%。區塊鏈板塊收盤下跌0.38%,數字貨幣板塊收盤下跌1.39%。[2021/6/22 23:56:52]
然而,如何讓用戶相信智能合約運行在pRuntime里,而不只是一個偽造的TEE環境?這個時候,我們需要了解什么是“遠程認證”。
“Anapplicationthathostsanenclavecanalsoasktheenclavetoproduceareportandthenpassthisreporttoaplatformservicetoproduceatypeofcredentialthatreflectsenclaveandplatformstate.Thiscredentialisknownasaquote.Thisquotecanthenbepassedtoentitiesoffoftheplatform,andverified…”
中國人壽區塊鏈助推精準扶貧升級加力:4月8日,新華網刊文“扶貧助農新出路 中國人壽區塊鏈助推精準扶貧升級加力”。文章表示,中國人壽積極探索“金融扶貧保險先行”模式,以區塊鏈+扶貧為手段,用保險機制鏈接社會扶貧力量,惠及貧困家庭,以此形成了一套透明、高效的區塊鏈扶貧模式。區塊鏈技術把“頂梁柱”項目打造成了一本“公共賬簿”,通過采用區塊鏈技術框架實現承保數據實時對接,實現捐款人、公益機構、保險公司、受保人在內的所有項目參與方,共同“記賬”和監督,任何一方都無法篡改賬目。運用區塊鏈技術助力公益項目,是中國人壽區塊鏈技術的一個縮影。目前,中國人壽已將該技術應用于金融、保險、信用卡、企業年金等場景。未來,中國人壽將繼續深入推進“扶貧保”工程,充分發揮保險、投資、銀行等綜合金融優勢創新扶貧方法,進一步拓展“區塊鏈+公益+保險”扶貧模式,為助推脫貧攻堅決戰決勝提供國壽方案、注入國壽力量,用實際行動向中央交一份滿意的答卷。(新華網)[2020/4/9]
“特殊安全區里的應用程序也可以要求安全區生成報告,然后將該報告傳遞到平臺服務以生成反映安全區和平臺狀態的憑證。這樣的反饋憑證被稱為“引報”。之后,引報就可以作為信任源向外界驗證安全區內應用的可信性……”
動態 | 螞蟻金服“相互寶”使用區塊鏈對參與者資料進行存證:據新浪消息,螞蟻金服公布網絡互助計劃“相互寶”首例互助案例,為確保信息公開透明,公示還出具了醫療診斷證明、出院小結、手術記錄等信息,并對資料進行了區塊鏈存證。[2018/12/7]
遠程認證是確保TEE系統處于安全和可信狀態的關鍵。來自英特爾的Quate可以證明這段代碼和需要用到的某些數據都確確實實運行在最新版本的SGX安全區內。
#2SecretProvisioning
遠程認證是保密智能合約的靈魂。但如果我們無法在TEE和第三方之間建立端到端加密的通信,應用范圍就會受到限制。所以,英特爾SGX還運用了SecretProvisioning協議來優雅地解決這個問題。
借助SecretProvisioning協議,我們可以建立從用戶到pRuntime的信任鏈:
區塊鏈上公示了合法pRuntime代碼的哈希;
埃森哲開發區塊鏈解決方案 有望節約數億美元開支:據美通社報道,日前埃森哲與百威英博、APL、德迅集團和一家歐洲海關組織成功試驗了一項區塊鏈解決方案,可提高快運輸單證的整體傳遞速度,減少八成的數據錄入,簡化運輸過程中的數據修改工作,精簡貨物所需檢查,緩解客戶面臨的因海關合規問題帶來的處罰風險,消除貨運和物流行業對紙質貨運單證的依賴,由此每年有望節約數億美元開支。此方案可應用于汽車、零售和消費品等多個行業。[2018/3/20]
pRuntime運行遠程證明協議,獲取遠程認證報告,報告中含有:被證明代碼的哈希值;身份認證密鑰對的公鑰
遠程驗證報告在鏈上提交,并在鏈上進行驗證;
區塊鏈比較遠程報告返回的哈希值
身份認證公鑰完成鏈上注冊
注冊完成后,但凡是由這個身份簽名的消息,都一定是由此pRuntime生成的。用戶可以使用已注冊的身份公鑰進一步和pRuntime建立類似TLS的連接。
CME計劃開發新系統,以便更方便修改區塊鏈協議:美國專利和商標局2月8日公布了一項專利,該專利由CME于2017年12月提交,允許在沒有得到所有網絡參與者共識的前提下修改區塊鏈協議系統。[2018/2/12]
需要與TEE進行通信時,用戶可以從區塊鏈獲取已注冊的pRuntime的公鑰,并用Substrate賬戶和公鑰進行ECDH迪菲赫爾曼協議密鑰協商,并獲得用于和pRuntime進行通信的密鑰。
信任鏈建立后,該身份密鑰將唯一地表示pRuntime的身份。理論上,只要TEE沒有硬件漏洞,則一次成功的遠程認證就可以確保所有與pRuntime往來的通信處于安全和可信的狀態。
#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計劃的項目之一。
比特幣昨日的一波下行是否預示著變盤已經開始? 前幾天比特幣行情一直處于完整的三角區域整理,本來預計行情還會有繼續持續一到兩天才會開始變盤,但是昨日下午2點半開始下跌.
1900/1/1 0:00:00歡迎各位參與本次星際之旅。這是一場與IPFS共同探索財富密碼的極速旅程。誕生于2014年的IPFS終于在2020年迎來「落地」的高光時刻.
1900/1/1 0:00:00易天說 昨日比特幣開盤在9158.9一線,最高抵達9190.0一線,最低抵達9028.0一線,收盤于9123.8一線,漲幅達到:-0.38%(-34.4),振幅達到:1.77%.
1900/1/1 0:00:00行業資訊: 6月20日訊,據cryptonews消息,加拿大某地出現了犯罪分子假扮官方人敲詐BTC的案件.
1900/1/1 0:00:00持幣者昨天凌晨到5點左右,幣價進行了小幅度的反彈,白天和夜間波動幅度并不大,在9100附近震蕩運行,基本橫盤。從晚間開始布林通道就開始收口,一直到現在幣價在窄幅震蕩.
1900/1/1 0:00:00本期「對話Bybit」我們的資深產品經理Bill將和大家一起聊聊“你所期待的交割合約”,幫助大家更好的了解交割合約,懂得交易規則和歷史.
1900/1/1 0:00:00