區塊鏈:獨家 | 如何讀審計報告之每個風險等級的實際案例

前面我們和大家介紹了靈蹤安全對風險等級的劃分，有讀者看了一定會好奇：每種風險分別都是什么樣的呢？

在這篇文章里我們就每個等級的風險具體舉出一些案例來說明致命風險、高危風險、中度風險和低風險分別是什么樣的。

致命風險是所有風險中等級最高的、最危險的，它需要項目方即刻解決，不能拖延。

這類風險最常見的就是合約中一些明顯可能導致編譯無法成功、或者在邏輯中出現明顯錯誤導致代碼的運行邏輯無法正確完成的地方。這種風險不處理，項目方的合約幾乎不可能通過編譯運行或不可能正常運行。

舉例來說，在合約實現中，變量賦值類型的不匹配，編譯器版本定義導致的編譯問題等都屬于這類風險。

獨家 | 金色財經鏈上活躍度播報:據歐科云鏈OKLink數據顯示，BTC 24h 鏈上活躍地址數總計774514，較前日下降11.97% ；鏈上交易量總計307742.91，較前日下降17.44% ；鏈上交易筆數總計239006，較前日下降19.5% ；BTC鏈上活躍度下降。

截至上午10時，全網算力約為105.23EH/s，較前日下降4.92EH/s，全網算力呈下降趨勢。[2020/5/18]

由于靈蹤安全在后期的報告中已經很少把這類風險寫在報告中，而是一旦發現就要求項目方立即解決，所以在我們后期的報告中很難直接看到這類風險，只在我們早期的報告中有這類風險的羅列。

高危風險在危險程度上僅次于致命風險，它極有可能給項目帶來嚴重問題，也需要項目方解決。

這類風險最常見的就是合約實現中的邏輯錯誤，比如計算錯誤等。

獨家 | 近7天比特幣搜索指數整體日均值為29228，整體同比上升95%:據百度指數數據，近7天以太坊搜索指數整體日均值為5421，整體同比上升63%，移動同比上升76%；近7天比特幣搜索指數整體日均值為29228，整體同比上升95%，移動同比上升117%。[2020/2/16]

舉例來說，質押挖礦是很多DeFi合約中都有的功能，質押挖礦的基本邏輯是用戶將某個數字資產抵押進礦池，然后合約會根據用戶抵押的資產占總抵押資產的比例來核算用戶該拿到多少獎勵。如果這個比例計算錯誤或者實現有誤，用戶無法拿到正確的獎勵，就會嚴重影響項目的聲譽。

獨家 | 金色財經CEO安鑫鑫：牛市最核心的指標是這個行業的大部分人是否在賺錢:在今日由庫神主辦、金色財經獨家直播的減半行情分享會上，金色財經CEO、金色學院創始人安鑫鑫對于“目前算是牛市嗎？還有幾個月比特幣就減半了，后面行情估計會怎樣？”問題回答時表示，對于牛市這個觀點，做為一個媒體看行業來看，比特幣價格的漲和跌以及主流幣的漲和跌，并不是牛市的唯一的指標。最核心的指標是這個行業的大部分人是否在賺錢。比如說在交易所的交易量的增加，交易所在賺錢。交易所賺錢了，就會把錢流到更多的一些服務商，服務商也開始賺錢，有更多的資金去運作，去激活市場，然后市場也會有非常多的反饋，用戶也會有更多的入場資金參與到這個市場來。從這幾個方面來看的話，現在已經有了這個雛形。在整個行業里面，這個周期性是非常常見的，每一波牛市和熊市都會留下非常多的優秀企業和品牌以及人。但也會洗出去非常多的不堅定或者是做的不太好的品牌和團隊。即使是在現在有疫情的情況下，這兩周我們也能感受到有非常多的新的項目和新的團隊已經開始規劃、參與到這個行業里來。已經儲備了足夠的資金和團隊，開始加入這個市場，而用戶端也有非常大的增長。[2020/2/14]

高危風險現在也很少會被我們羅列在報告中，而是我們一旦發現這類風險就會要求項目方立即修正。讀者可以在我們早期出具的報告中看這類風險的詳細舉例。

