區塊鏈技術是為了解決信任問題,因為參與共識的節點之間缺乏信任。如果可以給節點們帶上測謊儀,任何一個人一旦撒謊,馬上就會報警,那節點之間的信任成本就可以降低不少,基于這類節點所建立的區塊鏈網絡也變得更為安全,這時候共識機制就能更多地承擔“高性能”等其他使命,不一定必須使用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;違規轉載法律必究。
首爾市農水產食品公司利用區塊鏈打造智慧農水產市場:首爾市農水產食品公司宣布推動智慧化綜合改建計劃,由韓國SK集團(SK Group)旗下SK C&C公司負責執行,內容包括農水產品的產地收獲開始,運輸、交易、質量檢測、大批發買賣等,所有過程皆采用人工智能(AI)、大數據(bid data)、區塊鏈(blockchain)、云端等數字科技,讓傳統市場成為智慧市場。(DIGITIMES)[2020/7/15]
Trail of Bits計劃利用零知識證明重塑漏洞披露流程:安全研究機構Trail of Bits宣布,正在與約翰霍普金斯大學的Matthew Green合作,使用零知識證明(zero-knowledge proofs)技術為科技公司和安全漏洞研究人員建立一種可信的基礎設施,在新的合作方式之下,雙方在針對漏洞披露(Vulnerability Disclosure)的流程中可進行合理的溝通,而不必擔心受到破壞或歧視。
在接下來的四年里,Trail of Bits 將會進一步推進零知識證明的理論極限,并為安全漏洞研究人員提供相應的軟件,用以產生漏洞可利用性的零知識證明。[2020/5/22]
動態 | 尼日利亞年輕企業家稱要利用區塊鏈幫助國民擺脫貧困:據CryptoNewsZ今日消息,尼日利亞拉各斯州的年輕企業家Omota Omotade Sparks Amos Sewanu在給該國經濟和金融犯罪委員會的公開信中稱,要利用區塊鏈技術將尼日利亞人帶出貧困線。 他表示,已經建立了一個聯通尼日利亞與全世界的區塊鏈“iBLedger”,能夠在短時間內消除尼日利亞的各種貧困。[2019/11/9]
動態 | 聯想服務與上海供應鏈公司、中國帝王蟹分會合作,利用聯想區塊鏈賦能數據溯源:據人民網消息,6月3日,聯想服務、上海魚我所欲供應鏈管理有限公司及中國水產流通與加工協會帝王蟹分會在滬簽約,正式成為生鮮溯源戰略合作伙伴。上海海關動植處處長肖文清出席簽約儀式,并為聯想將區塊鏈技術應用在生鮮溯源上的創新和落地實踐點贊:“區塊鏈技術能有效保證數據真實、透明、不可篡改,可做到對全鏈條的追溯。有助于杜絕走私食品案件的發生,避免國家稅款的流失。”[2019/6/5]
聲音 | 政協委員趙東亮:執法機關要充分利用區塊鏈技術保護著作權:據中國新聞出版廣電報消息,全國政協委員、江西省出版集團公司董事長趙東亮針對著作權保護提出建議:執法機關要充分利用新技術,將區塊鏈技術運用于作品版權登記中,發揮其多節點連接、分布式存儲、低信息傳輸成本的優勢,突破地域限制,提高監管的精準度和有效度。[2019/3/14]
今日,紐約時報自動廣告條提示,比特幣ATM來了,已落地硅谷圣布魯諾的Tanforan商場。這臺比特幣ATM機位于Tanforan商場Forever21旁邊的走廊上.
1900/1/1 0:00:00編者按:本文來自巴比特,星球日報經授權轉載。今年4月,一名伊斯蘭學者宣布,根據伊斯蘭教法,加密貨幣是“清真”的.
1900/1/1 0:00:00據Bitcoin報道,日本六家上市公司正計劃推出自己的加密貨幣交易平臺,其中包括運營日本最受歡迎的個人理財應用之一的MoneyForward。另外,有三家日本公司也宣布了計劃進入該領域的計劃.
1900/1/1 0:00:00文|盧曉明編輯|Mandy王夢蝶中心化數字資產交易所,不約而同地走在了自我顛覆的路上。在中心化交易所占據業內前三、巨頭瓜分市場份額的格局之下,擁擠的交易所賽道仍時有新玩家入場,其中,去中心化交易.
1900/1/1 0:00:00本文來自:幣圈邦德,作者:邦德2號,星球日報經授權轉發。前天OKEx推出數字資產交易所共贏計劃,準備再開100家交易所,雖然為其他交易所提供其經過多年開發積累的交易系統,但規定了這100家交易所.
1900/1/1 0:00:00據Yonhapnews報道,韓國一位資深金融監管機構的官員稱,自韓國金融監管機構今年1月禁止數字貨幣的匿名交易以來,在韓國瘋狂購買虛擬貨幣的投機行為得到了控制.
1900/1/1 0:00:00