闸阀厂家
免费服务热线

Free service

hotline

010-00000000
闸阀厂家
热门搜索:
技术资讯
当前位置:首页 > 技术资讯

CertiK助力稳定币TUSD完成智能合约代码审计-【新闻】

发布时间:2021-04-05 15:57:26 阅读: 来源:闸阀厂家

12月19日,加密货币创业公司 TrustToken 宣布完成智能合约的代码审计,包括 CertiK、 Zeppelin 在内的数家独立安全审计团队对其超过958行的智能合约代码进行了独立审计,未发现任何漏洞。

TrustToken是目前为止第一家也是唯一一家公开披露其安全审计的稳定币发行公司,其发行的稳定币 TrueUSD (TUSD)是一款1:1锚定美元的稳定币,也是TrustToken平台上的第一款产品。据该公司数据显示,截止目前,TUSD月交易量已超11亿美元,市值超过2亿美元。

加密货币所蕴含的经济价值长期以来始终诱使着不法分子利用各种攻击手段谋取暴利。为了最大程度地保护用户利益,业界也会使用相应的手段保障智能合约的安全性。但区块链智能合约基于共识和去中心化的本质,一旦部署则难以修改,这也意味着,若出现问题便很难迅速修复。

因此智能合约需要一种能在上链前就基本达到100%无漏洞的安全保护,有些重要合约由于其涉及的经济价值不容小觑,对于安全性的要求则更为严苛。目前,唯一能够为智能合约提供这样值得信赖的安全环境的技术叫做形式化验证。

此次参与完成TrustToken智能合约代码审计的CertiK便是专注于采用形式化验证将智能合约转化为数学模型,通过逻辑上的推理演算验证模型,从而证明智能合约安全性的专业技术团队。CertiK联合创始人顾荣辉曾表示,CertiK平台旨在为建立完全可信的智能合约和区块链生态系统开发一个可靠的形式验证框架,完美解决“零日漏洞”问题。

在CertiKOS的设计过程中,团队已实现了基于层的分解和模块化验证技术,这一技术可以将复杂的智能合约验证任务分解为较小的容易验证的任务,进而在CertiK生态系统中进行分布式验证。各种证明对象都可以构建并编码到CertiK的交易中,然后由其他参与者验证。不仅如此,其他参与者的验证结果还可以由第三方快速检查、校验,以确保验证结果的真实可信。

星座联萌手游

心舞华为版本

影之刃2破解版