Leveraging the state-of-the-art privacy technologies, Taxa aims at becoming the universal logic layer of the layered blockchain infrastructure that enables computationally-powerful, privacy-preserving, highly-developable applications for all, and enabling real-world deployment of trustless technologies to develop and thrive.
To launch Taxa mainnet in a transparent and decentralized way, a set of Ethereum smart contracts are required to hold data necessary to the Taxa mainnet launch including TXT allocation and vesting associated to certain public keys. The security of such smart contracts is of the utmost importance.
The auditing process paid special attention to the following considerations:
- Testing the smart contracts against both common and uncommon attack vectors;
- Assessing the codebase to ensure compliance with current best practices and industry standards;
- Ensuring contract logic meets the specifications and intentions of the client;
- Cross referencing contract structure and implementation against similar smart contracts produced by industry leaders;
- Thorough line-by-line manual review of the entire codebase by industry experts.
During the audit process, CertiK’s smart label applied 100% formal verification coverage on the source code. Unlike manual security checks, Formal Verification examines the entire code logic at-scale and mathematically ensures the program works only as it’s intended to. To do that, the process thoroughly checks the program by calculating it against every possible value for all variables — making it completely air tight.
Overall, CertiK found the TXT smart contracts to be structurally sound and not vulnerable to issues including integer overflow, functional incorrectness, buffer overflow, and others.
You can find the full audit report here.