523  
   0
FISCO BCOS对使用solidity语言编写的智能合约都有哪些审计方法？
作者: 宋海旭 于 2020年05月22日 发布在分类 / BSN 常见问题 / BSN 官方专网 / 技术类问题 下,并于 2020年05月22日 编辑

现有的审计包括了人工审计、机器审计等方法，通过代码分析、规则验证、语义验证和形式化验证等等方法来保证合约的安全性。


登陆后发表评论

 同类知识

 推荐知识
 历史版本
修改日期 修改人 备注
2020-05-22 09:46:04[当前版本] 宋海旭 创建版本

  • 顶端

区块链服务网络发展联盟