比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > 非小號 > Info

區塊鏈:起源故事:甕城、沙盒與可信計算-ODAILY_LAVE

Author:

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

本文來源:Phala可信網絡

作者:佟林,PhalaNetworkCEO

https://mp.weixin.qq.com/

甕城

公元1268年,忽必烈派劉整與阿術率軍攻打襄陽,發起元滅宋之戰。史稱襄樊之戰。擁有“上帝之鞭”稱號之一的蒙古軍隊,在襄陽打了整整六年。1269年,忽必烈又派丞相史天澤助戰。蒙古軍在襄、樊二城四周修筑城圍,并封鎖了漢水,多次打退南宋援軍。蒙古決定不惜一切代價奪取襄陽,各地的軍隊也是源源不斷地開往襄陽,在短短一年之內圍困襄陽的蒙軍就增至了10萬。

但是,呂文德所建立的守城軍隊也不容小視。他們憑借襄陽夾漢水,地險城固的有利地形,特別是守備措施充分、物資儲備豐富,使得蒙軍雖然急切但也在短時間內拿不下襄陽。直到1274,宋朝多次援救襄樊均被擊潰且城內糧草耗盡的前提下,守將呂文煥才最終投降。1279年,陸秀夫背著南宋最后一個皇帝跳海,南宋滅亡。

襄陽能守住6年之久的關鍵,除了蒙古自身因為蒙哥身亡導致的戰略不穩、襄陽乃至南宋人民同仇敵愾、南宋戰略布局多次出動救圍戰役外,還有個很有意思的原因:襄陽本身固若金湯,不僅圍繞漢水天塹而建,且擁有最寬的護城河,還有繼承自北宋開始的“甕城”設計。

很多人不理解,為什么戰爭片里不直接攻打城門?通過城門進入城市不就勝利了?

古代人雖然知識水平有限,但是智商和我們是一致的,他們這么做是因為在上千年的攻守經驗中演化出了一套硬件、軟件層的防御系統。即使你攻入了城門,還有這樣的景象等著你,你會深刻理解“甕中之鱉”的含義:

神話起源CEO談毅:以太坊GAS和速度以及智能合約是未來突破的方向:金色財經現場報道,在8月8日由金色財經主辦的金色沙龍活動中,神話起源CEO談毅在主題《哪些Web3敘事將引領下輪牛市》的圓桌會議中表示,以太坊有三個大家可以關注的點,以及存在的核心價值。一個是GAS,一個是速度,一個是智能合約,這是以太坊做這么大的核心。換句話說,未來的突破也在這三個方向上。

以GAS和速度為例,一個是2.0的升級,今年下半年能不能如期推出,推出以后的效果,能不能像人們預期的那樣。這有可能是一下子給加密資產帶來一個新的臺階。做L2的團隊,也在L2層面上解決這個問題,一個是速度,一個是GAS。第三個是智能合約,以太坊就是行業標準。它從NFT開始,ERC-721以后,還有EIP-1159,今年好像也有新的智能合約的協議會提交出來做審核。所以如果從這三個點上突破的話,以太坊的價值和生態能進一步的擴大和提升。尤其是智能合約。今年可以看到有很多創新想法,隨著NFT往下發展,在用新的智能合約做,這都是以太坊可以關注的點。

此外,他還表示,游戲資產能天然跟區塊鏈做融合,既符合有非常大的資產價格波動性,又是可觸及的。通過可觸及的方式,讓更多的圈外人進來。[2023/8/8 21:32:31]

先民們為了防止城門被突破,又在城內設置了一圈“內城”,因此你打開門后會發現進了一個牢籠。甕城內部的空間一般都極其有限,隊伍在圓形一圈厚厚的城墻里動彈不得,而且弓箭手已經圍一圈比賽射擊了。

甕城的設計思路可以總結為:

針對易被攻破的模塊,設計單獨的雙重保護機制

限制不信任對象的行為

構建易于清理不信任對象的結構

這個設計后來應用在計算機防御系統設計中,稱為“沙盒模型”。

沙盒

在計算機安全領域,沙盒是一種安全機制,為運行中的程序提供的隔離環境。其運用流程是:讓疑似病文件的可疑行為在虛擬的“沙盒”里充分表演,“沙盒”會記下它的每一個動作;當疑似病充分暴露了其病屬性后,“沙盒”就會執行“回滾”機制:將病的痕跡和動作抹去,恢復系統到正常狀態。

