CertiK與多家交易所達(dá)成戰(zhàn)略合作。最近，騰訊安全聯(lián)合知道創(chuàng)宇發(fā)布了《2018上半年區(qū)塊鏈安全報告》。該報告顯示，由于區(qū)塊鏈的機(jī)制安全、生態(tài)安全和使用者安全，經(jīng)濟(jì)損失分別為12.5億、14.2億和0.56億美元，總計高達(dá)27億美元。各種因素導(dǎo)致的安全事件仍在增加。構(gòu)建安全可靠的區(qū)塊鏈生態(tài)變得越來越緊迫。在此背景下，8月5日13:00，CertiK聯(lián)合創(chuàng)始人顧榮輝在“創(chuàng)始學(xué)習(xí)群”上做了名為“CertiK，構(gòu)建安全可靠的區(qū)塊鏈生態(tài)”的分享。他表示，盡管區(qū)塊鏈?zhǔn)澜绱嬖谥l繁的安全事故，傳統(tǒng)的安全技術(shù)難以滿足要求。CertiK采用形式化驗證將智能合約轉(zhuǎn)化為數(shù)學(xué)模型，通過邏輯推理演算來驗證模型以證明智能合約的安全性。目前，CertiK正在努力自動化智能合約的驗證工作，提高驗證速度，減少人工介入。 CetiK的安全驗證服務(wù)已經(jīng)與多家交易所達(dá)成戰(zhàn)略合作，如火幣、OKEx、Fcoin、Gate、KuCoin和幣信等。同時，CertiK還與NEO、星云、本體、Quarkchain等平臺方達(dá)成安全戰(zhàn)略合作。

熱點：區(qū)塊鏈