글로벌 최대 웹3 보안 기업 서틱이 이더리움 재단으로부터 연구 지원금 2건을 받았다. 서틱은 zkEVM 정형검증 분야에서 기술력을 인정받았다.
서틱의 고급 정형검증 기술은 기존 방식과 달리 실제 코드를 직접 검증한다. 또 코드의 고유 속성을 심층적으로 검증하고 자동화된 프레임워크로 복잡한 검증도 가능하다. 이 기술은 대규모 실제 서비스에도 바로 적용할 수 있다.
서틱은 작년 업계 최초로 zkWasm 회로의 완벽한 정형검증에 성공했다. 이 기술은 TON 메인넷 컨트랙트와 Cosmos SDK 등 다양한 웹3 프로젝트에 적용됐다. 앤트 그룹의 핵심 인프라에도 활용되며 기술의 신뢰성을 입증했다.
zkEVM은 영지식 증명으로 이더리움의 확장성을 높이는 기술이다. 거래 연산을 오프체인에서 처리하고 증명으로 검증해 비용을 줄이고 처리량을 늘린다. 정형검증은 수학적 방법으로 시스템이 모든 조건에서 올바르게 작동함을 증명한다.
서틱의 이번 성과는 이더리움 생태계의 안전성을 강화할 것으로 기대된다. 다른 블록체인 프로젝트에도 정형검증의 기준을 제시할 전망이다.