歐鏈 OracleChain 正式宣佈，他們與多個 EOS 社區和團隊共同發起了“EOS 安全測試網”，並聯合成都鏈安科技等從事區塊鏈安全相關的公司和團隊對 EOS 網絡安全與性能進行深入測試。
成都鏈安科技研製的全球第一個支持 EOS 合約的全自動化的形式化驗證平臺，提供“一鍵式”智能合約驗證服務，只需要導入待驗證的 EOS 智能合約源代碼，即可一鍵自動化的檢查出合約存在的溢出等常規安全漏洞，生成錯誤報告提示，並精確定位到合約漏洞代碼的所在位置。
VaaS（點擊左側深入瞭解）爲明天上線的 EOS 提前做好安全預防，其一鍵式驗證效果如下：
鑑於目前頻發的由於智能合約漏洞導致的數字資產被盜事件，火幣網、 OK 資本、比原鏈、布比區塊鏈、雲象區塊鏈等多家單位近日也與成都鏈安科技簽訂了戰略合作協議。
而成都鏈安科技更是與全球頂級的形式化驗證團隊法國 Inria 建立了合作意向，接下來將會共同打造全球形式化驗證安全社區。未來，成都鏈安科技的 VaaS 驗證平臺，將會爲更多的合作伙伴提供專業的區塊鏈平臺和智能合約的安全性、功能正確性形式化驗證服務。
成都鏈安科技由從事形式化驗證技術多年的電子科技大學副教授 / 博士後楊霞女士創建，團隊核心成員由 20 多名來自海外知名高校和實驗室（CSDS、耶魯、UCLA）留學經歷的副教授、博士後、博士、碩士組成，該團隊已爲軍事安全關鍵軟件提供多年的形式化驗證服務。
成都鏈安科技
作爲火幣網、 OKcoin 等
著名交易所指定的合約審計公司。**
歡迎聯繫鏈安，進行智能合約安全審計。
電話： 028-83262585
點擊瞭解更多
來源鏈接：chainb.com
繁體中文
简体中文
English
日本語
Español