# CertiK

Status: Unclaimed

## One line

CertiK is a blockchain security company that provides auditing, formal verification, and compliance services for Web3 projects and enterprises.

## Segments

Security & audit, AI

## 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

- Co-hosts Multichain Day | TOKEN2049 Singapore, The Westin Singapore · 2026-10-06–2026-10-06 · Source: https://luma.com/multichaindaysingapore
- Co-hosts Onchain Day | TOKEN2049 Singapore, The Westin Singapore · 2026-10-06–2026-10-06 · Source: https://luma.com/onchaindaytokensingapore

## Recent activity

- seen: 2026-10-01 — Formally verified zkWasm, proving mathematical soundness of the zkVM · https://www.certik.com/products/formal-verification
- seen: 2026-10-01 — Joined LF Decentralized Trust to advance security standards for enterprise blockchain · https://www.certik.com/products/formal-verification
- seen: 2026-10-01 — Completed security audit of XLS-30d, an AMM built on the XRP Ledger · https://www.certik.com/
- seen: 2026-10-01 — Partnered with OKX to enhance security across OKX's ecosystem · https://www.certik.com/
- seen: 2026-10-01 — Completed security audit of LINE Blockchain and will join as governance member and node validator · https://www.certik.com/

## Links

- website: https://certik.com
- x: https://x.com/CertiK

Source: https://sindo.io/c/certik