[블록체인투데이 김대홍 기자] 최근, 글로벌 최대 Web3 보안 기업 서틱(CertiK)이 이더리움 재단이 발표한 2025년 1분기 연구 지원금 명단에 이름을 올리며 두 건의 연구 지원금을 획득했다.
이는 zkEVM(영지식 이더리움 가상 머신) 정형검증 분야에서의 성과로, 이더리움 확장성 전략의 중요한 이정표이자 영지식 증명(ZKP) 시스템 정형검증 분야에서 서틱이 보유한 글로벌 기술 리더십을 다시 한번 입증한 사례이다.
이번 지원금 획득의 핵심은 서틱의 차별화된 '고급 정형검증' 기술이다. 이 기술은 기존 방식과 비교해 네 가지 측면에서 주요 혁신을 이뤘다. △ 첫째, 추상적인 모델이 아닌 실제 코드를 직접 검증한다. △ 둘째, 일반적 특성을 넘어 코드의 고유한 속성을 심층적으로 검증한다. △ 셋째, 자동화된 프레임워크로 수동으로 다루기 힘든 복잡한 검증을 해낸다. △ 넷째, 학계 수준을 넘어 대규모 실제 서비스 환경에 바로 적용 가능하다는 강점을 지닌다. 주목할 점은 서틱이 설립 초기부터 정형검증을 핵심 기술로 삼아 학술 연구 성과를 실제 Web3 프로젝트의 고신뢰 보안 서비스로 연결해 왔다는 점이다.
이러한 기술적 우위 덕분에 서틱은 복잡한 영지식 증명 시스템 검증에 특히 강점을 보인다. 일례로 서틱은 작년에 zkWasm 회로에 대한 업계 최초의 완벽한 정형검증을 성공시켜, 복잡한 영지식 회로의 전면적 정형검증이 가능하다는 것을 증명했다. 또한 서틱의 정형검증 기술은 zkWasm, TON 메인넷 컨트랙트, Cosmos SDK 등 다양한 Web3 핵심 프로젝트와 앤트 그룹(Ant Group)의 HyperEnclave TEE, Asterinas OS, SGX TRTS SDK 등 핵심 인프라에 광범위하게 적용되어 기술의 폭넓은 활용성과 높은 신뢰성을 입증하고 있다.
zkEVM은 영지식 증명을 활용해 이더리움의 확장성을 혁신하는 기술이다. 거래 연산을 오프체인으로 처리하고 그 유효성을 간결한 증명으로 검증하여 비용 절감과 처리량 증대를 가능하게 한다. 하지만 zkEVM의 복잡성은 새로운 보안 리스크를 내포하며, 이를 해결하고 정확성과 안전성을 담보하는 핵심 도구가 바로 정형검증이다. 정형검증은 수학적 방법을 통해 시스템이 예상 가능한 모든 조건에서 올바르게 작동함을 증명함으로써 취약점이나 예기치 않은 동작을 방지한다.
블록체인 기술, 특히 영지식 증명 시스템이 빠르게 발전하고 확산됨에 따라 정형검증의 중요성은 더욱 커질 것이다. 서틱의 이번 성과는 이더리움 생태계의 확장성과 안전성을 한층 더 강화하는 데 기여할 뿐만 아니라, 다른 블록체인 프로젝트들에도 정형검증의 명확한 기준을 제시하는 이정표가 될 것으로 기대된다.
info@blockchaintoday.co.kr
