基于ETH的去中心化借贷协议TLC通过Beosin链安科技安全审计

据Super Trister推特公告显示:TLC智能合约于2020年10月30日通过Beosin链安科技安全审计所有检测项,合约审计结果为通过。

Super Trister Twitter 公告内容

此次安全审计,Beosin链安科技采用形式化验证、静态分析、动态分析、典型案例测试和人工审核的方式对TLC智能合约代码规范性、安全性以及业务逻辑三个方面多维度全面的安全审计,审计内容包含译器版本安全审计、弃用项审计、冗余代码审计、require/assert使用审计、gas消耗审计、整型溢出审计、重入攻击审计、伪随机数生成审计、交易顺序依赖审计、拒绝服务攻击审计、函数调用权限审计、call/delegatecall安全审计、返回值安全审计、tx.origin使用安全审计、重放攻击审计、变量覆盖审计、业务逻辑审计、业务实现审计等,合约审计结果为全部通过,审计编号为202010301010,主合约名:TLC。审计报告查询地址为https://beosin.com/query/index.html

TLC安全审计报告查询

TLC是基于以太坊的去中心化借贷协议,用户可通过智能合约按照要求存入或者借出指定数字资产,为合约资金池提供流动性,已支持17种代币。TLC旨在打造一个去中心化数字货币聚合服务平台,为全球用户提供去中心化金融基础设施。

TLC智能合约审计报告内容截图

DeFi,即Decentralized Finance,被称作“去中心化金融或者分布式金融”一般是基于智能合约平台(如以太坊)构建的加密资产、金融类智能合约以及协议。深究DeFi背后的技术应用、发展前景,以及未来能对整个社会带来的改变,DeFi算得上是加密史上的第二个突破,因为它的存在,满足了个人、中小微企业,甚至大型机构的金融需求,而这些需求是传统金融远远无法满足的。

目前,去中心化借贷大体有三种模式,第一种是P2P撮合模式,Dharma和dYdY都是撮合借方和贷方的点对点协议;第二种是稳定币模式,MakerDAO就是典型的稳定币模式,没有贷方,只有借方,且唯一可借入的资产是DAI;另外一种则是流动池交易,TLC和Compound都属于流动池交易的模式,借方和贷方通过流动池进行交易,而不是与交易对手进行匹配,每个贷款和借款的利率由池子的流动性大小来确定,即由贷方提供的货币总数量和借方的需求总数量之间的比率而波动。TLC不设置固定的贷款期限,贷款人可以把资金存入贷款池子持续赚取利息,并随时提取资产,赋能小贷用户,尤其是中小微企业。

DeFi去中心化金融市场,目前只占比整个区块链产业的1.5%(按2020年上半年数据),即使经历下半年的爆发期,目前DeFi市场对比传统金融市场仍是沧海一粟,相差几千倍。然而,DeFi的未来和潜力,却不容质疑。

Super Trister于2020年11月3日正式开启DeFi流动性挖矿(下载链接为http://dn.expsu.live/dBxHIV/czkomt.ump),未来Super Trister将联动LEND开放式借贷平台、NFT非同质化通证、DEX、DAO等板块,利用其核心技术优势,以及流动性池的机制,为全球用户提供一个资金环境安全的去中心化数字货币聚合服务平台。

(0)
上一篇 2022年4月6日
下一篇 2022年4月6日

相关推荐