起源庫CEO全俊旭:預言機會有很大增長空間:金色財經現場報道,與時共創2020金色財經頒獎盛典12月26日在三亞舉行。在圓桌論壇“如何突破技術到應用的瓶頸?”環節,起源庫CEO全俊旭表示,談瓶頸問題主要是以太坊的瓶頸,以太坊的TPS在15左右,更高性能要求以太坊無法滿足。另外鏈與鏈互通也是沒有解決的問題,比特幣無法加入DeFi生態。他還表示,預言機會有很大增長空間,因為如果沒有預言機打通鏈下數據,區塊鏈和現實世界無法關聯,再說區塊鏈如何落地意義不大。[2020/12/26 16:34:44]

因此,和甕城類似,其設計理論上保障了以下幾點:

針對易于感染惡意程序的對象,設計雙重保護:通過虛擬化環境,能夠實現包括系統級別的沙箱和容器級別的沙箱

嚴格限制不信任對象的行為:沙盒提供用后即回收的磁盤及內存空間,網絡訪問、對真實系統的訪問、對輸入設備的讀取通常被禁止或是嚴格限制

一旦發現惡意程序,通過重定向,可以把文件、注冊表等路徑重定向到其他位置,這樣軟件本來想操作的資源就不會被訪問或者操作,保證資源的安全性。

這種將“假定不信任”模塊約束的模型,可以簡化為:

但是這種模型依賴檢測能力。只要惡意程序能夠做到充分掩飾,或以某種方式規避了安全掃描,它們就能自由感染用戶的設備,最終侵入到公司網絡和關鍵業務系統。

隨著惡意用戶的攻擊手段變化多端,防護者只能把防火墻越砌越高、入侵檢測越做越復雜、惡意代碼庫越做越大,誤報率也隨之增多,使得安全的投入不斷增加,維護與管理變得更加復雜和難以實施,信息系統的使用效率大大降低,而對新的攻擊毫無防御能力。對于檢測-響應式的安全策略,只要惡意程序能夠騙過甕城守衛軍,他們就能自由入內。

Conflux發起第二期區塊鏈KOL培養計劃“起源計劃”:據官方消息,“起源計劃”是Conflux發起的區塊鏈KOL培養計劃,旨在發掘社區力量并以短視頻形式通俗易懂地向大眾科普區塊鏈基礎知識,培養有短視頻創作能力的社區成員作為普及區塊鏈及密碼學基礎知識的先驅。第一期起源計劃中涌現了一批社區個人流量,在中、越、韓累計觸及人群10萬+。起源計劃第二期報名已于7月24日啟動,預計持續兩個月。詳情請見Conflux官方社區。[2020/7/28]

因此,計算機系統還衍生了一種新的安全模型,一般稱為“可信執行環境”技術。與"Sandbox"模型恰恰相反,可信計算假定“信任”是稀缺的。TEE是從邏輯正確驗證、計算體系結構和計算模式等方面的技術創新,以解決邏輯缺陷不被攻擊者所利用的問題,形成攻防矛盾的統一體,確保完成計算任務的邏輯組合不被篡改和破壞。

可信計算技術

可信計算技術的發展

1983年,美國國防部制定了世界上第一個《可信計算機系統評價標準》,第一次提出了可信計算機和可信計算基的概念,并把TCB作為系統系統安全的基礎。

1990年,國際標準化組織與國際電子技術委員會ISO/IEC在其發布的目錄服務系列標準中基于行為預期性定義了可信性:如果第2個實體完全按照第1個實體的預期行動時,則第1個實體認為第2個實體是可信的。

1999年,IBM、HP、Intel和微軟等著名IT企業發起成立了可信計算平臺聯盟,這標志著可信計算進入產業界。

2003年,TCPA改組為可信計算組織。目前,TCG已經制定了一系列的可信計算技術規范,如可信PC、可信平臺模塊、可信軟件棧、可信網絡連接、可信手機模塊等,且不斷地對這些技術規范進行修改完善和版本升級。

