• <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>
     找回密碼
     立即注冊

    掃一掃,登錄網站

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

    學會區塊鏈代碼審計告訴你區塊鏈項目如何打假

    2018-5-18 12:57

    區塊鏈代碼審計成就完美合約


    區塊鏈智能合約通過代碼建立一套“法律合同”,軟件工程師創造一個完全無誤差的代碼是不可能的,程序員總存在疏忽的地方。紅岸科技和國防科技大學的Ulord區塊鏈項目研究團隊對市面上的區塊鏈智能合約進行了審計,他們的研究發現:

    對所有的程序員來說,寫一個沒有bug的代碼實在是太難了,即使采取了所有可能的預防措施,在復雜的軟件中也總會出現沒有預料到的執行路徑或可能的漏洞。

    這是為什么要代碼審計最重要的原因之一。

    區塊鏈中的 “法律合同”是一項受解釋和仲裁的約束,程序員很難去創造一個縝密的合約。在任意一個大的合約里,可能出現的文稿錯誤以及一些條款需要解釋和仲裁。

    同時,軟件工程師不是法律專家,反之亦然。起草一份好的合約需要各種各樣的技能,不一定與編寫的計算機程序兼容。

    因此,智能合約代碼在一定程度上都可能存在安全隱患。傳統的智能合約代碼審計主要利用人工,依靠code reviewer閱讀智能合約代碼。人工代碼審計最終還是依賴人的經驗,代碼審計效果不明顯,針對目前ETH大量代幣的智能合約,人工審計工作量大,難以高效的完成工作。

    在區塊鏈領域從事代碼審計業務的項目公司較少,目前每個代幣在上交易所之前,其區塊鏈智能合約代碼由交易所進行審察和判定,但交易所有時并不能完全有效地判斷合約是否完美。
    智能化代碼審計,利用計算機進行穩健性檢驗是當前代碼審計最重要的方式,掌握該項技術標準的國內公司并不多。

    但,區塊鏈代碼審計的重要性不言而喻,區塊鏈世界本身是相當安全的,但是由于人為撰寫代碼的問題,不可能完美,必須加強代碼有效性的識別。

    作者李虹含系中南財經政法大學產業升級與區域金融湖北省協同創新中心研究員
    版權申明:本內容來自于互聯網,屬第三方匯集推薦平臺。本文的版權歸原作者所有,文章言論不代表鏈門戶的觀點,鏈門戶不承擔任何法律責任。如有侵權請聯系QQ:3341927519進行反饋。
    1234
    相關新聞
    發表評論

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

      回頂部
    • <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>
      妖精视频