金色獨家 中國西部互聯網與大數據產業分會會長 趙勇：區塊鏈缺失了算力協同和資源撮合機制:中國西部互聯網與大數據產業分會會長、融數鏈創始人趙勇認為，區塊鏈發展還處于早期，目前集中解決的問題還集中在鏈的穩定性和提高TPS方面，智能合約以及分布式自治都有了雛形，但是協同方面幾乎還沒有。真正進入工業應用的操作系統，需要一個高效率的撮合系統，這個系統就是要把點對點的資源做匹配，即算力和需求做匹配和撮合，撮合之后再來進行協同任務。這些環節，區塊鏈還是缺失的。[2018/6/20]

中度風險相較于高危風險等級又次一級，它有可能給項目帶來潛在問題，最終還是要項目方解決。

這類風險比較常見的有管理員權限控制的問題。

比如在DeFi協議中通常都會有發行代幣的功能。而通常控制代幣發行的地址就是管理員，所以在這類合約中，管理員的權限是相當大的。在一些代碼實現中，由于項目功能復雜以及運維方面的需要，管理員不僅自己有權決定是否發行代幣甚至還有權力決定是否賦予其它的地址這樣的權力，讓其它地址也能發行代幣。

這就產生了安全隱患：如果項目管理員的權限被盜或者管理員自己出現道德風險、濫用這個權力，那代幣的發行就不受控制了。

這類風險是由合約邏輯引入的，但邏輯的實現又不得不如此，并且有時在合約部署初期，為了讓項目能高效運轉，還要保持這種管理員權限運作一段時間，這都給項目帶來了潛在的風險。

項目方帶著這種風險進行操作也是小心翼翼、如履薄冰，它就像達摩克里斯劍一樣懸在項目方和用戶的頭頂，隨時有掉落的風險。

對這類風險我們會強烈建議項目方在運作一段時間后，將管理員權限轉交社區或者多簽錢包，以規避這類風險。

低風險是所有風險中級別最低的，通常它表現為一些細節問題、警告信息等，暫時來說這個等級的問題可以不用解決，但項目方最后在未來某個新版本中解決這類問題。

這類風險涉及的細節和具體問題比較零散和瑣碎，我們常見的有函數或變量命名方面的問題。

對函數或變量的命名如何通常普通用戶是不會感知的，但對項目方自己維護代碼或其它合約調用這些函數在某些情況下會產生一定困擾。

通常函數或便令命名出現的問題就是“詞不達意”，即命名和它實際在合約中起的邏輯作用不同，比如一個函數是要設置某個變量的值，我們通常會將這個函數命名為“setXXX”，但由于筆誤或其它原因，項目方將其命名為“getXXX”，這就讓函數的名字和它的真實作用讀起來南轅北轍了。

這樣的代碼時間一久，當項目方自己再回頭來維護或修改時，如果不仔細看代碼就會誤解函數的功能，從而錯誤地調用它。

因此靈蹤安全對這類風險也建議項目方在方便的時間修改。

作者：

靈蹤安全CEO譚粵飛

美國弗吉尼亞理工大學(VirginiaTech,Blacksburg,VA,USA)工業工程碩士(Master)。曾任美國硅谷半導體公司AIBTInc軟件工程師，負責底層控制系統的開發、設備制程的程序實現、算法的設計，并負責與臺積電的全面技術對接和交流。自2011至今，從事嵌入式，互聯網及區塊鏈技術的研究，深圳大學創業學院《區塊鏈概論》課程教師，中山大學區塊鏈與智能中心客座研究員，廣東省金融創新研究會常務理事?。個人擁有4項區塊鏈相關專利、3本出版著作。

關于靈蹤安全：

靈蹤安全科技有限公司是一家專注區塊鏈生態安全的公司。靈蹤安全科技主要通過“代碼風險檢測+邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月，團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。

團隊成員參與發起并提交了以太坊領域的多項標準草案，包括ERC-1646、ERC-2569、ERC-2794，其中ERC-2569被以太坊團隊正式收入。

團隊參與了多項以太坊項目的發起及構建，包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目，并參與了多個項目的安全審計工作，在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。

Tags：區塊鏈比特幣以太坊CEO區塊鏈技術專業比特幣交易所app下載幸運以太坊幣值多少錢CEO Token

以太坊最新價格