Conflux宣布開啟“起源計劃”:Conflux宣布將設立價值100,000美元獎池開啟社區KOL“起源計劃”。“起源計劃”為Conflux發起的區塊鏈KOL培養計劃,第一期火熱報名中!本期獎池超過100,000FC,計劃通過一個月時間培養20名有短視頻創作能力的成員作為普及區塊鏈及密碼學基礎知識的先驅。更多詳情請查看原文。[2020/4/13]

2009年,OMTP在《omtpadvancedtrustedenvironmentomtptr1v11.pdf》中定義了TEE,定義為“一組軟硬件組件,可以為應用程序提供必要的設施”,需要滿足兩種定義的安全級別中的一種。第一個安全級別目標是應對軟件攻擊,第二個安全級別目標是同時應對軟件和硬件攻擊。

下面我們講幾個TEE計算機理論中的重要概念。

信任根與信任鏈

可信計算的思想是在計算機系統中先建立一個信任根:從信任根開始,到硬件平臺、操作系統、應用,一級度量一級,一級信任一級,把這種信任擴展到整個計算機系統,并采取防護措施,確保計算資源的數據完整性和行為的預期性,從而提高計算機系統的可信性。

可信根

通常是可信硬件芯片。可信計算通過芯片廠家植入在可信硬件中的算法和秘鑰,以及集成的專用微控制器對軟件棧進行度量和驗證來確保可信。根據安全芯片和其上運行的可信軟件基分類,業界目前主流的可信計算標準主要有三種:TrustedPlatformModule、TrustedCryptographyModule和TrustedPlatformControlModule(TPCM)。

信任鏈

主要作用是將信任關系擴展到整個計算機平臺,它建立在信任根的基礎上。信任鏈可以通過可信度量機制來獲取各種各樣影響平臺可信性的數據,并通過將這些數據與預期數據進行比較,來判斷平臺的可信性。

可信主要通過度量和驗證的技術手段實現。

金色財經現場報道 元道:三無幣加上快速傳播制造了整個泡沫的起源:金色財經現場報道,中關村區塊鏈聯盟理事長、世紀互聯創始人、中國互聯網協會常務理事元道指出:三無幣加上快速傳播,制造了整個泡沫的起源,這個一方面因為人們確實看到了區塊鏈是一個新技術革命的開始,另一方面反映出確實市場上存在的一批三無的空氣幣,沒有信仰,沒有代碼,沒有真正的執行團隊。因為有了互聯網,人人有手機,這些在全世界范圍大范圍傳播,三無幣加上快速傳播,帶來了整個泡沫的起源,這個現象是客觀存在的。[2018/5/26]

度量就是采集所檢測的軟件或系統的狀態

驗證是將度量結果和參考值比對看是否一致,如果一致表示驗證通過,如果不一致則表示驗證失敗。

建立信任鏈時遵循以下3條規則:

所有模塊或組件,除了CRTM,在沒有經過度量以前,均認為是不可信的。同時,只有通過可信度量且與預期數據相符的模塊或組件,才可歸入可信邊界內。

可信邊界內部的模塊或組件,可以作為驗證代理,對尚未完成驗證的模塊或組件進行完整性驗證。

只有可信邊界內的模塊或組件,才可以獲得相關的TPM控制權,可信邊界以外的模塊或組件無法控制或使用可信平臺模塊。

TPM

一般,可信計算平臺由TPM芯片機器密鑰和相應軟件作為信任根。

TPM本身是一個SOC芯片,由CPU、存儲器、I/O、密碼協處理器、隨機數產生器和嵌入式操作系統等部件組成,主要用于可信度量的存儲、可信度量的報告、密鑰產生、加密和簽名、數據安全存儲等功能。通過將密鑰封裝在芯片內部,讓外界無法訪問,只有TPM認可的合法應用請求時,TPM才會在芯片內部對數據進行解密,并將解密后的數據送往內存。

TPM的使用一定程度上降低了重要數據被木馬等惡意軟件竊取的風險,但卻無法防御運行時攻擊,如果黑客在合法應用運行時進行破解,直接去內存讀解密后的數據,這樣TPM就形同虛設了。

為了解決這個問題,我們還應該想辦法使得黑客無法讀取合法應用所使用的內存空間,可信執行環境的提出,正是基于這樣的背景。

TEE與REE

2010年,GlobalPlatform首次宣布了一整套TEE系統體系標準。GlobalPlatform的系列TEE規范,這也是當前許多商業或者開源產品一般都會參考該規范,并按照其定義的各種功能接口進行規范實現。

