CERTIK官网通告信息：美国内地时间11月6日，美国区块链安详审计公司CERTIK完成Super Trister去中心化借贷协议TLC智能合约代码审计，并宣布安详审计陈诉，审计功效未发明重大或要害或主要裂痕。
至此，Super Trister已通过包罗成都BEOSIN链安科技在内的TLC智能合约代码“双审计”。
美国区块链安详审计公司CERTIK是由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成就创立，通过“深度类型”的形式化验证技能为区块链应用和智能合约提供代码安详审计处事。今朝，CERTIK已获币安孵化器数百万美金投资。
基于对平台技能安详的高要求，Super Trister将去中心化借贷协议TLC智能合约提交CERTIK举办安详审计。此次审计，CERTIK充实操作了动态阐明，静态阐明和人工复核等技能，对项目协议举办了全面查抄。审计功效并未发明重大或要害或主要裂痕，CERTIK已将优化发起提交至Super Trister，这些发起已应用于代码库的完善进程中。
合约审计的目标主要是查抄代码类型性、通例裂痕、安详裂痕、业务逻辑裂痕等，最要害是淘汰因代码导致的业务无法按预期正常运转，其次是保障资金的安详;第三方面也是浮现智能合约陈设后的“公正、果真、合理、透明”等。同时，也是以此淘汰蒙受黑客进攻的大概性。除此之外，还能将产物上线前将风险降到最低。
“没有一个绝对的安详系统”，这是网络安详规模的一句警语，也是黑客对安详防护的戏谑。区块链自带金融属性，连年来，上到生意业务所，下至钱包、DAPP应用，无一不是黑客的方针，其抓住这些平台代码的裂痕，举办进攻甚至打单。这些平台一旦产生“盗币”事件，便很难找回资产。因此，代码安详审计尤为重要。
Super Trister于2020年11月3日开启活动性挖矿，现已支持ETH、USDT、TLC、HT、MANA、LINK、COMP、BNB、YFI等17个指定币种。在此之前，Super Trister向成都BEOSIN链安科技提交了TLC智能合约代码审计，并于10月30日通过成都BEOSIN链安科技安详审计。
成都BEOSIN链安科技安详审计的内容包括译器版本安详审计、弃用项审计、冗余代码审计、require/assert利用审计、gas耗损审计、整型溢出审计、重入进攻审计、伪随机数生成审计、生意业务顺序依赖审计、拒绝处事进攻审计、函数挪用权限审计、call/delegatecall安详审计、返回值安详审计、tx.origin利用安详审计、重放进攻审计、变量包围审计、业务逻辑审计、业务实现审计等，合约审计功效为全部通过。
成都BEOSIN链安科技，是全球一流的区块链安详公司，创立于2018年3月，，致力于区块链安详生态建树。链安科技作为中国通信院可信区块链同盟理事单元，参加了工信部多项区块链安详尺度和白皮书的撰写，并入选工信部《2018中国区块链财富白皮书》。BEOSIN作为一家在行业内极具权威性的安详审计公司，Super Trister为什么在通过链安科技安详审计之后，还要将智能合约代码提交同样极具权威性的美国安详审计公司CERTIK举办智能合约代码审计呢?谜底在于，举办裂痕排查，保障安详再安详。
DeFi赛道因其可组合、可拓展、可落地的一系列金融属性，成为了传统金融接轨区块链技能的核心规模，Super Trister作为DeFi技能创新应用，选择CERTIK与BEOSIN链安科技两家全球顶级的对智能合约举办“双审计”，防范潜在风险威胁，保障用户资产安详的办法，也是为DeFi技能规模树立一个规范。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
