Taxa Network Security Audit Completed

The Taxa Team
Feb 12 · 2 min read

Taxa Network engaged leading blockchain security company CertiK to complete a security audit of the TXT smart contracts.

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:

  1. Testing the smart contracts against both common and uncommon attack vectors;
  2. Assessing the codebase to ensure compliance with current best practices and industry standards;
  3. Ensuring contract logic meets the specifications and intentions of the client;
  4. Cross referencing contract structure and implementation against similar smart contracts produced by industry leaders;
  5. 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.


Taxa Network

Taxa is a privacy-preserving, computationally powerful…

The Taxa Team

Written by

Performance, Privacy & Usability for Every Blockchain

Taxa Network

Taxa is a privacy-preserving, computationally powerful, highly developable, blockchain agnostic layer-2 infrastructure.

More From Medium

More on Updates from Taxa Network

More on Updates from Taxa Network

Taxa Monthly Highlights for February 2020

More on Updates from Taxa Network

More on Updates from Taxa Network

Taxa Monthly Highlights for January 2020

More on Updates from Taxa Network

More on Updates from Taxa Network

Taxa 2020 Roadmap

Welcome to a place where words matter. On Medium, smart voices and original ideas take center stage - with no ads in sight. Watch
Follow all the topics you care about, and we’ll deliver the best stories for you to your homepage and inbox. Explore
Get unlimited access to the best stories on Medium — and support writers while you’re at it. Just $5/month. Upgrade