以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

利用可信硬件+圖計算,TRIAS想構建可信計算生態_TRI:TRIAS價格

Author:

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

區塊鏈技術是為了解決信任問題,因為參與共識的節點之間缺乏信任。如果可以給節點們帶上測謊儀,任何一個人一旦撒謊,馬上就會報警,那節點之間的信任成本就可以降低不少,基于這類節點所建立的區塊鏈網絡也變得更為安全,這時候共識機制就能更多地承擔“高性能”等其他使命,不一定必須使用POW,也就提高了共識速度。后續可以做的事情也有了更多的想象空間。Odaily星球日報最近接觸的TRIAS創始人阮安邦認為,可信計算可以解決上述提到的公鏈節點之間的信任問題。可信硬件是可信計算的重要基礎之一,基于可信硬件可以在設備上構建一個可信執行環境(TEE,TrustedExecutionEnvironment)。相關技術包括已經成為國際標準的TPM、Intel開發的SGX等。可信硬件可以讓設備記錄系統或特定程序,一旦代碼被更改,痕跡會被記錄下來,因此利用可信硬件“我就知道我的程序在被正確運行”。這被用于監控服務器安全和物聯網設備安全,黑客難以默默黑掉軟件,只能直接黑硬件。阮安邦在博士期間研究的是云計算的可信執行,也就是“我怎么知道他對我的數據做了正確的操作”。可信硬件可以幫助解決這個問題,但需要有Supervisor一直監控著服務器的運行。此處的矛盾點是云的動態性與芯片需要被定點監控。云服務器并不綁定特定設備,而且更不能讓黑客知道用戶的服務器放在哪兒,否則黑客就能實施定點攻擊,這就使得定點監控芯片變得不太可能。去中心化可能是解決這個問題的方法。TRIAS設想的底層網絡Leviatom,是一個TEE+圖計算的去中心化節點監控網絡,讓節點們不斷監控相鄰節點并不斷更新,一旦廣播的狀態變化,其他節點也能快速知道。一個節點被更多的節點監控,意味著他的可信度更高。阮安邦設想,這個網絡支持需要支持多種TEE技術。一是為了防止某個品牌和廠商壟斷這個網絡;二是防止某種芯片一旦出現漏洞對全網造成影響。Leviatom網絡所使用的圖計算算法源自阮安邦在2011年起發表的一系列關于如何在云中有效建立去中心化的信任關系的論文,它類似Swirlds團隊提出的Hashgraph技術,通過Gossip網絡和虛擬投票策略更快實現共識。這種像社交關系一樣點對點的信任傳遞機制,是圖計算的一種。“我們計算過,任何一個人要成功撒謊,需要90%的人跟他同時撒謊。”相比起原來設想的云計算上的大監控中心,這樣就避免了定點監控,形成了一個去中心化的監控網絡。網絡會將節點的可信狀態同時記入賬本,這樣就形成了不同可信級別的節點排名。在這個算力網絡里,你可以看到有多少人在“直接”監測我的安全狀態,并且這些人自己的安全狀態是怎么樣的。這樣的網絡可以做什么?首先是一個可信計算平臺,可以用于運行智能合約或執行任意程序。因此,TRIAS設想的第一個模塊是一層layer2網絡,相當于負責合約執行的鏈下環境。類似的模式Odaily星球日報此前在Taxa和Ankr的報道已經說明過,在此不再贅述。Leviatom的核心在于其所形成的節點可信排名,基于此能做的事情可能很多。比如可以讓用戶自行定義執行環境的安全程度,所需安全程度高的用戶,可以讓數量更多、更可信的節點運行自身的程序并達成共識。也可以讓排名最高的一些節點構筑一條公鏈,讓開發者在上面部署Dapp,甚至EOS都可以直接從這個網絡里產生21個超級節點。這就需要一定的調度系統和激勵機制,畢竟更可信的節點會有更高的議價權。因此,TRIAS未來會設計一個MagCarta合約與通證體系,讓Dapp可以對Leviatom平臺中的算力節點做調度,實現他們之間的協作。“硬件是對的,但是如果軟件是錯的怎么辦。我們能執行代碼,對代碼本身的安全性卻不一定能夠保證。”阮安邦認為,對于非常簡單的智能合約代碼,技術人員可能一看就知道是否有后門或有害,但是對于復雜程序則不一定知道,加上在TEE中執行的程序代碼相當于被放進了保險柜,算力提供者看不到代碼。所以,他認為需要一套軟件溯源和審計的系統,去做代碼審計與自動化的安全分析。他希望基于Leviatom平臺,設計一套通用的程序DevSecOps框架Prometh,為軟件的供應鏈建立可信溯源體系。這能保證開發者的代碼不泄露和被拷走的同時,能受到安全評價模型審計,然后將其從源代碼到生成整個生命周期的哈希值存在鏈上,保證不被篡改。這個軟件有點像Visualstudio+AppStore。同時,TRIAS希望在激勵機制的基礎上,通過Prometh的評級加入保險機制,分數越高的軟件,安全度越高,保險杠桿越高,當出現安全問題時,就能獲得更高的賠償。TRIAS的這三個子系統,非常接近阮安邦在其博士論文中的三權分立云安全治理模型。他解釋,如果Codeislaw,負責程序審計并定義程序安全屬性的Prometh就像掌管了立法權;Leviatom負責執行,就像三權分立中的行政權;MagCarta負責裁定算力提供方與程序提供者的責任與分配利益。聽起來,TRIAS的藍圖實在太過宏大,尤其程序溯源體系Prometh。這樣一套代碼的設計難度本身就非常大。其次在商業上,目前流氓軟件盛行,愿意付費做“自審”的企業可能不多,應用市場可能會有類似要求,或者TRIAS自己做成一個應用市場。不過,阮安邦回應,在代碼設計上,TRIAS的團隊已經有一定經驗。他同時是網絡安全公司八分量創始人,后者專注于可信計算技術應用。八分量的企業級數據中心軟件溯源體系,在金融和政務云的場景中落地,解決數據中心內部安全痛點。未來八分量也計劃將這部分的軟件工具貢獻給社區。另外,在未來需求情況上,阮安邦認為軟件溯源體系類似現有區塊鏈的一大典型場景:農產品溯源+質量評估。造假的供應商一樣沒有讓別人來審計自己的動力,但是在一條健全的溯源體系和可溯源產品市場上,這樣的供應商會因為缺乏用戶的信任度,而最終被用戶淘汰。如果類似的可信評價覆蓋渠道足夠,或者用戶更注重安全,這樣的體系更能發揮作用。阮安邦也認為,這并不是一項簡單的工程,需要通過經濟體制激勵實現。TRIAS目前共有22名工程師,Leviatom的測試網絡計劃在3-4個月內上線。創始人建CEO阮安邦是是北京大學碩士、牛津大學計算機博士,在可信計算領域已有10年的科研積累,八分量創始人。CTO魏明是八分量的聯合創始人兼CTO,北京大學博士和碩士,前中國航天軟件研發中心高級架構師、西門子研究院工程師,其從業經驗設計涉及云計算、人工智能等領域,在八分量其間主持開發了DASO私鏈&聯盟鏈與持續免疫系統的安全架構,關注用戶的數據中心安全問題。我是Odaily星球日報編輯盧曉明,探索真實區塊鏈,爆料、交流請加微信lohiuming,煩請備注姓名、單位、職務和事由。附論文鏈接供參考RepCloud:achievingfine-grainedcloudTCBattestationwithreputationsystemsNeuronVisor:DefiningaFine-GrainedCloudRoot-of-TrustRepCloud:AttestingtoCloudServiceDependency原創文章,作者:盧曉明。轉載/內容合作/尋求報道請聯系report@odaily.com;違規轉載法律必究。

