pillar

StarkWare의 STARK 기반 zkEVM 타입 2 아키텍처와 상용화 전략

핵심 요약

StarkWare는 STARK 증명을 기반으로 EVM 완전 호환성을 제공하는 zkEVM 타입 2를 구현했다. 이 아키텍처는 기존 이더리움의 opcode 집합을 그대로 사용함으로써, Solidity로 작성된 스마트 컨트랙트를 수정 없이 실행할 수 있다. STARK는 trusted setup이 불필요하며 양자 컴퓨터 공격에도 강한 투명한 증명 방식으로, 장기적인 보안 전략에서 차별화된 안전성을 확보한다. 또한 증명 생성 속도를 최대 10배 이상 향상시켜 확장성을 크게 개선했다. 상용화를 위해 StarkEx(특정 dApp 최적화)와 StarkNet(일반 목적 레이어 2)이라는 이중 전략을 채택하여, 다양한 시장 세그먼트에 맞춤형 확장 솔루션을 제공한다.

이 글의 핵심 주장과 근거

핵심 주장

zkEVM eliminates trusted ceremonies but increases verification-key storage by 1.8× relative to Halo2, raising long-term storage cost by approximately $8K per year.

출처: [1] zkEVM Trustless Verification Trade-offs - Ethereum Foundation Engineering Whitepaper

STARK 증명 시스템의 기술적 우위

StarkWare가 개발한 STARK(Scalable Transparent Argument of Knowledge)는 trusted setup이 필요 없으며 양자 컴퓨터 공격에도 강한 투명한 증명을 제공한다. 이 특성은 장기적인 블록체인 보안 전략에서 중요한 차별화 포인트가 되며, 검증 과정에서 추가적인 신뢰 요소가 요구되지 않아 확장성 확보에 직접 기여한다.

zkEVM 타입 2 의 EVM 완전 호환성

zkEVM 타입 2는 기존 이더리움 가상 머신과 동일한 opcode 집합을 사용하므로, Solidity로 작성된 스마트 컨트랙트를 그대로 실행할 수 있다.이로 인해 개발자는 코드 수정 없이 StarkNet으로 마이그레이션 할 수 있으며, 기존 dApp의 재사용이 가능해 생태계 진입 장벽이 크게 낮아진다. 이 접근법은 증명 생성 비용을 크게 감소시키고 트랜잭션 처리 속도를 향상시킨다.

StarkWare 상용화 전략: StarkEx와 StarkNet

StarkWare는 STARK 기술을 상용화하기 위해 StarkEx와 StarkNet이라는 두 가지 주요 제품을 운영한다. StarkEx는 dYdX, Immutable X처럼 특정 애플리케이션에 최적화된 솔루션을 제공하고, StarkNet은 일반 목적 레이어 2 네트워크로 다양한 dApp을 지원한다. 이 이중 전략은 시장 세그먼트별 맞춤형 확장성을 제공하며 기업 고객에게 유연한 비즈니스 모델을 제시한다.

자주 묻는 질문

zk‑STARK가 무엇이며 왜 zkEVM에서 중요한가?

zk‑STARK는 zero‑knowledge succinct non‑interactive argument of knowledge로, trusted setup 없이 양자 공격에 저항하는 증명을 제공한다. 이 특성은 zkEVM에서 효율적인 온체인 검증을 가능하게 한다.

타입 2와 타입 3 zkEVM의 차이는?

타입 2는 기존 EVM 명령을 그대로 사용해 완전 호환성을 최우선으로 설계했으며, 타입 3은 일부 opcode를 추가·수정해 더욱 EVM과 유사하게 만들면서도 ZK 친화적인 구조를 유지한다.

StarkWare의 Type 2 zkEVM은 현재 어느 단계에 있나요?

2024년 현재 테스트넷에서 성공적인 증명을 확인했으며, 2025년 상반기 메인넷 출시와 주요 DeFi 프로젝트와의 통합을 목표로 하고 있다.