신뢰 인프라를 구축합니다 디지털 경제를 위한

2017년에 설립되어 뉴욕에 본사를 둔 CertiK는 최대 규모의 Web3 보안 서비스 제공업체입니다. 예일대학교와 컬럼비아대학교 교수진이 이룬 형식 검증 기술의 돌파구를 바탕으로, CertiK는 디지털 자산에 가장 포괄적인 보안 보호를 제공하는 데 집중합니다.

수년에 걸쳐 CertiK는 글로벌 규제 기관, 금융 기관, Web3 혁신 기업이 신뢰하는 리스크 관리 파트너로 성장했으며, 디지털 경제의 신뢰 인프라 구축에 전념하고 있습니다.

CertiK는 고객이 디지털 자산 생애주기 전반의 리스크를 식별, 관리, 완화하도록 도우며, 보안과 리스크 관리를 사후 패치에서 선제적 거버넌스로 전환합니다.

CertiK의 핵심 제품으로는 디지털 자산 리서치, 토큰 상장 리스크 평가, 지속적 모니터링을 위한 리스크 의사결정 플랫폼 Skynet, 라이선스 취득·AML·상시 컴플라이언스 운영을 지원하는 CertiK Compliance, 규제 기관이 인가 기관·디지털 자산·관련 리스크를 지속적으로 모니터링하도록 돕는 CertiK Supervision이 있습니다. 또한 Web3 코드 보안 자동 분석을 위한 AI Auditor, 핵심 코드 속성을 형식적으로 증명하는 CertiK Prover, 버그 바운티 플랫폼이자 보안 연구자 네트워크인 CertiK Hunt를 제공합니다.

이러한 제품은 스마트 컨트랙트 감사, 체인 감사, 침투 테스트, 전문가 형식 검증, 준비금 증명, 밸리데이터 서비스, 자문 및 컨설팅 등 전문가 서비스로 보완됩니다.

이러한 역량을 통해 CertiK는 코드 개발과 출시 전 보안 검증부터 지속적인 자산 모니터링, AML 및 컴플라이언스 운영, 규제 감독, 상시 인프라 보안에 이르기까지 디지털 자산 생애주기의 각 단계에서 리스크에 대응합니다.

형식 검증은 CertiK 기술 기반의 핵심입니다. 예일대학교와 컬럼비아대학교의 형식 검증 연구를 바탕으로, CertiK는 엔지니어링 기반 자동화를 통해 수학적으로 증명 가능한 보안을 스마트 컨트랙트, 프로토콜 계층, 영지식 증명 등 복잡한 시스템을 아우르는 실제 프로덕션 코드에 적용합니다.

CertiK의 형식 검증 역량은 zkWasm, TON, Move 기반 프로젝트 등 여러 선도적인 Web3 생태계에 적용되었습니다. Web3를 넘어 Ant Group의 HyperEnclave TEE, Asterinas 운영체제, SGX TRTS SDK 같은 기반 인프라에도 활용됩니다.

동시에 CertiK는 자체 CertiK Prover 엔진에 AI를 통합해 형식 검증의 효율을 높였습니다. 이 기술적 돌파구는 컴퓨터 과학 최고 권위의 학술대회인 OSDI 2023과 ASPLOS 2026에 발표되었으며, ASPLOS 2026 최우수 논문 가작(Best Paper Honorable Mention)을 수상했습니다.

CertiK는 컬럼비아대학교의 Ronghui Gu 교수와 예일대학교의 Zhong Shao 교수가 공동 설립했습니다. 두 컴퓨터 과학 교수의 연구는 형식 검증, 사이버 보안, 운영체제, 인증 소프트웨어를 아우릅니다.

Ronghui Gu 교수는 CertiK의 공동 창업자 겸 CEO이자 컬럼비아대학교 컴퓨터 과학 부교수입니다. CertiKOS의 주요 설계자이자 개발자이며, 싱가포르 통화청(MAS)의 국제 기술 자문위원으로 활동하고 있습니다. 또한 홍콩 Web3 발전 촉진 태스크포스의 창립 멤버를 역임했습니다.

