2019年6月3日,深信科創(chuàng)GuardStrike獲得數(shù)百萬(wàn)人民幣的種子輪融資,投資方為姚期智。
2020年8月4日,深信科創(chuàng)GuardStrike獲得1000萬(wàn)人民幣的天使輪融資,投資方為圖靈資本、清華長(zhǎng)三角研究院、度巖資本、交叉信息核心技術(shù)研究院。
深信科創(chuàng)GuardStrike致力于提升新興軟件(人工智能、物聯(lián)網(wǎng)、科技金融、區(qū)塊鏈)的質(zhì)量與安全,其白帽團(tuán)隊(duì)曾為以太坊虛擬機(jī)(EVM)提交5項(xiàng)CVE漏洞,并在文本攻擊測(cè)試中成功攻破Google、Facebook機(jī)器學(xué)習(xí)系統(tǒng)。
GuardStrike研發(fā)了全球首款并發(fā)系統(tǒng)模糊測(cè)試工具,發(fā)現(xiàn)了諸如死鎖的多個(gè)并發(fā)錯(cuò)誤。同時(shí),不滿足于查找常見(jiàn)的錯(cuò)誤,GuardStrike基于Conflux的設(shè)計(jì)文檔編寫(xiě)了多條代碼合約(Code Contracts)。把這些Conflux特有的代碼合約集成以后,以上提到的兩款代碼審計(jì)工具就不僅可以保證Conflux的代碼避免常見(jiàn)的漏洞,同時(shí)也一定程度上保證了Conflux的設(shè)計(jì)與實(shí)現(xiàn)的一致性。
深信科創(chuàng)GuardStrike致力于提升區(qū)塊鏈、人工智能、金融科技等新興軟件質(zhì)量,本身具備多年的開(kāi)發(fā)經(jīng)驗(yàn)和深厚的科研技術(shù)背景,科研團(tuán)隊(duì)由來(lái)自中國(guó)、美國(guó)及新加坡軟件測(cè)試與安全領(lǐng)域的計(jì)算機(jī)專(zhuān)家和教授組成,在此領(lǐng)域發(fā)表了近千篇科學(xué)論文。今后,GuardStrike將與區(qū)塊鏈及其他軟件研發(fā)團(tuán)隊(duì)一起,共同攻克技術(shù)安全的難題,為新興軟件安全護(hù)航。