Partnership Spotlight: Taxa Network
ID: d7885e95-0f99-5823-973d-2a5def48e8ff
STIX ID: report--d7885e95-0f99-5823-973d-2a5def48e8ff
Feed Name: CertiK Blog
CertiK announced a cooperation with Taxa Network to audit and formally verify the Taxa Token smart contract. The audit used CertiK's Formal Verification Platform, static analysis, and manual review, and concluded that the contract follows good practices and contains no classically known vulnerabilities.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.