构造形式化证实，解决智能合约安全问题——你的合约亟待证实

安比（SECBIT）实验室与 Consensys 中国、轻信科技等团队联手，在智能合约安全的形式化证实领域展开深度合做。html 智能合约安全问题始终是萦绕在数字货币各个项目方、开发者和投资者心头的一颗定时炸弹。愈来愈多的安全团队积极参与，试图经过更完备手段来解决合约安全问题。安比（SECBIT）实验室认为，形式化验证与传统的“测试+审计”方式相结合，将会是保证智能合约安全强有力的手段。git 7

>>阅读原文<<