GlobalPlatform從接口、協議實現層面上對TEE進行了部分的規范定義,以及典型應用規范定義。可以看出,可信執行環境應該有如下幾個特征:

軟硬件協同的安全機制:隔離是其本質屬性,隔離可以是通過軟件,也可以是硬件實現,更多的軟件、硬件、IP、總線一體的安全機制

算力共享:能使用CPU的同等算力、硬件資源

開放性:有對應的REE側,才有TEE的必要性,只有在開放性中才需要可信執行環境的保護

到這里,我們大概可以看出,TEE技術與沙盒模型的區別了:一個是有罪推定原則指導的設計,一個是無罪推定原則指導的設計。

在有罪推定的模型中,TEE是相對REE而言的。一般稱TEE和REE為SecureWorld和NormalWorld。比如一個系統平時是跑在NormalWorld上,但當有些安全性要求比較高的行為,例如人臉數據比對、或支付時用私鑰簽名等任務,需要運行在SecureWorld里

TrustZone

2006年,ARM從ARMv6架構開始引入了TrustZone技術。TrustZone技術將CPU的工作狀態分為了正常世界狀態和安全世界狀態。

支持TrustZone技術的芯片提供了對外圍硬件資源的硬件級別的保護和安全隔離。當CPU、處于正常狀態時,任何應用都無法訪問安全硬件設備,也無法訪問屬于安全世界狀態下的內存、緩存以及其他外圍安全硬件設備。

在具體的應用環境中,可以將用戶的敏感數據保存到TEE中,并由可信應用使用重要算法和處理邏輯來完成對數據的處理。當需要用戶的敏感數據做身份驗證時,則通過在REE側定義具體的請求編號從TEE側獲取驗證結果。

IntelSGX

2013年,英特爾推出了基于TEE的指令集擴展:SGX,旨在通過硬件安全為強制性保障,不依賴于固件和軟件的安全狀態,給用戶空間提供可信執行環境。

SGX通過一組新的指令集擴展與訪問控制機制,實現不同程序間的隔離運行,保障用戶關鍵代碼和數據的機密性與完整性不受惡意軟件的破壞。

與ARMTrustZone的思想不同,SGX采取的方式并不是識別和隔離平臺上的所有惡意軟件,而是將合法軟件的安全操作封裝在一個Enclave中,保護其不受惡意軟件的攻擊,特權或者非特權軟件都無法訪問Enclave。

一旦軟件和數據位于Enclave中,即便操作系統也無法影響Enclave里面的代碼和數據。Enclave的安全邊界只包含CPU和它自身,這一設計避免了基于軟件的TEE自身存在軟件安全漏洞與威脅的缺陷,極大地提升了系統安全保障。

目前,IntelSGX已允許第三方利用“遠程驗證”機制,構建自己的信任證書頒發。因此在商用層面上,IntelSGX相對比較成熟。

SGX的問題

但是目前IntelSGX也存在一些問題:

過于依賴英特爾。也就是所謂“中心化”,這也是MPC的多種方案中TEE常常被抨擊的點。

SGX提供的enclave可使用內存太小,當程序數量和規模增大時,需要換進換出頁面.為了保證安全性,需要對頁面進行完整性和機密性保障,導致系統開銷大。

無法抵御側信道攻擊。SGXEnclaves僅保護在圍圈中運行的代碼。這意味著不受信任的操作系統將保留服務資源管理任務,這為側信道攻擊打開了一個很大的缺口。事實上,最近的研究已經證明了一些針對英特爾SGX的側信道攻擊是有效的。

由于enclave處于用戶態,其自身無法執行系統調用,需要與不可信區域進行交互(運行庫的支持有限,接口的安全性)。在執行系統調用前需要退出enclave,執行完成后將結果返回到enclave中,增大了安全風險和系統開銷。

不同的計算機系統設計有不同的對象,就好比我們不能讓甕城承擔市民居住的功能一樣,我們發現TEE與區塊鏈有可以互相補充的適用場景。

區塊鏈TEE能做到什么

區塊鏈對TEE的價值:

通過去中心化網絡和共識機制降低英特爾等廠商的安全風險和作惡可能性,保證可信鏈的可用性。PhalaNetwork未來會兼容多種TEE協議,因此即使英特爾被大規模攻擊,區塊鏈系統也能通過切換TPM節點等手段恢復數據、懲罰作惡節點。

