ChainSecurity Ltd has completed a security audit of the TenX token. To find out more about the scope of the audit and considered properties, see our audit report.
Summary
TenX introduces a security token. The token implements the ERC-20 and ERC-1400 (ERC-1644 and ERC-1594) specifications. It grants the right to receive Y% (Y = amount TENX tokens owned by an account / total amount of TENX tokens) of the PAY tokens which are deposited in the rewards contract by TenX. An eligible user can withdraw his share of PAY token from the reward contract. A user is eligible if he passed KYC and held TENX token when the deposit was made.
The new token standard (ERC–1400) which TenX uses is currently in development and thereby subject to changes. Therefore, ChainSecurity Ltd recommends TenX to track the latest developments related to this standard.
The TenX smart contracts have been analyzed with state-of-the-art tools for verification of generic vulnerabilities and custom functional requirements. During this process, ChainSecurity Ltd found several issues of different severity (see report for full details). All reported issues were then dully acknowledged and addressed by TenX.