공연
RD 인기지표
RD 성장지표
비교
업데이트 따라가기
팔로우 목록
인물
Certora 소개
Certora는 블록체인 프로토콜을 위한 정식 검증 도구와 스마트 계약 감사 서비스를 제공합니다. 핵심 제품인 Certora Prover는 패턴 매칭이나 수동 검토에만 의존하지 않고 수학적 방법을 사용하여 계약 코드가 지정된 속성을 충족하는지 검증합니다. 시장의 문제점은 기존 코드 감사 및 테스트가 특히 복잡한 DeFi 프로토콜에서 세부적인 논리 오류가 치명적인 재정적 손실을 초래할 수 있는 모든 가능한 실행 경로를 완전히 포괄할 수 없다는 점입니다. Certora의 접근 방식을 통해 개발자는 CVL 언어로 공식 명세를 작성하고 코드가 모든 가능한 상태와 입력에서 올바르게 작동함을 증명할 수 있습니다. 지난 6개월(2026년 3월~9월) 동안 Certora는 코드와 문서를 자동으로 읽고 공식 명세를 생성하며 검증 보고서를 생성하는 AI 기반 시스템인 AutoProver를 출시했습니다. 또한 Aave V4 프로토콜을 위해 Aave와 공동으로 개발한 보안 프레임워크를 발표했으며, 이는 일회성 감사가 아닌 개발 주기 전반에 걸친 지속적인 정식 검증을 포함합니다. 추가로 Certora는 DeFi 공격이 스마트 계약 로직뿐만 아니라 오프체인 인프라와 운영 프로세스를 점점 더 표적으로 삼고 있음을 강조하고, 특정 시점 감사를 넘어 지속적인 보안 관행의 필요성을 역설하는 라이브스트림 토론을 주최했습니다.
Certora는 정형 검증의 선구자인 Shmuel Sagiv가 수십 년간의 학술 연구를 바탕으로 설립했으며, 스마트 계약 보안에 수학적 증명을 도입했습니다. 2020년부터 Certora는 Aave에 정형 검증을 제공하여 Aave V1에서 여러 치명적인 취약점을 발견하고 V2와 V3를 지속적으로 보호했습니다. 총 120개 이상의 계약을 검토하고 800개 이상의 규칙을 작성했으며 28개의 중대한 버그를 발견하여 수십억 달러의 손실을 방지했습니다. 또한 Sushiswap의 Trident에서 Certora는 풀을 고갈시킬 수 있는 치명적인 취약점을 발견하고 방지했습니다. 2022년 Certora는 Jump Crypto가 주도한 3,600만 달러 규모의 시리즈 B 투자 라운드를 유치했습니다. 2025년 2월, Certora는 핵심 Prover를 오픈소스로 공개하여 개발자들이 산업 등급의 정형 검증 도구를 자유롭게 사용할 수 있게 했으며, 이는 스마트 계약 보안에서 수동 감사에서 수학적 보증으로의 패러다임 전환을 의미합니다.
지난 6개월 동안 Certora는 스마트 계약 보안 분야에서 중요한 진전을 이루었습니다. 2026년 3월, Certora와 Aave는 6년간의 협력 끝에 Aave V4 보안 프레임워크를 공개했습니다. 초기 개발 단계부터 형식 검증, 적대적 테스트 및 수동 감사를 통합하여 169개의 계약과 51,000줄 이상의 코드를 검토하고, 800개 이상의 규칙을 작성했으며, 28개의 치명적인 취약점을 방지했습니다. 2026년 5월, Certora는 Canton 재단으로부터 약 30만 달러의 보조금을 받아 Daml용 오픈소스 정적 분석 도구를 구축하고, 패키지 간 상호작용 검사를 자동화하며, dpm CLI와 통합하여 다자간 신뢰를 강화했습니다. 향후 Certora는 시점 기반 감사에서 지속적인 보안 엔지니어링으로 전환하고, 검증을 개발 파이프라인에 내장하며, 사양 및 재사용 가능한 프레임워크를 오픈소스화하여 기관용 다자간 시스템 및 영지식 실행 환경(예: zkEVM)으로 확장하는 데 중점을 둘 계획입니다.
공동 창립자: 셸리 그로스만, 공동 창립자 겸 CTO. 현재 핵심 임원: 물리 사기브, CEO; 사우라브 샤르마, 이사회 멤버; 앤드류 플레쉬, 글로벌 세일즈 부사장; 이디트 크론존, 부사장; 소피 비사니, 세일즈 부사장; 엘라드 에르드하임, 연구 보안 랩 부사장; 마야 글릭 두보비, 고객 성공 부사장; 일리아 레이보비치, 마케팅 부사장.
Certora의 최근 팀 변화: 시니어 보안 연구원 Jelle Goethals가 2025년 1월에 합류하여 2026년 8월에 퇴사했습니다. 공개 자료에 따르면, Certora의 보안 연구 팀은 2025년 동안 규모가 4배로 증가했으며 계속 확장되어 2026년 3월 기준 총 직원 수가 125명에 달했습니다. 핵심 연구원의 이탈에도 불구하고 전체 팀은 여전히 성장 추세를 유지하고 있습니다.