크립토타임즈 리포트의 한글화 전문은 액세스 (Access) 프로토콜의 디스프레드 스크라이브 채널에 업로드됩니다. 디스프레드 스크라이브는 액세스 프로토콜에서 $ACS 토큰을 통해 디스프레드를 구독한 유저에게 독점적으로 양질의 컨텐츠를 제공합니다.

본 아티클은 2023년 4월 28일 일본 크립토 미디어 Crypto Times의 리서치 플랫폼 CT Analysis에 발간된 ‘zkSync Era プロダクト概要と最新動向’의 번역본입니다. 본 플랫폼에서는 리포트의 일부만을 공개하니 전문은 액세스 프로토콜 스크라이브 채널을 참고해주세요.
zkSync Era 프로덕트 개요 및 최신동향 1편 보러가기

목차

[1편]

1. Matter Labs 개요 및 백그라운드 정보

1.1. Matter Labs 소개
1.2. Matter Labs 자금 조달
1.3. BitDAO 투자로부터 zkDAO 설립

2. zkSync 프로덕트 설명

2.1. zkSync Lite의 개요 및 마일스톤
2.2. zkSync Lite 컨트랙트 설계
2.3. zkSync Era의 개요 및 마일스톤
2.4. zkSync Era 퍼블릭 로드맵
2.5. 특징 ① zkPorter와 계정 추상화

[2편]

2.6. 특징 ② 하이퍼스케일링
2.7. zkSync Era 컨트랙트 디자인
2.8. zkSync Era와 다른 zkEVM과의 비교
2.9. 리스크 관련 사안

3. zkSync 관련 데이터

3.1. zkSync Era 자금 유입 그리고 계정
3.2. zkSync Era 계정 별 입금 현황
3.3. 폴리곤 zkEVM 비교
3.4. L1 수수료 비교

4. 생태계 개관 및 고찰

4.1. 생태계 개요
4.2. TVL 상위 DEX 제품 비교
4.3. 고찰

2. zkSync 프로덕트 설명

2.6. 특징 ② 하이퍼스케일링

  Source: https://era.zksync.io/docs/reference/concepts/hyperscaling.html
출처: zkSync docs

zkSync Era에서는, 메인 롤업으로써의 Era을 활용하고 그 위에 배치되는 같은 종류의 zkEVM 인스턴스인 HyperChain을 활용해, 비용 절감을 더욱 추구하는 ‘Hyperscaling’이라는 솔루션에 집중하고 있습니다. 이를 위해, Era를 기본 체인으로 설정하고, 다른 인스턴스에서 생성된 데이터의 영지식 증명(ZKP)을 Era에 제출함으로써, HyperChain의 유효성을 확보하려는 방향성을 보이고 있습니다.또한 zkSync에서는 이더리움의 확장성을 더욱 개선하기 위한 목표를 가진 ‘Opportunity’라는 프로젝트를 발표하였습니다. 이 프로젝트는 2023년 1분기에 테스트 네트워크 론칭을 예고하였으며, 메인 네트워크에는 Era의 탈중앙화 처리 완료 이후에 배포될 것을 시사하였습니다.그 외에도, StarkNet과 같은 프로젝트가 개별 zk 롤업 간의 연결이라는 개념을 제안하고 있어, 이와 같은 아이디어가 향후 확장성 개선의 주된 방향이 될 가능성이 높아 보입니다. 하지만, zk 롤업들 간의 커뮤니케이션 방법, 즉 ‘브릿지’를 어떻게 구현할 것인지는 아직 연구와 실행이 완료되기까지의 시간이 필요하다는 점을 감안해야 합니다.

2.7. zkSync Era 컨트랙트 디자인

  출처: https://l2beat.com/scaling/projects/zksync-era
출처: L2beat

