CertiK

CertiK, 어렵지 않아요 블록체인 보안 회사가 뭘 하는지 쉽게 알기

1. CertiK는 어떤 회사예요?

CertiK(써틱)는 암호화폐와 Web3(블록체인을 기반으로 한 새로운 인터넷 서비스) 세계에서 '보안'을 전문으로 맡아 주는 회사예요. 어느 한 프로젝트 편이 아니라 독립적인 입장에서 검사해 주는 곳이라, 여기저기서 믿고 맡길 수 있어요.

하는 일은 프로그램이 세상에 나오기 전에 코드를 미리 검사하는 것부터, 나온 뒤에도 계속 지켜보고 사고가 나면 대응하는 것까지예요. 즉 블록체인 프로그램이 태어나서 운영되는 전 과정 내내 안전을 챙기는 걸 목표로 해요.

고객도 아주 다양해요. 레이어 1·레이어 2 블록체인(거래를 처리하는 바탕 네트워크와, 그 위에서 속도를 높여 주는 보조 네트워크), 탈중앙화 금융(은행 없이 프로그램으로 돈을 빌리고 맡기는 서비스), NFT 플랫폼, Web3 인프라를 만드는 회사까지 두루 이용해요.

CertiK는 자기 자신을 '대학에서 연구하는 컴퓨터과학'과 '현장에서 일하는 블록체인 엔지니어링'이 만나는 자리에 두고 있어요. 그래서 감이나 경험만이 아니라 연구를 바탕으로 한 방식을 강조해요.

2. 어떤 서비스를 팔아요?

CertiK는 블록체인 프로젝트를 만드는 단계마다 쓸 수 있는 보안 제품과 서비스를 갖추고 있어요.

스마트 컨트랙트 감사는 사람이 직접 보기도 하고 도구로 자동으로 훑기도 하면서, 약점이나 논리적 실수, 보안 위험을 찾아내는 일이에요. 정형 검증은 스마트 컨트랙트가 어떤 상황에서도 원래 의도대로 움직이는지를 수학적으로 증명해서 확인하는 방법이에요. Skynet(스카이넷) 보안 플랫폼은 블록체인 위에서 벌어지는 활동과 공격, 이상한 움직임을 실시간으로 추적하는 감시 시스템이에요. 보안 점수(Security Scores)는 여러 프로젝트의 보안 수준이 서로 어느 정도인지 숫자로 매겨서 비교할 수 있게 해 줘요. 사고 대응·컨설팅은 실제로 공격을 당했을 때 대응을 돕거나, 보안 구조를 더 튼튼하게 고치도록 도와줘요.

이 서비스들은 '미리 막는 예방'과 '계속 지켜보는 상시 감시'를 함께 제공하도록 설계됐어요.

실제로 쓰이는 예를 보면, DeFi 프로토콜을 메인넷(실제로 돈이 오가는 진짜 네트워크)에 내놓기 전에 검사하거나, 운영 중인 스마트 컨트랙트가 공격당하는지 감시하거나, 사용자·투자자·거래소가 볼 수 있게 보안 상태를 투명하게 공개하거나, Web3 플랫폼이 규제를 지키고 위험을 관리하도록 돕는 일 등이 있어요.

이렇게 보면 쉬워요 · 새 건물을 짓기 전 설계 검토부터, 지은 뒤 CCTV로 계속 지켜보는 것까지 한꺼번에 맡는 보안 회사 같은 거예요.

3. 무슨 기술로 남들과 다르게 하나요?

CertiK가 내세우는 강점은 정형 검증 같은 '정형 기법(formal methods)'이에요. 정형 기법은 소프트웨어가 정확한지를 수학적 추론으로 따지는, 대학 컴퓨터과학에서 나온 기술이에요.

CertiK는 이 수학적인 방법을 전통적인 감사(사람이 코드를 살펴보는 검사)와 자동 분석 도구와 함께 써요. 이렇게 여러 방법을 겹쳐 쓰면 중요한 약점이 그냥 지나쳐 버릴 가능성을 줄일 수 있어요.

Skynet 플랫폼은 블록체인 위의 데이터, 스마트 컨트랙트의 움직임, 거버넌스(프로젝트의 규칙을 정하고 바꾸는 의사결정) 활동을 쉬지 않고 분석해요. 그래서 한 번 검사하고 끝나는 정적인 감사의 한계를 넘어서요.

