Back to all stories
Case Study
Partnership Spotlight: Taxa Network
Partnership Spotlight: Taxa Network

CertiK is proud to announce a cooperation with Taxa Network focused on smart contract security.

As a layer-2 infrastructure specialized in providing privacy-preserving, high-performing, and highly customizable computing environment, Taxa aims to become the generic business logic layer of blockchain infrastructure, enabling the applications of Web3 to develop and thrive. Given Taxa’s positioning as the bridge between layer-1 blockchains and dapps, the security of its program has ramifications across the broader community.

CertiK will play a role in providing high quality security to the Taxa ecosystem.

The collaboration with CertiK will allow the Taxa Token smart contract to benefit from CertiK’s best-in-class security auditing and proprietary Formal Verification methods. It underscores Taxa’s commitment to a secure, decentralized community, empowering the Taxa’s ecosystem and beyond.

The Audit Process

The auditing was conducted by CertiK’s team of experienced security engineers and consultants, and was conducted utilizing CertiK’s Formal Verification Platform, Static Analysis, and Manual Review.

Overall, the team found Taxa Network's code to follow good practices. With the delivery of the audit report, CertiK concludes that the contract is not vulnerable to any classically known anti-patterns or security issues.

CertiK would like to congratulate the Taxa team for passing the rigorous verification process and wishes them luck on their project at large.

About Taxa

Taxa Network is a privacy-preserving, computationally powerful, highly developable, blockchain agnostic layer-2 infrastructure. To learn more about Taxa, visit their website



About CertiK

CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University. Incubated by Binance Labs, Certik has strategic partnerships with the world’s leading crypto exchanges such as Binance, OKEx, and Huobi, as well as protocols such as NEO, ICON, and QuarkChain.

CertiK’s formal verification method works differently than traditional testing approaches: rather than working manually, CertiK mathematically proves blockchain ecosystem and smart contracts are hacker-resistant and bug-free at scale. CertiK has secured billions in assets, auditing several projects across all major protocols, including BNB, Terra,, and TUSD.

To request the audit/verification of your smart contracts, please email [email protected] or visit