确保合约逻辑切合设计类型和设计意图
快速性 & 无界线性：IDRT可以在任何时间，任何所在，几分钟以内，发送给任何人；
可会见性：IDRT成立在和Binance链上，可以与其他区块链处事集成。
Rupiah首创人兼首席执行官Jeth Soetoyo说：“Rupiah Token力争在链上及链下都保持高安详尺度。此次与CertiK的相助是我们遵守这一理睬的最好证明。”检讨代码是否切合最佳实践和行业尺度
缓冲区溢出：假如产生数组越界，进攻者可以写入任意的合约储存地点。
在整个审计进程中，CertiK尤为留意下列事项：
作为区块链安详规模的率领者，CertiK很侥幸能为Rupiah Token提供安详审计，重点审计IDRT智能合约的设计和实践的类型性。
颠末审计，CertiK没有在IDRT智能合约中发明任何问题。
PT Rupiah Token Indonesia是一家由风险成本支持的初创公司，总部位于印度尼西亚首都雅加达。作为领先的区块链技能公司，其使命是在全球范畴内提高印尼盾的接管度，，加快向更具海涵性和开放性的金融体系过渡。自2019年1月创立以来，Rupiah Token一连尽力成长其在印度尼西亚的处事项目，并在诺言精采的生意业务所刊行代币。
“像这样的数字资产固然应用率还不足高，但已经实现了区块链创设之初的目标。尽量比特币已经成为一种生意业务方法和尺度的互换单元，但如它一般的在不变性方面依旧存在一些问题。而引入不变钱币就是当前行之有效的办理步伐之一。”
函数错误：函数运行不切合设计类型，导致代码易受进攻。
今朝很多国度都接管基于美元的不变币，但印度尼西亚市场只接管基于印尼盾(IDR)的不变币。思量到基于美元的不变币需要有美国银行的支持，因此Rupiah Token为印尼区块链市场提供了一个办理方案。
总体而言，Rupiah项目代码切合设计类型且运行精采，具有精采的可扩展性，不易受到任何已知的典范裂痕进攻或其他安详问题的影响，安详水平较高，以满分的后果通过审计验证。
CertiK利用智能标签引擎在源代码上包围了100%的形式化验证标签，以检测下列问题：
审计功效
这次审计的方针在于发明IDRT智能合约源代码中的问题和裂痕。CertiK委派履历富厚的安详专家构成审计团队，操作CertiK独占的形式化验证技能，团结静态阐明及人工复核等方法全面检测合约的裂痕及逻辑错误。
针对常见和不常见的进攻载体对智能合约举办测试
Rupiah Token团队缔造了Rupiah 不变币，即IDRT（基于印尼盾）。这是Binance Chain上第一个基于印尼盾的BEP-2不变币，并由PT Rupiah Token Indonesia公司刊行。这意味着印尼商人可以直接以印尼内地的钱币单元在Binance DEX长举办生意业务，并为其他公家缔造一个去中心化的金融派别。
交错参照合约布局和执行与行业率领者拟定的雷同智能条约
安详专家对整个代码库举办慢慢人工审计
同时，我们发明IDRT是通过多签名合约举办打点的，从而低落了单点妨碍的风险。这也使Rupiah可以或许以一种安详靠得住的方法，实时按照环境举办自我调解，满意IDRT在制造，利用和进级进程中的需求。
在已往的二十年中，因漫衍式网络的鼓起，数十亿的用户以一种安详的方法彼此接洽而且共享信息。尤其是这样的漫衍式网络，已经乐成地将传统经济与无摩擦的分手平台相毗连。
不变性：所有IDRT以1:1的比例由印尼盾作为储蓄；与纯真的人工审计差异，形式化验证的专业化水平更高，它还能从数学层面上证明整个代码的安详性和正确性。因此通过对所有变量的每个大概值举办计较，形式化验证可以对措施举办全面、彻底的查抄。
安详性：IDRT提供了一种防备市场颠簸的要领，确保了可赎回性；
整数溢出和下溢：当算术运算到达一个范例的最大或最小值时，就会产生溢出或下溢。
作为ERC20令牌，IDRT的根基特性如下:
综上所述，受IDRT影响，Rupiah Token需要一个值得信任的安详同伴对其令牌的靠得住性举办审计。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
