全球首个EOS安全管家：区块链形式化验证平台VaaS

近年来，随着The DAO、Parity钱包、Coincheck等一系列区块链平台安全事件的频繁爆发，区块链平台特别是智能合约的安全问题成为这项新技术向前发展的障碍。针对这一安全性问题，国内外研究学者一致认为，严格的形式化验证方法能够有效地提高区块链生态系统的安全性。 为此，兼具中国“985工程”与“双一流”称号的电子科技大学信息与软件工程学院杨霞副教授带领一支区块链形式化验证团队，经过近2年的研

>>阅读原文<<