EOS已上線！VaaS爲其智能合約的安全保駕護航

歐鏈OracleChain正式宣佈，他們與多個EOS社區和團隊共同發起了「EOS安全測試網」，並聯合成都鏈安科技等從事區塊鏈安全相關的公司和團隊對EOS網絡安全與性能進行深入測試。 成都鏈安科技研製的全球第一個支持 EOS 合約的全自動化的形式化驗證平臺，提供「一鍵式」智能合約驗證服務，只需要導入待驗證的EOS智能合約源代碼，即可一鍵自動化的檢查出合約存在的溢出等常規安全漏洞，生成錯誤報告提示，並

>>阅读原文<<