RIA:利用可信硬件+圖計算，TRIAS想構建可信計算生態_TRIP

區塊鏈技術是為了解決信任問題，因為參與共識的節點之間缺乏信任。如果可以給節點們帶上測謊儀，任何一個人一旦撒謊，馬上就會報警，那節點之間的信任成本就可以降低不少，基于這類節點所建立的區塊鏈網絡也變得更為安全，這時候共識機制就能更多地承擔“高性能”等其他使命，不一定必須使用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；違規轉載法律必究。

劍橋大學專家將利用Tezos構建去中心化碳信用市場4C:11月10日消息，根據劍橋大學計算機科學與技術系發布的一份新聞稿，其專家將推出一個去中心化的碳信用市場。新平臺被稱為劍橋碳信用中心，或4C，將利用Tezos（XTZ）的技術工具。該平臺致力于解決下一代基于自然的保護和恢復項目，將為“碳信用”籌集的資金分配到最有潛力的項目中。（U.Today）[2021/11/10 6:44:30]

動態 | 黑客利用70萬臺舊Windows計算機上的漏洞挖掘加密貨幣:據BeInCrypto今日報道，有黑客利用70萬臺舊Windows計算機上的漏洞挖掘加密貨幣，許多電腦已經受到影響。Windows 7或更老的操作系統存在BlueKeep漏洞，黑客利用微軟的遠程桌面協議，可以輕易地遠程嵌入加密貨幣礦工，并從隨機目標中竊取私人信息。[2019/11/5]

動態 | 佛山市社區利用區塊鏈等技術建立社區共享文化:據珠江時報報道，廣東省佛山市禪城區祖廟街道建立“線上平臺+線下實體”相結合工作體系，拓展群眾的互動溝通渠道。祖廟通過“共享社區”手機APP，利用大數據和區塊鏈技術，喚醒沉淀的數據，將居民群眾可共享的資源、所需的服務信息發布在平臺上，進一步實現“需求清單”、“服務清單”的“智能”對接，提升社區的人文環境和逐步建立社區的共享文化，引導社區居民密切日常交往、參與公共事務、開展協商活動、組織鄰里互助，推動建立網絡化社區治理和服務新模式。[2019/1/10]

動態 | 濰坊市利用區塊鏈等技術建立橋涵積水警示和通行安全保障系統:7月27日，據齊魯壹點消息，近日，由濰坊市城管執法支隊承建的橋涵積水警示和通行安全保障系統項目通過市城市管理局組織的驗收。該系統利用了物聯網、區塊鏈、云計算、大數據等先進信息技術，對區域設施、服務等進行感知、分析和管理。據悉，其能在涵洞出現積水時自動啟動工作程序，及時準確地將橋涵積水水位信息實時投放到橋涵兩側的顯示屏上，提醒過往車輛和行人注意，避免誤入發生危險。[2018/7/27]

BitTrade與大學合作研究利用交易等級數據進行行為分析和預測:據日本數字貨幣交易所BitTrade官網消息，BitTrade已聯合一橋大學學院經營管理研究科宮川大介準教授的研究室共同發起一項數字貨幣相關合作研究。該研究將就個人投資者的數字貨幣買賣模型，利用交易等級數據進行行為分析和預測。[2018/6/1]

Tags：RIATRIASTRIEVIEutariaTRIAS價格TRIPShiba Evil

酷幣下載