뉴욕--(뉴스와이어)--최근 글로벌 최대 Web3 보안기업 서틱(CertiK)이 이더리움 재단이 발표한 2025년 1분기 연구 지원금 명단에 이름을 올리며 두 건의 연구 지원금을 획득했다. 이는 zkEVM(영지식 이더리움 가상 머신) 정형검증 분야에서의 성과로, 이더리움 확장성 전략의 중요한 이정표이자 영지식 증명(ZKP) 시스템 정형검증 분야에서 서틱이 보유한 글로벌 기술 리더십을 다시 한번 입증한 사례이다.

이번 지원금 획득의 핵심은 서틱의 차별화된 ‘고급 정형검증’ 기술이다. 이 기술은 기존 방식과 비교해 네 가지 측면에서 주요 혁신을 이뤘다. △첫째, 추상적인 모델이 아닌 실제 코드를 직접 검증한다. △둘째, 일반적 특성을 넘어 코드의 고유한 속성을 심층적으로 검증한다. △셋째, 자동화된 프레임워크로 수동으로 다루기 힘든 복잡한 검증을 해낸다. △넷째, 학계 수준을 넘어 대규모 실제 서비스 환경에 바로 적용 가능하다는 강점을 지닌다. 주목할 점은 서틱이 설립 초기부터 정형검증을 핵심 기술로 삼아 학술 연구 성과를 실제 Web3 프로젝트의 고신뢰 보안 서비스로 연결해 왔다는 점이다.

이러한 기술적 우위 덕분에 서틱은 복잡한 영지식 증명 시스템 검증에 특히 강점을 보인다. 일례로 서틱은 지난해 zkWasm 회로에 대한 업계 최초의 완벽한 정형검증을 성공시켜, 복잡한 영지식 회로의 전면적 정형검증이 가능하다는 것을 증명했다. 또한 서틱의 정형검증 기술은 zkWasm, TON 메인넷 컨트랙트, Cosmos SDK 등 다양한 Web3 핵심 프로젝트와 앤트 그룹(Ant Group)의 HyperEnclave TEE, Asterinas OS, SGX TRTS SDK 등 핵심 인프라에 광범위하게 적용돼 기술의 폭넓은 활용성과 높은 신뢰성을 입증하고 있다.

zkEVM은 영지식 증명을 활용해 이더리움의 확장성을 혁신하는 기술이다. 거래 연산을 오프체인으로 처리하고 그 유효성을 간결한 증명으로 검증해 비용 절감과 처리량 증대를 가능하게 한다. 하지만 zkEVM의 복잡성은 새로운 보안 리스크를 내포하며, 이를 해결하고 정확성과 안전성을 담보하는 핵심 도구가 바로 정형검증이다. 정형검증은 수학적 방법을 통해 시스템이 예상 가능한 모든 조건에서 올바르게 작동함을 증명함으로써 취약점이나 예기치 않은 동작을 방지한다.

블록체인 기술, 특히 영지식 증명 시스템이 빠르게 발전하고 확산됨에 따라 정형검증의 중요성은 더욱 커질 것이다. 서틱의 이번 성과는 이더리움 생태계의 확장성과 안전성을 한층 더 강화하는 데 기여할 뿐만 아니라 다른 블록체인 프로젝트들에도 정형검증의 명확한 기준을 제시하는 이정표가 될 것으로 기대된다.

CertiK 소개

CertiK은 블록체인 보안 분야의 선구자로서, 현재 최첨단 정형 검증 기술, AI 감사 기술, 보안 전문가 수동 감사를 활용해 블록체인 프로토콜과 스마트 컨트랙트를 스캔 및 모니터링해 그 안전성을 보장한다. 예일대와 컬럼비아대 교수 두 명이 2018년에 설립한 CertiK은 학계 최첨단의 혁신 기술을 산업에 적용함으로써 기업이 중요한 소프트웨어 및 애플리케이션을 충분히 안전하고 올바른 환경에서 구축할 수 있도록 해 Web3 세계를 보호하고 있다. 블록체인 보안 분야에서 가장 빠르게 성장하고 가장 신뢰받는 기업 중 하나인 CertiK은 진정한 업계 리더로 거듭났다. 현재까지 CertiK은 4100개 이상의 기업과 협력해 7만 개 이상의 블록체인 코드 취약점을 탐지했으며, 3700억달러 이상의 자산을 보호했다. 우리의 고객으로는 Aptos, Ripple, Sandbox, Polygon, BNB Chain 및 TON과 같은 주요 프로젝트 등이 있다. 또한 CertiK은 Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Coinbase Ventures, Binance, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital 등 VC들에게 투자를 받았다.