Summary
CHAINSECURITY audited the smart contracts which are going to be deployed on the public Ethereum chain. Audits of CHAINSECURITY use state-of-the-art tools for detection of generic vulnerabilities and checks of custom functional requirements. Additionally, a thorough manual code review by leading experts helps to ensure the highest security standards. During the audit, CHAINSECURITY was able to help REN in addressing several security, trust and design issues of high, medium and low severity. The employed coding practices and partial documentation increased the complexity of the audit.
All reported issues have been addressed by REN. CHAINSECURITY has no further concerns regarding the audited smart contracts.
About Ren smart contracts
The smart contracts of REN are used for certain features of the REN system. Namely, darknode registration, payments, and cross-chain token swap.