麦子钱包携手Beosin推出免费“VaaS智能合约检测”应用

11月21日，麦子钱包上线“VaaS智能合约检测”移动端应用程序，为所有区块链从业者提供方便而免费的智能合约安全检测服务，对智能合约安全问题进行筛查，事先防止合约安全问题。该平台由Beosin（成都链安）研发，是全球首个采用形式化验证技术实现的智能合约自动化安全检测平台，对于合约安全性检测达到95%以上准确率，并且自动、快速、精确定位代码风险位置，可检查出智能合约存在的10大类27小类安全问题。（成都链安科技）