在過去的二十年中，因分散式網路的興起，數十億的使用者以一種安全的方式相互聯絡並且共享資訊。尤其是區塊鏈這樣的分散式網路，已經成功地將傳統經濟與無摩擦的分散平臺相連線。

“像比特幣這樣的數字資產雖然應用率還不夠高，但已經實現了區塊鏈創設之初的目的。儘管比特幣已經成為一種交易方式和標準的交換單位，但如它一般的加密貨幣在穩定性方面依舊存在一些問題。而引入穩定貨幣就是當前行之有效的解決辦法之一。”目前許多國家都接受基於美元的穩定幣，但印度尼西亞市場只接受基於印尼盾(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的合作是我們遵守這一承諾的最好證明。”