关于形式化验证两大工具(Vass & Mythril) 测试对比

随着以智能合约(Smart Contract)及区块链应用(DApp)为核心的区块链2.0时代逐渐成为主流,智能合约及区块链应用的安全性也越发成为业界备受关注的焦点。尤其是,在经历过诸如THE DAO、币安被盗等事件,智能合约及区块链应用的安全性究竟应该如何得到验证和保障,业已成为当前区块链业界亟待解决的痛点。

本文参与深入浅出区块链写作激励计划 ,欢迎正在阅读的你也加入。

  • 发表于 2019-10-15 09:44
  • 阅读 ( 1281 )
  • 学分 ( 20 )
  • 分类:安全/漏洞

0 条评论

请先 登录 后评论
Beosin 成都链安
Beosin 成都链安

10 篇文章, 169 学分