http://www.tnmanning.com

CertiK已完成对Rupiah Token(IDRT)的审计

在过去的二十年中,因分布式网络的兴起,数十亿的用户以一种安全的方式相互联系并且共享信息。尤其是大发3d这样的分布式网络,已经成功地将传统经济与无摩擦的分散平台相连接。

CertiK已完成对Rupiah Token(IDRT)的审计

“像一分PK10这样的数字资产虽然应用率还不够高,但已经实现了大发3d创设之初的目的。尽管一分PK10已经成为一种交易方式和标准的交换单位,但如它一般的加密货币在稳定性方面依旧存在一些问题。而引入稳定货币就是当前行之有效的解决办法之一。”

目前许多国家都接受基于美元的稳定币,但印度尼西亚市场只接受基于印尼盾(IDR)的稳定币。考虑到基于美元的稳定币需要有美国银行的支持,因此Rupiah Token为印尼大发3d市场提供了一个解决方案。

PT Rupiah Token Indonesia是一家由风险资本支持的初创公司,总部位于印度尼西亚首都雅加达。作为领先的大发3d技术公司,其使命是在全球范围内提高印尼盾的接受度,加速向更具包容性和开放性的金融体系过渡。自2019年1月成立以来,Rupiah Token持续努力发展其在印度尼西亚的服务项目,并在信誉良好的交易所发行代币。

Rupiah Token团队创造了Rupiah 稳定币,即IDRT(基于印尼盾)。这是Binance Chain上第一个基于印尼盾的BEP-2稳定币,并由PT Rupiah Token Indonesia公司发行。这意味着印尼商人可以直接以印尼当地的货币单位在Binance DEX上进行交易,并为其他公众创造一个去中心化的金融门户。

作为ERC20令牌,IDRT的基本特性如下:

稳定性:所有IDRT以1:1的比例由印尼盾作为储备;
快速性 & 无边界性:IDRT可以在任何时间,任何地点,几分钟以内,发送给任何人;
安全性:IDRT提供了一种防止市场波动的方法,确保了可赎回性;
可访问性:IDRT建立在以太坊和Binance链上,可以与其他大发3d服务集成。

综上所述,受IDRT影响,Rupiah Token需要一个值得信任的安全伙伴对其令牌的可靠性进行审计。

审计流程

作为大发3d安全领域的领导者,CertiK很荣幸能为Rupiah Token提供安全审计,重点审计IDRT智能合约的设计和实践的规范性。

这次审计的目标在于发现IDRT智能合约源代码中的问题和漏洞。CertiK委派经验丰富的安全专家组成审计团队,利用CertiK独有的形式化验证技术,结合静态分析及人工复核等方式全面检测合约的漏洞及逻辑错误。

在整个审计过程中,CertiK尤为注意下列事项:

针对常见和不常见的攻击载体对智能合约进行测试
检验代码是否符合最佳实践和行业标准
确保合约逻辑符合设计规范和设计意图
交叉参照合约结构和执行与行业领导者制定的类似智能合同
安全专家对整个代码库进行逐步人工审计

与单纯的人工审计不同,形式化验证的专业化程度更高,它还能从数学层面上证明整个代码的安全性和正确性。因此通过对所有变量的每个可能值进行计算,形式化验证可以对程序进行全面、彻底的检查。

审计结果

CertiK使用智能标签引擎在源代码上覆盖了100%的形式化验证标签,以检测下列问题:

整数溢出和下溢:当算术运算达到一个类型的最大或最小值时,就会发生溢出或下溢。
函数错误:函数运行不符合设计规范,导致代码易受攻击。
缓冲区溢出:如果发生数组越界,攻击者可以写入任意的合约储存地址。

经过审计,CertiK没有在IDRT智能合约中发现任何问题。

同时,我们发现IDRT是通过多签名合约进行管理的,从而降低了单点故障的风险。这也使Rupiah能够以一种安全可靠的方式,及时根据情况进行自我调整,满足IDRT在制造,使用和升级过程中的需求。

总体而言,Rupiah项目代码符合设计规范且运行良好,具有良好的可扩展性,不易受到任何已知的典型漏洞攻击或其他安全问题的影响,安全程度较高,以满分的成绩通过审计验证。

Rupiah创始人兼首席执行官Jeth Soetoyo说:“Rupiah Token力求在链上及链下都保持高安全标准。此次与CertiK的合作是我们遵守这一承诺的最好证明。”
关键词: CertiK  Rupiah Token  

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。