Taxa Network已通过区块链安全公司CertiK智能合约安全审计

确定一哥 /2020-02-13 09:58:45/ 分类:动态/阅读:
Taxa团队宣布已通过区块链安全公司CertiK智能合约的安全审计,这将确保Taxa主网在今年春天顺利发布。CertiK的智能标签对TXT智能合约源代码进行了100%形式化验证覆盖,并辅以安全专家人工逐行审核。审计结果认为TXT智能合约结构坚固,不存在整数溢出、函数错误、缓冲区溢出等漏洞。 ...
Taxa团队宣布已通过区块链安全公司CertiK智能合约的安全审计,这将确保Taxa主网在今年春天顺利发布。CertiK的智能标签对TXT智能合约源代码进行了100%形式化验证覆盖,并辅以安全专家人工逐行审核。审计结果认为TXT智能合约结构坚固,不存在整数溢出、函数错误、缓冲区溢出等漏洞。
0.0

TAG:
阅读:
说点什么吧
  • 全部评论(0
    还没有评论,快来抢沙发吧!
客服微信确定财经公众号确定网公众号App下载微信小程序
微信客服确定财经确定网App下载小程序
Copyright © 2020 北京确定科技有限公司
二维码
意见反馈 二维码