北京騰信光大科技有限公司依托清華大學(xué),、北京大學(xué)和北京郵電大學(xué)科技前沿技術(shù),,基于自身獨(dú)立研發(fā)能力,自主設(shè)計(jì)開(kāi)發(fā)了區(qū)塊鏈合約檢測(cè)系統(tǒng),,系統(tǒng)對(duì)智能合約進(jìn)行檢測(cè)是否存在已知的漏洞,,并給出安全的修復(fù)建議。
1. 技術(shù)架構(gòu)
區(qū)塊鏈合約檢測(cè)系統(tǒng)以Client/Server模式,,通過(guò)用戶端,、服務(wù)端,實(shí)現(xiàn)對(duì)智能合約的安全檢測(cè),。
2. 系統(tǒng)功能
區(qū)塊鏈合約檢測(cè)系統(tǒng)主要功能包括:
(1) 智能合約已知漏洞查看,。
(2) 智能合約代碼上傳。
(3) 智能合約代碼漏洞檢測(cè),。
(4) 智能合約代碼修復(fù)建議,。
(5) 智能合約安全代碼下載。
3. 系統(tǒng)特色
(1) 支持生成智能合約安全審計(jì)報(bào)告,。
(2) 支持Gas優(yōu)化審計(jì),。
4. 系統(tǒng)應(yīng)用領(lǐng)域
(1) 合約檢測(cè)產(chǎn)品發(fā)行。
(2) 合約檢測(cè)產(chǎn)品配置,。
(3) 合約檢測(cè)產(chǎn)品安全防護(hù),。
(4) 合約檢測(cè)產(chǎn)品通證。
區(qū)塊鏈合約檢測(cè)系統(tǒng)主要功能包括:
(1) 智能合約已知漏洞查看,。
(2) 智能合約代碼上傳,。
(3) 智能合約代碼漏洞檢測(cè)。
(4) 智能合約代碼修復(fù)建議,。
(5) 智能合約安全代碼下載,。
(1) 支持生成智能合約安全審計(jì)報(bào)告。
(2) 支持Gas優(yōu)化審計(jì),。
區(qū)塊鏈合約檢測(cè)系統(tǒng)使用網(wǎng)絡(luò)爬蟲(chóng)技術(shù)主動(dòng)加入公有鏈P2P網(wǎng)絡(luò),,通過(guò)與公有鏈P2P網(wǎng)絡(luò)中相關(guān)節(jié)點(diǎn)進(jìn)行主動(dòng)交互,獲取相關(guān)的傳播文件信息和網(wǎng)絡(luò)節(jié)點(diǎn)信息,。主動(dòng)發(fā)現(xiàn)與探測(cè)方法主要用于發(fā)現(xiàn)P2P網(wǎng)絡(luò)的拓?fù)?、延遲,、內(nèi)容可用性、上傳/下載比等微觀行為特性,。主動(dòng)發(fā)現(xiàn)與探測(cè)方法能夠直接獲取P2P網(wǎng)絡(luò)節(jié)點(diǎn)和傳播文件信息,,具有可信度高、準(zhǔn)確性好,、針對(duì)性強(qiáng)的特點(diǎn),,使用很低的成本即可實(shí)現(xiàn)對(duì)P2P網(wǎng)絡(luò)實(shí)施監(jiān)控。
(1) 合約檢測(cè)產(chǎn)品發(fā)行,。
(2) 合約檢測(cè)產(chǎn)品配置,。
(3) 合約檢測(cè)產(chǎn)品安全防護(hù)。
(4) 合約檢測(cè)產(chǎn)品平臺(tái),。