成都市郫都區利用區塊鏈等建立建筑垃圾信息化監管平臺:中國四川省成都市郫都區充分利用物聯網技術,融合人工智能、大數據、云計算與區塊鏈等技術,建立了“郫都區建筑垃圾(沙石)收運出信息化監管平臺”,通過車載智能終端、電子圍欄、場地監控以及使用無人機巡查等方式,進行“云監管”。(瀟湘晨報)[2020/11/6 11:47:22]

中國平安將利用區塊鏈等支持”三品一標”追溯體系建設:中國平安將通過”平安扶貧保”為廣東省產業扶貧項目提供2億元貼息貸款,貼息金額達1000萬元;利用云計算、區塊鏈、物聯網等技術,支持扶貧農產品”三品一標”追溯體系建設,對符合條件的扶貧農產品提供包含溯源保險的放心碼品質認證。(新華網)[2020/5/29]

半月談:一些團伙使用虛擬貨幣逃避監管,利用攝像頭視頻敲詐:新華社主辦的《半月談》雜志刊文稱,韓國“N號房”事件發生后,再度喚起公眾對攝像設備泄露隱私的擔憂。一些創造便利的物聯設備也可能成為不法分子窺探隱私的“千里眼”“順風耳”,形成網絡化、鏈條化的黑色產業鏈。物聯網存在的漏洞更是成為了違法犯罪的“溫床”。一些團伙使用虛擬貨幣進行交易以逃避監管,最終利用攝像頭視頻進行敲詐等。[2020/5/10]