Zhong Shao 교수는 예일대학교 Thomas L. Kempner 석좌교수입니다. 예일 FLINT 그룹과 함께 세계 최초의 해커 저항형 동시성 운영체제인 CertiKOS를 개발했습니다.

CertiK는 5,500개 이상의 기업 및 기관 고객에게 서비스를 제공하며, 서비스 범위는 전 세계 150개 이상의 국가와 지역에 이릅니다. 6,000억 달러 이상의 디지털 자산을 평가했고 119,000개 이상의 보안 취약점을 발견했습니다.

2024년 통계 기준으로 CertiK는 글로벌 시장 점유율의 약 65%를 차지합니다.

설립 이후 CertiK는 Binance, Sequoia, Hillhouse, Goldman Sachs, SoftBank Vision Fund를 포함한 12개 최상위 펀드로부터 투자를 유치했으며, 기업 가치는 20억 달러를 넘습니다.

CertiK는 Binance, Ant Group을 비롯해 유럽과 싱가포르의 여러 선도 은행 등 5,500개 이상의 기업 고객과 협력해 왔습니다. 또한 규제 기관과 긴밀히 협력하며 미국, 홍콩, 싱가포르, UAE, 한국, 브라질, 영국, EU 등 여러 관할권의 디지털 자산 정책 수립에 적극 참여하고 있습니다.

CertiK는 AI 기반 스마트 컨트랙트 보안 분석 제품인 AI Auditor를 통해 개발 생애주기의 더 이른 단계로 보안을 끌어올리고 있습니다. AI Auditor는 보안 인텔리전스를 개발 워크플로에 직접 내장해, 팀이 배포 전에 취약점을 찾고 높은 신호와 낮은 노이즈로 감사 검증을 강화하도록 돕습니다.

AI Auditor는 단일 모델이나 정적 학습 데이터에 의존하는 대신, 여러 AI 스캐너와 에이전트를 실제 익스플로잇, 감사 결과, 새로운 공격 패턴에서 얻은 지속 진화하는 보안 인텔리전스와 결합합니다. 다단계 검증 프로세스가 결과를 교차 확인하고 중복과 오탐을 걸러내어, 팀이 가장 중요한 문제에 집중하도록 돕습니다. 또한 코드베이스와 리스크 프로필에 따라 스캔 범위와 분석 깊이를 조정할 수 있습니다.

AI Auditor는 전문가 보안 감사를 대체하는 것이 아니라 보완하도록 설계되었습니다. 취약점을 더 일찍 드러내고 원시 결과를 우선순위가 정해진 실행 가능한 결과로 바꾸어, 보안 팀과 감사자가 가장 큰 효과를 내는 곳에 전문성을 집중하도록 합니다.

CertiK Reports는 수년간의 실전 경험을 바탕으로 한 CertiK의 보안 연구 및 인텔리전스 간행물입니다. 119,000개 이상의 코드 취약점을 발견한 CertiK는 이 경험을 700편 이상의 기술 연구와 취약점 분석으로 옮겼습니다.

• Hack3D 리포트. CertiK의 보안 연구와 사고 데이터. Web3 전반의 익스플로잇, 취약점, 손실을 추적하는 분기별·연간 Hack3D 리포트입니다.
• Intel3D 리포트. CertiK Skynet의 Web3 보안 인텔리전스. 디지털 자산 전반의 사기, 위협, 생태계 리스크, 새로운 보안 트렌드를 다룹니다.
• CertiK 블로그. 기관 중심 Web3 시대를 위한 보안 연구, 규제 인사이트, 데이터 기반 분석. 실제 신호를 실행 가능한 인텔리전스로 바꿉니다.
• 보안 대시보드. Web3 보안 사고, 손실, 공격 유형, 변화하는 위협 트렌드를 한눈에 보여주는 지속 업데이트 데이터 대시보드입니다.

대표 간행물로는 CertiK Hack3D: 2026 상반기 리포트와 CertiK Intel3D: 2026 상반기 렌치 공격 리포트가 있습니다. CertiK 리포트의 결과와 데이터는 Forbes, Bloomberg 등 세계 주요 언론과 CoinDesk, Cointelegraph 등 주요 암호화폐 매체에 인용·보도되었습니다.

