• <option id="cacee"><noscript id="cacee"></noscript></option>
  • <table id="cacee"><noscript id="cacee"></noscript></table>
  • <td id="cacee"></td>
  • <option id="cacee"></option>
  • <table id="cacee"></table>
  • <option id="cacee"><option id="cacee"></option></option>
  • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
    <option id="cacee"><option id="cacee"></option></option>
     找回密碼
     立即注冊

    掃一掃,登錄網站

    首頁 區塊鏈生態 查看內容
    • 15192
    • 0
    • 分享到

    區塊鏈技術真的安全嗎?

    2018-7-5 21:15

    來源: 鏈門戶

    未來區塊鏈技術面臨的潛在安全危險是什么?


    Odaily星球日報:你認為未來區塊鏈技術面臨的潛在安全危險是什么? 

    趙偉:有抗量子計算,所以量子計算不是問題,最大的問題是 PoW 太耗能,但是新型的 POS 等共識算法是人治,越來越中心化,導致黑客很容易攻擊。

    網狀結構中,你把這幾個點搞定,網絡也還是繼續運行;DPoS 機制,21 個節點背后可能是 7-8 個人,被恐怖分子一抓,要他做什么都做了。

    因此,網絡安全不安全,看誰說了算,PoW 就是礦機說了算,礦機就是數學,數學就是上帝之手,智能合約就是法律執行的一種。有句話說 code is law,不是代碼就是法律,而是數學。

    然而,代碼都是程序員寫的,可能會出錯,所以需要形式化驗證,也就是用數學來做審計。我設計過通用的代碼審計系統,之前沒有人用,現在爆發了,因為現在程序是錢本身。

    可是,這個程序的設計還存在一定問題。程序其實一個函數,就是滿足什么條件,我就做什么。那么我怎么證明這個函數沒有問題,我需要描述。這時候就需要一種描述智能合約的語言,就是形式化語言。

    在智能合約很簡單的時候,大家都能看出來,可是一旦復雜了,就需要用到形式化驗證,而且形式化語言大家都不會用,因此安全公司幫你搞定,最后變成一種服務。

    Odaily星球日報:怎么評估一個漏洞的重大級別?

    趙偉:業內有一個標準。破壞力級別從低到高分別是,導致信息泄露、DDOS 攻擊(宕機)、資產轉移。不過對漏洞的評級是很難的,有的小漏洞組合在一起就變成大漏洞,所以都要重視。

    版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。
    相關新聞
    發表評論

    請先 注冊/登錄 后參與評論

      回頂部
    • <option id="cacee"><noscript id="cacee"></noscript></option>
    • <table id="cacee"><noscript id="cacee"></noscript></table>
    • <td id="cacee"></td>
    • <option id="cacee"></option>
    • <table id="cacee"></table>
    • <option id="cacee"><option id="cacee"></option></option>
    • <table id="cacee"><source id="cacee"></source></table><td id="cacee"><rt id="cacee"></rt></td>
      <option id="cacee"><option id="cacee"></option></option>
      妖精视频