CertiK宣布完成Binance英镑支持Stablecoin BGBP官方审计
在微博网站上的帖子中,CertiK宣布完成对币安British Pound支持的Stablecoin(BGBP)的审计。
彬彬几周前通过其首席财务官,魏周在接受彭博社采访时暗示了顶级交易所发行自有稳定币的计划。根据Binance代表的说法,该令牌将被称为币安GBP,并将由英镑的储备完全支持。他进一步表示,还将在币安链上推出更多法定货币挂钩稳定币。
Binance英国支持的稳定币由CertiK验证。根据CertiK的博客文章,审计人员利用他们的形式验证技术,能够识别稳定币中未检测到的漏洞,提供更彻底的安全扫描并提供建议。
CertiK很自豪能够在本月早些时候成功完成@Binance首次自行发行的#stablecoin,BGBP的官方审核。
永远荣幸地与空间领导者合作.https://t.co/wqPugl0vO1
– CertiK(@certikorg)2019年8月8日
评测审计以及交易所对CertiK的服务进行分类的原因,Binance首席执行官CZ表示,“CertiK的正式验证绕过了手动检测的限制,提供了业内最全面的审核”。
据CertiK称,审计工作是为了确保BGBP智能合约的源代码免受问题和漏洞的影响。通过利用其形式验证平台,静态分析和手动审查,CertiK团队应用了全面的检查,确保代码库符合最佳实践和行业标准,合约逻辑符合规范等。
对币安GBP代码进行的审计结果显示,遵循了最佳实践,合约不易受到已知证券挑战的影响,并且BGBP是“更安全,更安全,更受保护的资产”。
CertiK是由耶鲁大学和哥伦比亚大学的专家创建的区块链和智能合约验证平台。由币安Labs孵化,CertiK能够与OKEx,Binance等世界领先的交易所建立战略合作伙伴关系,并能够对LEO,TUSD等项目进行审计。
BGBP是双重问题令牌,在以太坊(ERC-20)和币安(BEP2)链上创建。 币安GBP目前在Binance.com和Binance.je交易所交易。