CertiK의 서비스는 전 세계 150개 이상의 국가와 지역을 아우릅니다. 미국, 아시아태평양, 브라질, 한국, 튀르키예, UAE, 유럽 등 주요 시장에는 현지 팀을 두고 있습니다.

CertiK는 서비스를 지원하는 플랫폼에 대해 SOC 2 Type II와 ISO 27001 인증을 유지하며, 이는 정보 보안과 운영 통제에 대한 의지를 보여줍니다. 또한 ADGM, FSC, MiCA, MAS 등 주요 디지털 자산 규제 프레임워크에 대한 전문성을 갖추어 기관 고객이 변화하는 규제 요건에 부합하도록 돕습니다.

CertiK의 컴플라이언스 솔루션은 주로 금융 기관, 디지털 자산 기업, 가상자산 서비스 제공자(VASP), 규제 기관을 대상으로 합니다.

기관 고객을 위해 CertiK Compliance는 거래상대방 및 자산 등급 평가, 라이선스 준비도 평가, 위협 인텔리전스, AML 스크리닝, 자금 추적, 컴플라이언스 보고를 한데 모았습니다. 규제 시장 진입 전에 컴플라이언스 격차를 파악하고 운영 전반의 보안·컴플라이언스 리스크를 지속적으로 모니터링하도록 돕습니다. 플랫폼의 모니터링은 20개 이상의 블록체인을 아우르고 4억 개 이상의 주소 레이블을 활용하며, 3,000건 이상의 보안 사고를 식별했습니다.

규제 기관을 위해 CertiK Supervision은 관할권 전체의 디지털 자산 리스크를 한눈에 보여줍니다. VASP, 토큰, 지갑, 거래를 통합 모니터링하고, 온체인 활동, AML 및 제재 리스크, 사이버 보안 측면에서 규제 대상 기관을 평가합니다. 리스크 경보를 조사 사건과 검사용 보고서로 전환할 수 있으며, 규칙, 리스크 임계값, 리스크 범주, 보고 요건을 규제 프레임워크별로 설정할 수 있습니다. 현재 200개 이상의 인가 VASP와 17,000개 이상의 토큰을 모니터링하고 있습니다.

CertiK는 또한 스테이블코인, RWA, 기타 블록체인 기반 애플리케이션 등 기관의 디지털 자산 활용 사례 전반에 걸쳐 보안 컨설팅과 리스크 관리 지원을 제공합니다.

2017년 12월에 설립된 CertiK는 최대 규모의 Web3 보안 서비스 제공업체이자 글로벌 규제 기관, 금융 기관, Web3 혁신 기업이 신뢰하는 리스크 관리 파트너입니다.

2020년 이후 CertiK는 119,000개 이상의 코드 취약점을 탐지하고 6,000억 달러 이상의 디지털 자산을 평가했으며, 이 경험을 700편 이상의 기술 연구 논문과 취약점 분석으로 옮겼습니다.

2024년 통계 기준으로 CertiK는 글로벌 시장 점유율의 약 65%를 차지합니다.

CertiK는 서비스를 지원하는 플랫폼에 대해 SOC 2 Type I 및 II 인증을 획득한 최초의 Web3 보안 기업이며, 해당 플랫폼은 ISO 27001 인증도 보유하고 있습니다.

2024년 CertiK는 두 달 만에 Apple, Alibaba, ByteDance, Xiaohongshu(RedNote) 등 12개 글로벌 기술 대기업으로부터 치명적 취약점 발견에 대한 공개 감사를 받았습니다.

CertiK 엔지니어들은 탁월한 보안 기여를 인정받아 2025년 Ledger 명예의 전당에 한 명이 등재되었고, 2023년 Samsung 모바일 보안 명예의 전당에도 이름을 올렸습니다.

2025년 CertiK는 이더리움 재단이 주최한 zkEVM 형식 검증 공모에서 두 건의 연구 지원금을 받았습니다.

2026년 CertiK는 Google EdgeTPU에서 CVE-2026-0150과 CVE-2026-0153 두 건의 보안 취약점을 발견했습니다. 두 결함 모두 Google이 인정했으며 2026년 6월 보안 공지에 포함되었습니다.

디지털 경제를 위한 신뢰 인프라를 구축합니다.