CertiK logo

CertiK

CertiK is a Web3 security platform providing blockchain and smart-contract audits, formal verification, compliance and risk intelligence, monitoring, and validator services.
New York, New York, United States
Current stage: Series B0 current maintainers0 active leads

Maintainer signals as of Sep 2, 2026


Skynet


Project Links


Description

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.

Category: Risk Assessment

SkyHarbor


Project Links


Description

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.

Category: Risk Assessment

SkyInsights


Project Links


Description

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.

Category: Onchain Compliance and Investigations

SkyNode


Project Links


Description

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.

Category: Staking Service

Shentu Chain


Project Links


Description

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.

Category: L1