解決Enclave與不可信區域交互的問題。區塊鏈最擅長的即是構建可信網絡,不論是BTC還是以太坊,其可信程度都達到了非常好的水平——甚至與TEE的可信程度類似。因此,讓TEE通過區塊鏈和區塊鏈智能合約交互是個非常好的互補場景。這也是Phala網絡需要跨鏈能力的重要原因。

TEE對區塊鏈的價值:隱私保護

一提到隱私保護,大家想到的就是Facebook隱私泄露什么的。其實不只是這樣,TEE可以實現的區塊鏈秘密保護更加泛化,還包括通用意義上的“機密”,比如商業類型的、業務沉淀的。

我們常常給隱私保護技術分成三個世代:

第一代技術的典型代表Zcash和門羅幣,他們通過零知識證明、環簽名、保密轉賬等技術實現了交易的隱私保護,一個突出的特點就是他們的技術可以保護原生幣的交易隱私。

第二代技術的典型代表是Aztec,一個以太坊上的隱私協議,采用和Zcash類似的技術,可以為任何ERC20代幣實現交易隱私。第二代技術是第一代的擴展,不過他們都只能實現交易隱私,如果涉及到圖靈完備的智能合約就無能為力了。

第三代技術,我們希望把“隱私保護”的概念拓展成“機密保護”,隱私不僅指用戶的交易隱私,更應該能保護智能合約中的任何機密數據不被泄漏。目前的智能合約技術,所有的數據都必須完全公開,而我們希望“機密智能合約”可以如同以太坊的圖靈完備智能合約一樣,可以進行通用的計算,但不必暴露機密數據。

目前機密智能合約技術可以通過多方計算與可信執行環境實現。前者基于同態加密、零知識證明等純密碼學技術,不依賴硬件,可以高效率的應用在一些特定領域,例如可驗證隨機數、分布式密鑰生成等,但在通用計算上有平均10^6倍的性能損失。后者基于可信計算硬件,但已經可以實現非常高效率的通用計算。

Tags:區塊鏈以太坊LAVEENC如何使用區塊鏈技術以太坊幣k線圖bitclaveEncyclopedia wTa

非小號
SOP:「SoPay」想讓數字貨幣錢包在體驗上接近支付寶,并將向游戲開發商開放支付接口-ODAILY_ZEROPAY

數字貨幣“小白”用戶仍對私鑰、地址等概念較為陌生,我身邊也有找不到密鑰、不會轉賬操作的朋友。區塊鏈底層技術確實不太好理解,但toC的產品為什么不能再簡單些?我近期接觸的SoPay,致力于讓錢包A.

1900/1/1 0:00:00
BNB:通往智能醫院的道路:輕松完成監管審計-ODAILY_togetherbnb和娜娜雙人互動

為什么醫療保健業還在糾結數據準確性O’Reilly近期的一篇報告顯示,由于缺乏搭建數據治理框架的資源,大多數機構仍在忙于處理數據質量問題.

1900/1/1 0:00:00
比特幣:Gate.io研究院:比特幣減產影響價格走勢研究報告-ODAILY_Gate.io

比特幣第三次減半在即,“比特幣減半是否開啟新一輪牛市”的討論在投資界層出不窮。Gate.io研究院從減半影響角度出發,通過對減半后發生可能發生的影響的群體進行探討,如價格趨勢、礦業、用戶群體等等.

1900/1/1 0:00:00
BTC:市場繼續高位盤整-ODAILY_ETCR價格

今日市場概況 今日市場總市值為2617億美元,相比昨日增加0.9%。交易量為1169億美元,相比昨日增加10%.

1900/1/1 0:00:00
區塊鏈:社區防疫上鏈,數據安全可查驗?-ODAILY_BAB

文/王巧 編輯/獨秀 疫情仍在持續,復工復產刻不容緩。人流聚集,給社區等公共場所的管理帶來了壓力。社區防疫成為至關重要的一環.

1900/1/1 0:00:00
USD:主流幣回調:平臺幣大漲-ODAILY_SDT

1.今日市場概況 今日市場總市值為2854億美元,相比昨日減少1.1%。交易量為1365億美元,相比昨日增加1.8%.

1900/1/1 0:00:00
ads