이런 방식은 블록체인 위험이 가진 특성을 반영한 거예요. 프로그램을 내놓은 뒤에도 새로운 위협이 언제든 나타날 수 있기 때문에, 배포 이후에도 계속 지켜봐야 하거든요.

4. 언제, 누가 만들었어요?

CertiK는 2018년에 예일대학교 컴퓨터과학 교수인 론후이 구와 중 샤오가 세웠어요. 두 사람은 정형 검증과 프로그래밍 언어를 전문으로 하는 학자예요.

당시 스마트 컨트랙트의 버그나 설계 실수 때문에 블록체인 보안 사고가 점점 늘고 있었는데, 이 문제에 대응하려고 회사를 만든 거예요.

설립 이후 CertiK는 수천 개의 블록체인 프로젝트를 검사하면서, 암호화폐 업계에서 가장 널리 알려진 보안 회사 중 하나로 컸어요. 서비스도 단순한 감사에서 시작해, 실시간 보안 정보 제공과 위험 감시까지 넓혀 왔어요.

5. 주요 인물은 누구예요?

CertiK를 이끄는 주요 인물은 다음과 같아요.

론후이 구 교수(Prof. Ronghui Gu)는 설립자이자 최고경영자(CEO, 회사 전체를 총괄하는 대표)예요. 중 샤오 교수(Prof. Zhong Shao)는 함께 회사를 세운 공동 설립자예요.

야신 차오 박사(Dr. Yaxin Cao)는 최고운영책임자(COO, 회사가 실제로 돌아가는 운영을 책임지는 사람)예요. 데이비드 타디티 박사(Dr. David Tarditi)는 엔지니어링 부문 부사장이에요.

자오중 니 박사(Dr. Zhaozhong Ni)는 최고기술책임자(CTO, 기술을 총괄하는 사람)예요. 무한 저우(Muhan Zou)는 최고전략책임자(CSO, 회사의 방향과 전략을 책임지는 사람)예요.

6. 투자는 어떻게 받고, 조직은 어때요?

CertiK는 기술·블록체인 분야의 여러 투자자로부터 벤처 자본(성장 가능성이 큰 회사에 미리 넣는 투자금)을 받았어요. 회사는 전 세계 단위로 운영되고, 조직은 연구, 엔지니어링, 감사, 보안 인텔리전스(보안 관련 정보 수집·분석) 등으로 나뉘어 있어요.

대학 연구에 뿌리를 둔 배경은 회사 문화에도 이어져요. 그래서 계속 연구하고 도구를 개발하는 일이 전략의 중심에 있어요.

시장에서 CertiK는 규모와 인지도가 가장 큰 블록체인 보안 회사 중 하나로 평가받아요. 회계·감사 회사인 딜로이트, KPMG와 비슷한 감사 서비스 제공자로 비교되기도 해요.

CertiK가 매기는 보안 점수와 보고서는 거래소, 투자자, 사용자가 어떤 프로젝트가 위험한지 판단할 때 자주 참고하는 자료예요.

7. 한계는 없어요? 뭘 조심해야 해요?

보안 감사와 모니터링은 위험을 줄여 주지만, 위험을 완전히 없애 주지는 못해요.

감사는 검사 범위, 주어진 시간, 미리 정해 둔 전제 조건 같은 제약을 받아요. 게다가 블록체인 시스템은 새로운 공격 방법, 거버넌스(의사결정 구조)의 실패, 경제적 허점을 노린 공격에 여전히 노출되어 있어요.

그래서 감사를 통과했다고 해서 '이건 완전히 안전하다'는 보증으로 받아들여서는 안 돼요.

그럼에도 CertiK는 Web3 생태계 전반의 투명성과 회복력(문제가 생겨도 다시 버티고 회복하는 힘)을 높여 주는 도구와 서비스를 제공해요. 그래서 블록체인 보안의 기반을 튼튼하게 하는 데 상당히 큰 역할을 하고 있어요.

이렇게 보면 쉬워요 · 건강검진을 받아 문제를 미리 찾을 수는 있지만, 검진을 통과했다고 앞으로 절대 안 아픈 건 아닌 것과 비슷해요.