CertiK
ClaimCertiK is a blockchain security company that provides auditing, formal verification, and compliance services for Web3 projects and enterprises.
Overview
CertiK conducts security audits of smart contracts and blockchain code, penetration testing of Web3 applications, and formal verification of blockchain infrastructure. Its clients include Web3 protocols, exchanges, custodians, enterprises, and regulators. The company also offers compliance and anti-money-laundering tools through its SkyInsights product and publishes a Skynet security rating for blockchain projects.
Upcoming
Multichain Day | TOKEN2049 Singapore
Onchain Day | TOKEN2049 Singapore
Recent activity
Joined LF Decentralized Trust to advance security standards for enterprise blockchain
1 more from this post
Formally verified zkWasm, proving mathematical soundness of the zkVM
Completed security audit of XLS-30d, an AMM built on the XRP Ledger
2 more from this post
Partnered with OKX to enhance security across OKX's ecosystem
Completed security audit of LINE Blockchain and will join as governance member and node validator
