買比特幣 買比特幣
Ctrl+D 買比特幣
ads

FUN:獨家 | 如何讀審計報告之每個風險等級的實際案例_THUNDRR幣

Author:

Time:1900/1/1 0:00:00

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

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

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

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

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

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

獨家 | Bakkt期貨合約數據一覽:金色財經報道,Bakkt Volume Bot數據顯示,10月8日,Bakkt比特幣月度期貨合約日交易額為4750萬美元,同比下降29%,未平倉合約量為1466萬美元,同比持平。[2020/10/9]

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

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

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

獨家 | 金色財經2月20日礦幣數據播報:金色財經報道,據幣印礦池數據顯示:

主流幣挖礦日收益分別為:BTC(¥1.11/T)、ZEC(¥0.48/T)、LTC(¥20.24/G)、BSV(¥1.17/T)、BCH(¥1.16/T)、DASH(¥0.13/G)。

當前熱門礦機數據及凈收益分別為:神馬M20S(BTC,¥45.43)、螞蟻Z11(ZEC,¥51.10)、芯動A4+(LTC,¥5.71)。[2020/2/20]

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

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

獨家 | BKFUND&GDF 聯合創始人黃嶠濛:隨著usdt共識被打破 穩定幣2.0時代將要到來:就今日的USDT事件,金色財經獨家采訪到BKFUND&GDF 聯合創始人黃嶠濛,他表示,今天大量的投資人賣出USDT買入主流幣,導致數字資產市場大漲。隨著usdt共識被打破,其市場份額將面臨重大挑戰,新興穩定幣的春天不遠了,穩定幣2.0時代將要到來。[2018/10/15]

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

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

獨家 | Topfund總裁劉思宇:token fund隨便投資項目就能翻倍的牛市已經過去:Topfund總裁劉思宇在接受金色財經獨家采訪時表示,token fund隨便投資項目就能翻倍的牛市已經過去,投資項目的風險增大,回報周期拉長,不確定性增加很大。現在投資區塊鏈項目需要真正去尋找能夠穿越熊市的區塊鏈項目。目前,有持續賺錢能力的大多還是二級量化能力強的基金。[2018/8/22]

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

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

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

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

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

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

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

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

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

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

作者:

靈蹤安全CEO譚粵飛

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

關于靈蹤安全:

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

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

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

Tags:區塊鏈FUNUNDFUND區塊鏈的未來發展前景怎么樣NFUNTHUNDRR幣smartfund

比特幣價格
GAT:Gate.io Startup首發項目圖騰 (TOTM)認購結果及上線交易公告_gate幣幣交易

1.關于首發項目圖騰(TOTM)認購結果Gate.ioStartup首發項目圖騰代幣TOTM于2021年04月06日11:00開始認購下單,12小時內下單同等對待,總共有10,038人下單.

1900/1/1 0:00:00
AEX:CNC、USDT、BTC交易區5%深度轉板幣種公示_DAEX

親愛AEX安銀小伙伴:?為方便幣種管理,AEX制定了《A網(AEX)關于隱藏交易對說明》,并在8月26日更新了5%深度調整規則,點擊了解最新《AEX安銀交易對管理規則調整》,根據管理相關規定.

1900/1/1 0:00:00
比特幣:4.7BTC,ETH,DOGE,DOT.FIL分析及操作建議_Macroverse

在幣圈,無論你做的是什么幣種,還是在做數字貨幣的交易,都躲不過交易大盤起起伏伏的風云變幻,看著那些不斷漲漲停停的曲線,讓人眼花繚亂,甚至一些投資者為了盯盤,累人又累心.

1900/1/1 0:00:00
URG:為什么億邦會被做空機構成功狙擊?_Wenburn

北京時間4月6日晚20點,做空機構興登堡研究發布礦機廠商億邦國際的做空報告,導致億邦盤前一度下跌超過20%;截止發稿前,億邦股價暫報5.33美元,跌幅收窄至15.78%.

1900/1/1 0:00:00
ICK:uniswap V3技術白皮書導讀:核心是流動性集中_SWAP

uniswapV3一公布就引發廣泛關注。相對V2來說,邏輯和代碼都復雜一些。V3的核心是通過盤口區間提供流動性,解決LP提供流動性時的資金利用率的問題.

1900/1/1 0:00:00
EXT:XT關于暫停 BNB-BEP2 充提的公告_COM

尊敬的XT用戶: BNB-BEP2錢包升級維護,XT現已暫停BNB-BEP2充值與提現業務。給您帶來的不便.

1900/1/1 0:00:00
ads