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

链闻消息，Taxa 团队宣布已通过区块链安全公司 CertiK 智能合约的安全审计，这将确保 Taxa 主网在今年春天以公开透明、安全、去中心化的方式顺利发布。CertiK 的智能标签对 TXT 智能合约源代码进行了 100% 形式化验证覆盖，并辅以安全专家人工逐行审核。审计结果认为 TXT 智能合约结构坚固，不存在整数溢出、函数错误、缓冲区溢出等漏洞。Taxa 是基于前沿隐私技术，致力于成为分层区块链架构中的通用逻辑层，支持计算能力强大、保护数据隐私的、开发环境友好的应用，助力真实世界中去信任化技术的发展。（链闻） [原文链接]