CertiK Partners With Ontology
ID: 7f2f633e-73c7-552d-b463-a7640779f9f7
STIX ID: report--7f2f633e-73c7-552d-b463-a7640779f9f7
Feed Name: CertiK Blog
Ontology announced a partnership with CertiK to perform formal verification of smart contracts and blockchain systems, aiming to detect vulnerabilities before deployment and improve security and reliability; the release explains formal verification, highlights CertiK's academic and industry credentials, and invites projects to request audits.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.