動態 | 新西蘭推出利用區塊鏈溯源的配送系統:據BusinessDesk消息,新西蘭郵政、新西蘭國有食品企業AsureQuality和紐西蘭貿易暨企業發展局(NZ Trade and Enterprise)聯手為11家毛利葡萄酒和食品企業開發了一個在線購買產品的配送系統,可通過區塊鏈技術記錄每個產品的來源。屆時,中國網上購物者將可購買蜂蜜和葡萄酒等新西蘭商品,并通過區塊鏈技術確保其來源。此項服務將于11月11日光棍節期間在中國推出,區塊鏈技術將在今年春節假期前進行糅合。[2018/10/31]

聲音 | 中國能源研究會曾鳴:可利用區塊鏈技術發展分布式光伏產業:人民政協報7月17日訊,中國能源研究會能源互聯網專委會副主任兼秘書長曾鳴近日表示,我國的光伏產業要重點向分布式光伏發展,分布式光伏將是未來發展的大方向之一,可以通過區塊鏈技術,分散式交易的模式,逐步研究,給予政策配套。[2018/7/17]

Tags:區塊鏈TRIRIATRIAS區塊鏈專業好找工作嗎YTTRIUMmyria幣私募TRIAS價格

比特幣價格實時行情
馬斯克想做的媒體可信度評級,會借鑒區塊鏈社區的思路嗎?_STE:STEEM

今日,馬斯克在Twitter上發了一條消息,稱想要成立一個媒體可信度評級網站,并就此事發起一個投票活動。目前有30多萬網友參與投票,其中87%的網友表示支持.

1900/1/1 0:00:00
ICO合法化又落空?韓監管官員:暫不會聽從ICO合法化議案_SHOP:區塊鏈域名是什么意思

5月30日消息,據Cryptonews援引PerMoneyToday報道,針對國民委員會提出的將ICO合法化的議案,韓國金融服務委員會(FSC)的一位官員稱,他們現階段還不會聽從該提案的建議.

1900/1/1 0:00:00
有加密幣的地方就有黑客,FAB礦池被盜幣10萬枚后永久關閉_加密貨幣:FAB

代碼漏洞幾乎是不可避免的。據區塊鏈安全信息平臺Bcsec不完全統計,2年來區塊鏈黑客攻擊事件至少有100余起,公開曝出的金額損失達30億美元,這個數字還在不斷上升.

1900/1/1 0:00:00
英特爾將與DApp平臺Enigma共同發布區塊鏈測試網絡_區塊鏈:加密貨幣

據cointelegragh消息,英特爾將與DApp平臺Enigma共同發布區塊鏈測試網絡。Enigma是一家創業公司,去年9月完成了4500萬美元的ICO,該公司旨在為DApp創建一個更加私密.

1900/1/1 0:00:00
諾基亞用戶可以用自己的數據在區塊鏈上賺錢啦_STR:STREAM幣

本周三,在2018Coindesk共識大會上,區塊鏈數據平臺Streamr宣布與芬蘭電信巨頭諾基亞和加州軟件公司OSlsoft合作,允許移動客戶在區塊鏈上用自己的數據“賺錢”.

1900/1/1 0:00:00
星球專訪 | 區塊鏈游戲的未來玩法是頭號玩家,底層設施又是怎樣?_BAAS:區塊鏈游戲幣最高漲多少

游戲被認為是區塊鏈最佳的落地場景之一,入局該領域的公司越來越多。金山云就是其中之一。金山游戲云區塊鏈負責人朱江多次在公開場合表示對區塊鏈游戲的重視.

1900/1/1 0:00:00
ads