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 STASIS 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 STASIS team for passing the rigorous verification process and wishes them luck on their project at large.
Taxa Network is a privacy-preserving, computationally powerful, highly developable, blockchain agnostic layer-2 infrastructure. To learn more about Taxa, visit their website https://taxa.network/.
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 over $4B in asset value, auditing several projects across all major protocols, including BNB, Terra, Crypto.com, and TUSD.