1. 链一财经首页
  2. 资讯

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

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

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

“像比特币这样的数字资产虽然应用率还不够高,但已经实现了区块链创设之初的目的。尽管比特币已经成为一种交易方式和标准的交换单位,但如它一般的加密货币在稳定性方面依旧存在一些问题。而引入稳定货币就是当前行之有效的解决办法之一。”
目前许多国家都接受基于美元的稳定币,但印度尼西亚市场只接受基于印尼盾(IDR)的稳定币。考虑到基于美元的稳定币需要有美国银行的支持,因此Rupiah Token为印尼区块链市场提供了一个解决方案。
PT Rupiah Token Indonesia是一家由风险资本支持的初创公司,总部位于印度尼西亚首都雅加达。作为领先的区块链技术公司,其使命是在全球范围内提高印尼盾的接受度,加速向更具包容性和开放性的金融体系过渡。自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链上,可以与其他区块链服务集成。
综上所述,受IDRT影响,Rupiah Token需要一个值得信任的安全伙伴对其令牌的可靠性进行审计。
审计流程
作为区块链安全领域的领导者,CertiK很荣幸能为Rupiah Token提供安全审计,重点审计IDRT智能合约的设计和实践的规范性。
这次审计的目标在于发现IDRT智能合约源代码中的问题和漏洞。CertiK委派经验丰富的安全专家组成审计团队,利用CertiK独有的形式化验证技术,结合静态分析及人工复核等方式全面检测合约的漏洞及逻辑错误。
在整个审计过程中,CertiK尤为注意下列事项:
针对常见和不常见的攻击载体对智能合约进行测试
检验代码是否符合最佳实践和行业标准
确保合约逻辑符合设计规范和设计意图
交叉参照合约结构和执行与行业领导者制定的类似智能合同
安全专家对整个代码库进行逐步人工审计
与单纯的人工审计不同,形式化验证的专业化程度更高,它还能从数学层面上证明整个代码的安全性和正确性。因此通过对所有变量的每个可能值进行计算,形式化验证可以对程序进行全面、彻底的检查。
审计结果
CertiK使用智能标签引擎在源代码上覆盖了100%的形式化验证标签,以检测下列问题:
整数溢出和下溢:当算术运算达到一个类型的最大或最小值时,就会发生溢出或下溢。
函数错误:函数运行不符合设计规范,导致代码易受攻击。
缓冲区溢出:如果发生数组越界,攻击者可以写入任意的合约储存地址。
经过审计,CertiK没有在IDRT智能合约中发现任何问题。
同时,我们发现IDRT是通过多签名合约进行管理的,从而降低了单点故障的风险。这也使Rupiah能够以一种安全可靠的方式,及时根据情况进行自我调整,满足IDRT在制造,使用和升级过程中的需求。
总体而言,Rupiah项目代码符合设计规范且运行良好,具有良好的可扩展性,不易受到任何已知的典型漏洞攻击或其他安全问题的影响,安全程度较高,以满分的成绩通过审计验证。
Rupiah创始人兼首席执行官Jeth Soetoyo说:“Rupiah Token力求在链上及链下都保持高安全标准。此次与CertiK的合作是我们遵守这一承诺的最好证明。”

根据国家《关于防范代币发行融资风险的公告》,大家应警惕代币发行融资与交易的风险隐患。

本文来自LIANYI转载,不代表链一财经立场,转载请联系原作者。

发表评论

登录后才能评论

联系我们

微信:kkyves

邮件:kefu@lianyi.com

时间:7x24,节假日bu休息

QR code