# CertiK > Provable Trust For All. CertiK secures Web3 projects by providing blockchain security audits, formal verification, and AI-powered monitoring services. CertiK helps blockchain developers secure Web3 projects by providing comprehensive security audits, formal verification, and AI-powered monitoring. Users can audit smart contracts, monitor on-chain activity, and ensure regulatory compliance. CertiK combines academic research with enterprise-grade security solutions. - Type: Company - Sector: Security - Status: Active - Founded: 2017-12-01 - Profile: https://thegrid.id/profiles/certik ## Products - [Skynet](https://thegrid.id/profiles/certik): Skynet is a real-time security monitoring with on-chain and off-chain data analysis, providing security scores and risk assessment for Web3 projects. The system aggregates blockchain data while maintaining comprehensive project evaluation through continuous monitoring infrastructure. (Risk Assessment, Live) - [CertiK Security Suite](https://thegrid.id/profiles/certik): The CertiK Security Suite provides blockchain security through smart contract audits, KYC verification, formal verification, penetration testing, and real-time monitoring, helping Web3 projects maintain robust security from development through deployment and operations. (Smart Contract Audits, Live, Main Product) - [SkyHarbor](https://thegrid.id/profiles/certik): SkyHarbor is a security monitoring with advanced threat detection, providing all-in-one asset protection and vulnerability identification for deployed smart contracts. The system monitors blockchain activity while maintaining 24/7 security assessment through customizable alert mechanisms. (Risk Assessment, Live) - [SkyInsights](https://thegrid.id/profiles/certik): SkyInsights is an AML/CFT compliance monitoring with real-time transaction analysis, providing risk assessment and regulatory reporting for virtual asset service providers. The system processes blockchain transactions while maintaining compliance workflow integration through structured labeling and scoring. (Onchain Compliance and Investigations, Live) - [SkyNode](https://thegrid.id/profiles/certik): SkyNode is a blockchain validation services with node infrastructure management, providing staking and validation across multiple blockchain networks. The system operates validator nodes while maintaining network security through delegated proof-of-stake mechanisms. (Staking Service, Live) - [Shentu Chain](https://thegrid.id/profiles/certik): Shentu Chain is an L1 chain with delegated proof-of-stake consensus through Cosmos SDK architecture, providing security-focused blockchain infrastructure for decentralized applications. The system processes transactions while maintaining cross-chain interoperability through formal verification integration. (L1, Live) ## Assets - [Shentu (CTK)](https://thegrid.id/profiles/certik): CTK is the native token of Shentu Chain, a delegated proof-of-stake blockchain built on Cosmos SDK. It is used to pay transaction fees, secure the network through staking, and participate in governance decisions. The token powers the Security Oracle system, where operators receive CTK rewards for evaluating smart contract security, and can be staked as collateral into ShentuShield Pools in exchange for higher staking rewards to reimburse users for lost or stolen crypto assets. (Native) ## Links - [Main](https://www.certik.com) - [Blog](https://certik.com/resources/blog) - [Media Kit/branding](https://certik-public-assets.certik.com/certik_media_kit.zip?v=2) - [Privacy policy](https://www.certik.com/company/privacy-policy) - [Terms of Service](https://www.certik.com/company/terms-of-use) - [Twitter / X](https://x.com/CertiKCommunity) - [Telegram](https://t.me/CertiKCommunity) - [Twitter / X](https://x.com/CertiK) - [LinkedIn](https://www.linkedin.com/company/certik) - [Discord](https://discord.com/invite/certik) - [YouTube](https://www.youtube.com/@CertiKCommunity) - [Twitter / X](https://x.com/CertiKAlert) ## Legal This data is provided under two licensing models. Model 1 - open data. The open data core is licensed under the Open Database License (ODbL) — a copyleft/share-alike license allowing free use, modification, and sharing for any purpose. Attribution is required: include "Powered by The Grid" linking to https://thegrid.id wherever the data is used. Derivative databases must be shared under ODbL terms. Trademarks, logos, and brand names (marked "Special TPIP") are not covered by the ODbL. For ML/AI use: training datasets that substantially extract ODbL data are Derivative Databases and must be shared under ODbL if publicly used; models must be attributed in documentation. Model 2 - commercial licenses. The Grid Data Service (TGDS) is also available as a commercial license. See [Web Services Terms](https://about.thegrid.id/legal/web-services-terms) for commercial use that is not covered by the open data service. The following applies to both licensing models. - All data is provided AS IS with no guarantees of accuracy. - The Grid does not provide investment, legal, or tax advice, and - a project's presence in The Grid's data does not imply endorsement. - [Data Licensing & Disclaimers](https://about.thegrid.id/legal/data-licensing-and-disclaimers): Licensing models and disclaimers - [Open Data (ODbL)](https://about.thegrid.id/legal/open-data): Open Database License terms and scope for The Grid's open data service. - [Attribution Guidelines](https://about.thegrid.id/legal/open-data-attribution-guidelines): How to attribute The Grid's data when using the open data service. - [Web Services Terms](https://about.thegrid.id/legal/web-services-terms): commercial Terms for using data services. - [All Legal Documents](https://about.thegrid.id/legal): Full index of terms, policies, and disclosures ## Optional - [TGS Field Descriptions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-field-descriptions.md): Schema field definitions for The Grid's data model - [TGS JSON Structure](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-json-structure.md): Data model structure and relationships - [Product Type Definitions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-definitions.md): Definitions for each product type - [Product Type Classification](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-classification.md): Guide for classifying products into types - [Grid MCP Guide](https://github.com/The-Grid-Data/workspace-public/blob/main/grid-search/skills/grid-query/references/grid-mcp-guide.md): How to query The Grid programmatically via MCP