作者:尹航,Phala聯合創始人&首席開發
或許你會覺得硬件與區塊鏈風馬牛不相及。畢竟,從比特幣到以太坊,區塊鏈都是軟件為王,基于硬件的解決方案往往有中心化的嫌疑。其實,在隱私保護領域,引入硬件是常規操作。硬件是實現實用化的基礎,軟硬結合的方案可以實現一加一大于二的效果。通過巧妙組合,Phala可以在讓其去信任化的同時,讓解決方案在可拓展性和保密性之間達到絕佳的平衡。
#1基于TEE的區塊鏈保密
PhalaNetwork運用了保密智能合約來實現區塊鏈保密。與傳統合約不同的是,它運行在CPU內一個特殊的硬件區域內。這個區域與其他部件高度隔離;未經授權,包括惡意攻擊在內的任何嘗試都無法讀取TEE中的數據,也無法干預其中程序的執行。
Phala將運行在TEE中的程序稱為pRuntime。pRuntime在TEE內維持礦工和Gatekeeper節點運行,并負責處理TEE遠程證明、鏈上注冊、密鑰管理和保密合同執行。
A股收盤:深證區塊鏈50指數下跌0.6%:金色財經消息,A股收盤,上證指數報3253.69點,收盤上漲0.08%,深證成指報12379.64點,收盤上漲0.41%,深證區塊鏈50指數報3114.35點,收盤下跌0.6%。區塊鏈板塊收盤上漲0.38%,數字貨幣板塊收盤下跌0.08%。[2022/3/21 14:08:57]
然而,如何讓用戶相信智能合約運行在pRuntime里,而不只是一個偽造的TEE環境?這個時候,我們需要了解什么是“遠程認證”。
“Anapplicationthathostsanenclavecanalsoasktheenclavetoproduceareportandthenpassthisreporttoaplatformservicetoproduceatypeofcredentialthatreflectsenclaveandplatformstate.Thiscredentialisknownasaquote.Thisquotecanthenbepassedtoentitiesoffoftheplatform,andverified…”
王堅院士:加快推進區塊鏈技術在工業互聯網數據確權等方面的應用:中國工業互聯網研究院首席科學家、中國工程院院士王堅今日在經濟參考報刊文《“新基建”提速 工業互聯網大數據發展迎新機遇》,文中提到,數據要素參與價值創造與分配是實現高質量發展的關鍵環節。要加快推進區塊鏈技術在工業互聯網數據確權、確責和交易中的應用,推動數據資產的有序流通、可信交易、合法變現。[2020/3/10]
“特殊安全區里的應用程序也可以要求安全區生成報告,然后將該報告傳遞到平臺服務以生成反映安全區和平臺狀態的憑證。這樣的反饋憑證被稱為“引報”。之后,引報就可以作為信任源向外界驗證安全區內應用的可信性……”
遠程認證是確保TEE系統處于安全和可信狀態的關鍵。來自英特爾的Quate可以證明這段代碼和需要用到的某些數據都確確實實運行在最新版本的SGX安全區內。
#2SecretProvisioning
遠程認證是保密智能合約的靈魂。但如果我們無法在TEE和第三方之間建立端到端加密的通信,應用范圍就會受到限制。所以,英特爾SGX還運用了SecretProvisioning協議來優雅地解決這個問題。
聲音 | 任豪:粵港澳大灣區區塊鏈聯盟將堅持“五個一批”戰略布局:據南方都市報報道,廣州市區塊鏈產業協會任豪博士稱,粵港澳大灣區區塊鏈聯盟將基于粵港澳區塊鏈產業發展的重點應用領域和方向,堅持“五個一批”戰略布局,即組織一批交流互訪活動、培養一批區塊鏈專業人才、制訂或參與制訂一批區塊鏈標準規范、引進和培育一批區塊鏈初創企業、實施一批區塊鏈應用場景項目,不斷增強區塊鏈技術產業與傳統經濟各個領域的深度融合,支持新技術、新產業、新業態、新模式更好更快發展。[2018/11/12]
借助SecretProvisioning協議,我們可以建立從用戶到pRuntime的信任鏈:
區塊鏈上公示了合法pRuntime代碼的哈希;
pRuntime運行遠程證明協議,獲取遠程認證報告,報告中含有:被證明代碼的哈希值;身份認證密鑰對的公鑰
遠程驗證報告在鏈上提交,并在鏈上進行驗證;
區塊鏈比較遠程報告返回的哈希值
工信部于佳寧:巴菲特的投資邏輯不適用于區塊鏈3.0時代:據金融界消息,工信部于佳寧今日在采訪中稱:“按照巴菲特的投資邏輯,比特幣確實不好,因為它和實體沒有任何關系。但巴菲特的觀點只能局限于比特幣,不能推導到所有區塊鏈項目,特別是在區塊鏈3.0時代,產業區塊鏈應用已經開始推動實體經濟實現效率變革、模式變革,特別是非常有效地提升產業的協作效率,自然具有內在投資價值。”[2018/5/31]
身份認證公鑰完成鏈上注冊
注冊完成后,但凡是由這個身份簽名的消息,都一定是由此pRuntime生成的。用戶可以使用已注冊的身份公鑰進一步和pRuntime建立類似TLS的連接。
需要與TEE進行通信時,用戶可以從區塊鏈獲取已注冊的pRuntime的公鑰,并用Substrate賬戶和公鑰進行ECDH迪菲赫爾曼協議密鑰協商,并獲得用于和pRuntime進行通信的密鑰。
信任鏈建立后,該身份密鑰將唯一地表示pRuntime的身份。理論上,只要TEE沒有硬件漏洞,則一次成功的遠程認證就可以確保所有與pRuntime往來的通信處于安全和可信的狀態。
韓國議員:區塊鏈與第四次工業革命息息相關:韓國議員鄭宇澤在28日“未來發展經濟政策論壇”上討論了關于區塊鏈與第四次工業革命之間的關系。鄭宇澤表示,不久前區塊鏈還是一個陌生的詞匯,但是現在很多人都知道區塊鏈和和第四次工業革命的息息相關。[2018/2/28]
#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:區塊鏈TIMUNTIME魔獸幣是有使用區塊鏈技術嗎Optimus AIBountyKinds YUAnime Token
BTC復盤分析 昨日盤面仍然維持空頭略微強勢的狀態,價格觸碰8800重要波段需求區后多次反彈,但反彈力量漸弱勢,28號的反彈僅僅持續了2天,30號就停滯了,這雖然目前價格沒有創新低.
1900/1/1 0:00:00本周的技術周刊,包含以太坊、波卡、Filecoin、Hyperledger等網絡的技術類新聞消息.
1900/1/1 0:00:005月29日,aelf基于此前推出的CCTP《跨鏈轉賬標準協議》發起了賞金額度達88,888ELF的黑客懸賞一期活動。截至6月5日活動結束,沒有黑客成功盜取測試TokenELF,賞金無人獲得.
1900/1/1 0:00:00:大家好,我是持幣者,專注幣市市場分析,爭取為廣大幣友傳遞最有價值的幣市信息。持幣者團隊以技術分析為中心,客觀分析幣市,實事求是.
1900/1/1 0:00:00大部分的恐懼與懶惰有關,這句我深以為然。我們常常會害怕改變,其實都是因為自己太懶了,懶得去適應新的環境,懶得去學習新的知識,涉足新的領域,但如果總是這樣的話如何能讓自己成熟起來呢? 行情分析 今.
1900/1/1 0:00:00:大家好,我是持幣者,專注幣市市場分析,爭取為廣大幣友傳遞最有價值的幣市信息。對于行情從兩個角度來說,一個角度是客觀的走勢狀態以及根據客觀走勢所制定的應對策略,另外一個角度是基于經驗的主觀預判.
1900/1/1 0:00:00