全球首個EOS安全管家：區塊鍊形式化驗證平臺VaaS

近年來，隨着The DAO、Parity錢包、Coincheck等一系列區塊鏈平臺安全事件的頻繁爆發，區塊鏈平臺特別是智能合約的安全問題成爲這項新技術向前發展的障礙。針對這一安全性問題，國內外研究學者一致認爲，嚴格的形式化驗證方法能夠有效地提高區塊鏈生態系統的安全性。 爲此，兼具中國「985工程」與「雙一流」稱號的電子科技大學信息與軟件工程學院楊霞副教授帶領一支區塊鍊形式化驗證團隊，經過近2年的研

>>阅读原文<<