時(shí)間:2023-08-08|瀏覽:213
KingSwap已成功通過第三方智能合約審計(jì)公司–Celticlab Private Limited的審計(jì)(網(wǎng)址: https://www.celticlab.com/)。該公司擁有豐富的區(qū)塊鏈經(jīng)驗(yàn),并且其團(tuán)隊(duì)過去進(jìn)行了多次智能合約審計(jì)。
KingSwap已完成了6份智能合約的審計(jì),如下:
1、$KING代幣(ERC20);
2、$KING鑄造智能合約;
3、參與者資金智能合約;
4、國王NFT(ERC721);
5、女王NFT(ERC721);
6、騎士NFT(ERC721)。
我們上傳到Github上的審計(jì),進(jìn)行了手動(dòng)和自動(dòng)驗(yàn)證,并手動(dòng)分析了完整合約,檢查了每個(gè)邏輯并將其與合約中的注釋進(jìn)行比較。智能合約審計(jì)員對(duì)代碼進(jìn)行的手動(dòng)分析證實(shí),合同不包含任何嚴(yán)重的敏感性。在各種智能合約的邏輯與所提供的智能合約文件之間,沒有發(fā)現(xiàn)任何分歧。
結(jié)論與結(jié)果
在審計(jì)報(bào)告中,得出了關(guān)于6份智能合約的結(jié)論。已經(jīng)對(duì)智能合約進(jìn)行了不同方面的分析。發(fā)現(xiàn)代碼質(zhì)量非常好,并且模塊化程度很高。審計(jì)結(jié)果發(fā)現(xiàn),智能合約采用了非常好的編碼實(shí)踐,并且具有簡潔的文檔化代碼。未發(fā)現(xiàn)嚴(yán)重差異。
更多細(xì)節(jié)
發(fā)現(xiàn)KingSwap代碼庫的注釋很少,例如:
1)編譯器版本不固定。
2)KingSwap NFT并未將流行的SafeMath庫用于關(guān)鍵操作,以避免算術(shù)上溢或下溢,并防止不必要的行為。為此,建議使用SafeMath庫,并且“私密”集合修飾符仍對(duì)礦工可見或有權(quán)查看合同的所有代碼、數(shù)據(jù)或狀態(tài)更改的代幣持有者。
3)在KingToken智能合約中,對(duì)地址長度進(jìn)行了檢查。因此,可以通過對(duì)“msg.data”進(jìn)行長度檢查來防止“短地址攻擊”。對(duì)于"transfer",長度應(yīng)為68。
因此,從13個(gè)檢查點(diǎn)的手動(dòng)檢查中,做出了上述3個(gè)小意見,而其他檢查點(diǎn)都通過了,沒有任何評(píng)論或漏洞。
通過自動(dòng)智能合約測(cè)試,所有32個(gè)類別均通過了測(cè)試。
您可以在此處閱讀完整的審核報(bào)告:https://github.com/KingLuigy/KingSwap_V1
KingSwap定期在Telegram上舉辦AMA,時(shí)間為00:00(GMT+8)。要了解更多信息,請(qǐng)?jiān)赥elegram上加入KingSwap或在Twitter上關(guān)注該項(xiàng)目。
另外,KingSwap的中文社區(qū)也在不斷的壯大中,我們每周會(huì)在中文社區(qū)舉辦社群AMA。歡迎中國用戶參與進(jìn)來。
熱點(diǎn):智能合約