Towards Building Trustworthy Blockchain Ecosystems
ID: 10ec468b-f5e3-5999-8fb2-e78315cd65b8
STIX ID: report--10ec468b-f5e3-5999-8fb2-e78315cd65b8
Feed Name: CertiK Blog
This presentation outlines CertiK's use of formal verification to secure blockchain systems and smart contracts, describing concepts like DeepSpec and DeepSEA, a certified compiler approach, the AutoScan platform, audit services, and partnerships with exchanges and blockchain projects; it advocates formal methods as a stronger guarantee than testing and summarizes business achievements and ongoing collaborations.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.