“美国安全审计企业CERTIK完成去中心化借贷协议TLC智能合约代码审计”

certik官网公告新闻:美国当地时间11月6日，美国区块链安全鉴定企业certik完成了super trister中心化贷款合同tlc智能合约代码的鉴定，并发布了安全鉴定报告。 在鉴定结果中未发现重大、重要或主要漏洞。

至此，super trister通过了对包括成都beosin链安科技在内的tlc智能合同代码的双重审核。

图1:certik完成了super trister中心化贷款合同tlc智能合约代码审核官网公告

美国区块链安全鉴定企业certik是由来自耶鲁大学和哥伦比亚大学的科研团队携数十年的研究成果成立的，通过深规范的形式化验证技术为区块链应用和智能合约提供代码安全鉴定服务。 目前，certik在货币安孵化器上投资数百万美元。

基于平台技术对安全性的高要求，super trister将贷款合同tlc智能合约去中心化并提交给certik进行安全审核。 在这次鉴定中，certik完全利用了动态分解、静态分解、人工复核等技术，全面检查了项目协议。 鉴定结果未发现重要漏洞和主要漏洞。 certik向super trister提交了优化建议。 这些建议适用于基于代码的完整过程。

图2:super trister以贷款合同为中心的tlc智能合约代码安全鉴定结果的预览

审核合同的目的是检查代码的规范性、常规漏洞、安全漏洞、业务逻辑漏洞等，最重要的是减少代码引起的业务不能如预期那样发挥作用，其次是确保资金安全，第三方面也是智能 而且，这样也减少了受到黑客攻击的可能性。 除此之外，还可以在产品上线之前将风险降到最低。

没有绝对的安全系统。 这是网络安全行业的警句，也是黑客对安全的玩笑。 区块链具有金融属性，近年来，上交易所，到钱包、dapp应用程序，没有不是黑客目标的，引出这些平台代码的漏洞，进行攻击和威胁。 一旦发生货币盗窃，这些平台就不容易追回资产。 因此，代码安全鉴定尤为重要。

图3 )3:super trister，tlc通过美国安全鉴定企业certik智能合同代码进行鉴定的中心化贷款合同

super trister于去年11月3日开始流动性开采，目前支持eth、usdt、tlc、ht、mana、link、comp、bnb、yfi等17种指定货币。 在此之前，super trister向成都beosin链安科技提交了tlc智能合同代码审核，并于10月30日通过成都beosin链安科技安全审核。

成都beosin链安科技安全鉴定复印件包括:翻译器版本安全鉴定、报废项目鉴定、冗余代码鉴定、require/assert采用鉴定、gas消费鉴定、整数溢出鉴定、再次输入攻击鉴定、仿真 包括delegatecall安全鉴定在内的tx.origin采用了安全鉴定、重放攻击鉴定、变量覆盖鉴定、商业逻辑鉴定、商业实现鉴定等，合同鉴定结果均通过。

图4:tlc智能合约代码鉴定报告下载页面(成都beosin链安科技官网) ) ) ) )。

成都beosin链安全技术是世界顶级的区块链安全企业，成立于年3月，致力于区块链安全生态建设。 链安科技作为中国通讯社可靠的区块链联盟理事单位，参与了工信部多项区块链安全标准和白皮书的编写，并入选工信部《中国区块链产业白皮书》。 beosin是业界非常权威的安全鉴定企业。 super trister为什么要在基于链安全技术的安全鉴定之后，向同样权威的美国安全鉴定企业certik提交智能合约代码鉴定？ 答案是进行漏洞排查，确保安全。

defi赛道因其可组合、可扩展、可落地的一系列金融属性，成为了早就流传下来的金融接轨区块链技术的焦点行业。 作为defi技术创新的应用，super trister对certik和beosin链安科技这一世界顶级智能合约进行了双重审核，防范潜在风险威胁、保障客户资产安全的措施也成为defi技术行业的典范。

严肃声明:在中国it研究中心网站上刊登/转载这篇文章，是为了传播越来越多的新闻，并不意味着赞同其观点或论证其说明。 中国it研究中心不负责其真实性。

本文：《“美国安全审计企业CERTIK完成去中心化借贷协议TLC智能合约代码审计”》