① DiamondProxy (zkSync Era)

  • zkSync의 핵심 컨트랙트
  • 밸리데이터 (A)는 블록의 커밋(commitBlock() -A.1), Verifier(②)에 의해 검증이 완료된 zk 증명의 제공(proveBlocks() -A.2), 블록의 실행(executeBlocks() -A.3)을 수행합니다.
  • 블록을 실행할 때는, L1 -> L2 / L2 -> L1의 트랜잭션을 처리합니다. 또한, 거버넌스는 밸리데이터 (A) 및 Verifier(②) 리스트를 관리합니다.

② Verifier

  • zk 증명의 검증 로직을 구현합니다.

③ Validator Timelock

  • 블록 실행을 지연시키기 위한 컨트랙트(예: L2->L1으로 인출)

2.8. zkSync Era와 다른 zkEVM과의 비교

zkEVM — 네 가지 유형의 카테고리

2022년 8월에 Vitalik이 공개한 블로그에 따르면, zkEVM의 구현 방식에 따라 프로덕트를 네 가지 유형으로 분류할 수 있습니다. 이번 단락에서는 zkSync와 기타 zkEVM이 어떤 카테고리에 속하는지, 그 특징을 비교하며 살펴보겠습니다. 이 프로젝트들의 주 목표는 SNARK를 활용하여 확장성을 실현하는 것이며, 그 과정에서 주로 실용성과 속도 사이에 트레이드 오프가 발생한다고 합니다.

타입 1: 이더리움과 완전히 호환되는 유형

  • 이더리움과 완벽하게 호환됩니다.
  • 이더리움 자체에는 어떠한 변화도 가하지 않습니다.
  • 이더리움은 zk 친화적이지 않기에, 증명 생성 과정이 느립니다.

예를 들면, zkEVM Community Edition 프로젝트가 이에 해당됩니다.

타입 2: EVM과 완전히 호환되는 유형

  • 이더리움의 상태를 유지하는 데이터 구조에 일부 변화를 줍니다.
  • EVM에는 변화를 주지 않아 VM 수준에서 완전히 호환됩니다.
  • zk에 친화적이지 않은 해시 함수를 대체할 수 있습니다.
  • EVM의 증명이 여전히 필요하며, 그 과정이 느립니다.

이 유형의 예시로는 Scroll zkEVM과 폴리곤 zkEVM의 “장래 목표”가 있습니다.

타입 3: EVM과 거의 동등한 유형

  • 증명 시간을 개선하면서, EVM과의 완벽한 동등성을 일부 희생하였습니다.
  • 일부 사전 컴파일된 부분을 제거할 수 있습니다.
  • 대부분의 응용 프로그램은 그대로 사용 가능하지만, 제거된 컴파일을 그대로 사용하는 프로젝트와는 어려움이 있습니다.

현재의 Scroll zkEVM과 폴리곤 zkEVM이 이 분류에 속하며, 점차 호환성을 향상시킬 것으로 예상됩니다. 이를 통해 타입 2.5 (가스 비용 제외 EVM 호환)와 같은 개념으로 발전할 것으로 보입니다.

타입 4: 고급 언어 단계에서 동등한 유형

  • 솔리디티 (Solidity)나 바이퍼 (Vyper)와 같은 고급 언어 단에서 호환됩니다.
  • 해당 소스 코드를 zk 친화적인 언어로 컴파일하는 방식 채택합니다.
  • EVM과는 호환되지 않아, EVM 바이트코드에 의존하는 연산 (CREATE2를 통한 배포나 4337 관련 컨트랙트 계정 등)에서 동일한 주소가 생성되지 않을 수 있습니다.

zkSync, Warp (Nethermind)가 이 분류에 속합니다.zkSync Era는 EVM 호환성이 아닌, 고급 언어인 솔리디티나 바이퍼와 호환되는 zkEVM으로 분류됩니다. 스마트 컨트랙트는 기존대로 작성 가능하지만, 이를 zkSync의 zkEVM 바이트코드로 변환할 때 zksolc (Solidity)나 zkvyper (Vyper) 같은 특별한 도구를 사용해야 합니다.