加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > DOT > Info

區塊鏈應該拒絕硬件嗎?-ODAILY_區塊鏈:CRUNCH幣

Author:

Time:1900/1/1 0:00:00

作者:尹航,Phala聯合創始人&首席開發

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

#1基于TEE的區塊鏈保密

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

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

日立開始提供支持使用區塊鏈技術系統開發的服務:日本日立制作所30日開始提供支持使用區塊鏈(分布式賬本)技術進行系統開發的服務。未來所有事物都將連接到互聯網,并整合到物聯網(IoT)平臺“Lumada”的服務中。(日經新聞)[2020/10/30 11:15:35]

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

“Anapplicationthathostsanenclavecanalsoasktheenclavetoproduceareportandthenpassthisreporttoaplatformservicetoproduceatypeofcredentialthatreflectsenclaveandplatformstate.Thiscredentialisknownasaquote.Thisquotecanthenbepassedtoentitiesoffoftheplatform,andverified…”

聲音 | 工商銀行行長:目前金融機構主要將區塊鏈應用在有特殊驗證需要的情境中:金色財經報道,工商銀行行長谷澍接受專訪表示,該行很早就啟動了區塊鏈技術的研究和應用工作。目前,工行已圍繞民生服務、普惠金融、“一帶一路”建設、跨境貿易等多個領域,構建了區塊鏈服務體系。如目前已建立貴州脫貧攻堅投資基金區塊鏈平臺、“工銀e信”網絡融資金融服務平臺、“中歐e單通”和“中非e鏈通”貿易金融區塊鏈平臺等,涵蓋近80個應用場景。當然,區塊鏈技術的大規模推廣應用還存在一些技術挑戰,主要是涉及計算機的容量及算力問題。因此目前金融機構主要將區塊鏈技術應用在有特殊驗證需要的情境中,如供應鏈、扶貧基金等。[2019/12/12]

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

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

動態 | 長三角7城市開通基于區塊鏈的地鐵通票:據中金在線消息,5月22日,記者從2019年長三角地區主要領導座談會-成果發布會獲悉,上海、杭州、寧波、溫州、合肥、南京、蘇州7座城市軌道交通,即日起實現七城軌道交通二維碼手機掃碼過閘“一碼通行”。據了解,此次“滬杭甬溫合寧蘇”七城互通首次攜手支付寶啟動了區塊鏈技術的試點應用,提高了異地乘車信息互通和共享的效率。[2019/5/23]

#2SecretProvisioning

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

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

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

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

動態 | 物聯網區塊鏈創業公司Filament加入以太聯盟:據tokenpost報道,Filament表示其已加入以太聯盟Enterprise Ethereum Alliance(EEA),以實現基于以太坊的最佳技術,開放標準和開源參考架構。Filament的Blocklet產品為企業和工業企業提供區塊鏈工具和技術,使他們能夠直接從物聯網設備,制造設備和其他連接機器安全地處理和記錄交易。該公司表示,其解決方案正被全球汽車,通信和其他行業的公司所采用。[2019/3/21]

遠程驗證報告在鏈上提交,并在鏈上進行驗證;

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

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

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

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

動態 | 荷蘭銀行與三星SDS合作推出集裝箱物流區塊鏈試點:據finextra報道,荷蘭第一大銀行荷蘭銀行(ABN Amro)正在與鹿特丹港務局和三星SDS合作開展集裝箱物流區塊鏈試點。目前,國際貨運配送流程中的物理、行政和財務流程是分開進行的。鹿特丹港首席財務官Paul Smits表示,該合作伙伴希望將貨運和服務的運輸、監控和融資簡單到像“在線訂購書籍”一樣。[2018/10/19]

信任鏈建立后,該身份密鑰將唯一地表示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計劃的項目之一。

Tags:區塊鏈RUNIMETIM區塊鏈怎么入手CRUNCH幣Timeseries AISTIMMY

DOT
最近社區大熱的牛肉腿(NVT)究為何物-ODAILY_Nerve:ETH

隨著DeFi概念的爆火,一些新幣也引發市場的討論熱潮。最近,牛肉腿NVT大火于各大媒體、社群與機構,在市場上頻頻發聲,引發眾人關注.

1900/1/1 0:00:00
獲央視報道,歐科云鏈打造區塊鏈人才培養“新范本”-ODAILY_區塊鏈:CRYP

區塊鏈產業正迎來新的發展機遇。2020年以來,北京、湖南、貴州、海南、江蘇、河北等多個省級行政區分別出臺區塊鏈專項發展政策,一方面拓展區塊鏈在金融、政務、制造等領域的應用場景,另一方面積極開展各.

1900/1/1 0:00:00
成都鏈安:流動性挖礦技術淺析-ODAILY_COM:COMOS幣

隨著Compound及Balancer項目的上線,流動性挖礦熱度爆增。在過去的一個月內,以太坊上的流動性挖礦項目鎖倉持續增長,截至目前,Compound項目鎖倉已超16億美元.

1900/1/1 0:00:00
BSN發展聯盟合格開發者管理制度「7月31日更新」-ODAILY_BSN:DMChain

區塊鏈服務網絡發展聯盟合格開發者管理制度 第一章總則 第一條區塊鏈服務網絡是一個跨云服務、跨門戶、跨底層框架,用于部署和運行各類區塊鏈應用的全球性基礎設施網絡.

1900/1/1 0:00:00
比特幣不動如山可能只是因為缺點它-ODAILY_比特幣:Kitcoin

行情回顧: 昨天整日上處于弱勢震蕩行情,早間開啟一路下行,今日凌晨4點鐘最低回探11570一線,隨后震蕩反彈上行,震蕩運行在11800-11700區間內,整體上沒有什么太大的波動.

1900/1/1 0:00:00
OKEX停止提幣,給我們的警示-ODAILY_中心化交易所:去中心化交易所

昨天OK交易所突然給出的一則公告震撼了整個幣圈:OK交易所停止提幣,具體什么時候恢復還要看后續的發展。交易所倒閉、跑路早就不是第一次發生,這樣的事件聽得耳朵都起繭,很多人都已經麻木了.

1900/1/1 0:00:00
ads