CertiKâs Audit Synopsis of Taxa Networkâs Smart Contracts
ID: 473217e1-6378-5641-8e05-771610c1d3b9
STIX ID: report--473217e1-6378-5641-8e05-771610c1d3b9
Feed Name: CertiK Blog
CertiK audited Taxa Network's TaxaToken and TaxaLockFoundation smart contracts, applying line-by-line manual review and 100% formal verification coverage; the audit concluded the contracts are structurally sound and not vulnerable to issues such as integer overflow, buffer overflow, or functional incorrectness.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.