CERTIK官網(wǎng)公告信息：美國(guó)當(dāng)?shù)貢r(shí)間11月6日，美國(guó)區(qū)塊鏈安全審計(jì)公司CERTIK完成Super Trister去中心化借貸協(xié)議TLC智能合約代碼審計(jì)，并發(fā)布安全審計(jì)報(bào)告，審計(jì)結(jié)果未發(fā)現(xiàn)重大或關(guān)鍵或主要漏洞。
至此，Super Trister已通過(guò)包括成都BEOSIN鏈安科技在內(nèi)的TLC智能合約代碼“雙審計(jì)”。
圖1：CERTIK完成Super Trister去中心化借貸協(xié)議TLC智能合約代碼審計(jì)官網(wǎng)公告
美國(guó)區(qū)塊鏈安全審計(jì)公司CERTIK是由來(lái)自耶魯大學(xué)和哥倫比亞大學(xué)的科研團(tuán)隊(duì)攜數(shù)十年研究成果成立，通過(guò)“深度規(guī)范”的形式化驗(yàn)證技術(shù)為區(qū)塊鏈應(yīng)用和智能合約提供代碼安全審計(jì)服務(wù)。目前，CERTIK已獲幣安孵化器數(shù)百萬(wàn)美金投資。
基于對(duì)平臺(tái)技術(shù)安全的高要求，Super Trister將去中心化借貸協(xié)議TLC智能合約提交CERTIK進(jìn)行安全審計(jì)。此次審計(jì)，CERTIK充分利用了動(dòng)態(tài)分析，靜態(tài)分析和人工復(fù)核等技術(shù)，對(duì)項(xiàng)目協(xié)議進(jìn)行了全面檢查。審計(jì)結(jié)果并未發(fā)現(xiàn)重大或關(guān)鍵或主要漏洞，CERTIK已將優(yōu)化建議提交至Super Trister，這些建議已應(yīng)用于代碼庫(kù)的完善過(guò)程中。(審計(jì)報(bào)告查詢地址：https://shield.CERTIK.foundation/projects/tristersLightMinter )
圖2：Super Trister去中心化借貸協(xié)議TLC智能合約代碼安全審計(jì)結(jié)果預(yù)覽
合約審計(jì)的目的主要是檢查代碼規(guī)范性、常規(guī)漏洞、安全漏洞、業(yè)務(wù)邏輯漏洞等，最關(guān)鍵是減少因代碼導(dǎo)致的業(yè)務(wù)無(wú)法按預(yù)期正常運(yùn)轉(zhuǎn)，其次是保障資金的安全;第三方面也是體現(xiàn)智能合約部署后的“公平、公開、公正、透明”等。同時(shí)，也是以此減少遭受黑客攻擊的可能性。除此之外，還能將產(chǎn)品上線前將風(fēng)險(xiǎn)降到最低。
“沒(méi)有一個(gè)絕對(duì)的安全系統(tǒng)”，這是網(wǎng)絡(luò)安全領(lǐng)域的一句警語(yǔ)，也是黑客對(duì)安全防護(hù)的戲謔。區(qū)塊鏈自帶金融屬性，近年來(lái)，上到交易所，下至錢包、DAPP應(yīng)用，無(wú)一不是黑客的目標(biāo)，其抓住這些平臺(tái)代碼的漏洞，進(jìn)行攻擊甚至勒索。這些平臺(tái)一旦發(fā)生“盜幣”事件，便很難找回資產(chǎn)。因此，代碼安全審計(jì)尤為重要。
圖3：Super Trister去中心化借貸協(xié)議TLC通過(guò)美國(guó)安全審計(jì)公司CERTIK智能合約代碼審計(jì)
Super Trister于2020年11月3日開啟流動(dòng)性挖礦，現(xiàn)已支持ETH、USDT、TLC、HT、MANA、LINK、COMP、BNB、YFI等17個(gè)指定幣種。在此之前，Super Trister向成都BEOSIN鏈安科技提交了TLC智能合約代碼審計(jì)，并于10月30日通過(guò)成都BEOSIN鏈安科技安全審計(jì)。
成都BEOSIN鏈安科技安全審計(jì)的內(nèi)容包含譯器版本安全審計(jì)、棄用項(xiàng)審計(jì)、冗余代碼審計(jì)、require/assert使用審計(jì)、gas消耗審計(jì)、整型溢出審計(jì)、重入攻擊審計(jì)、偽隨機(jī)數(shù)生成審計(jì)、交易順序依賴審計(jì)、拒絕服務(wù)攻擊審計(jì)、函數(shù)調(diào)用權(quán)限審計(jì)、call/delegatecall安全審計(jì)、返回值安全審計(jì)、tx.origin使用安全審計(jì)、重放攻擊審計(jì)、變量覆蓋審計(jì)、業(yè)務(wù)邏輯審計(jì)、業(yè)務(wù)實(shí)現(xiàn)審計(jì)等，合約審計(jì)結(jié)果為全部通過(guò)。(審計(jì)報(bào)告查詢地址：https://beosin.com/query/index.html#/ )
圖4：TLC智能合約代碼審計(jì)報(bào)告下載頁(yè)面(成都BEOSIN鏈安科技官網(wǎng))
成都BEOSIN鏈安科技，是全球一流的區(qū)塊鏈安全公司，成立于2018年3月，致力于區(qū)塊鏈安全生態(tài)建設(shè)。鏈安科技作為中國(guó)通信院可信區(qū)塊鏈聯(lián)盟理事單位，參與了工信部多項(xiàng)區(qū)塊鏈安全標(biāo)準(zhǔn)和白皮書的撰寫，并入選工信部《2018中國(guó)區(qū)塊鏈產(chǎn)業(yè)白皮書》。BEOSIN作為一家在行業(yè)內(nèi)極具權(quán)威性的安全審計(jì)公司，Super Trister為什么在通過(guò)鏈安科技安全審計(jì)之后，還要將智能合約代碼提交同樣極具權(quán)威性的美國(guó)安全審計(jì)公司CERTIK進(jìn)行智能合約代碼審計(jì)呢?答案在于，進(jìn)行漏洞排查，保障安全再安全。
DeFi賽道因其可組合、可拓展、可落地的一系列金融屬性，成為了傳統(tǒng)金融接軌區(qū)塊鏈技術(shù)的焦點(diǎn)領(lǐng)域，Super Trister作為DeFi技術(shù)創(chuàng)新應(yīng)用，選擇CERTIK與BEOSIN鏈安科技兩家全球頂級(jí)的對(duì)智能合約進(jìn)行“雙審計(jì)”，預(yù)防潛在風(fēng)險(xiǎn)威脅，保障用戶資產(chǎn)安全的舉措，也是為DeFi技術(shù)領(lǐng)域樹立一個(gè)典范。
（免責(zé)聲明：本網(wǎng)站內(nèi)容主要來(lái)自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性，但不保證有關(guān)資料的準(zhǔn)確性及可靠性，讀者在使用前請(qǐng)進(jìn)一步核實(shí)，并對(duì)任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對(duì)有關(guān)資料所引致的錯(cuò)誤、不確或遺漏，概不負(fù)任何法律責(zé)任。
任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁(yè)或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí)，應(yīng)及時(shí)向本網(wǎng)站提出書面權(quán)利通知或不實(shí)情況說(shuō)明，并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后，將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí)，溝通刪除相關(guān)內(nèi)容或斷開相關(guān)鏈接。 ）
