zkSync의 현황과 OP-Stack과의 비교
* 본 글을 포함한 다양한 리서치 아티클을 Four Pillars 공식 웹사이트에서 확인해보세요!
면책 조항: 본 글은 일반적인 정보 제공을 목적으로 작성되었으며, 법률, 사업, 투자 또는 세금 관련 조언을 제공하지 않습니다. 본 글을 기반으로 투자 결정을 내리거나 이를 회계, 법률, 세무 지침으로 사용해서는 안됩니다. 특정 자산이나 증권에 대한 언급은 정보 제공의 목적일 뿐, 투자에 대한 추천이 아님을 밝힙니다. 본 글에서 표현된 의견은 저자의 개인적인 의견이며, 관련된 기관, 조직 또는 개인의 견해를 반영하지 않을 수 있습니다. 본 글에 반영된 의견은 사전고지 없이 변경될 수 있음을 유의하십시오.
Author: xpara (@xparadigms)
Key Takeaways
- zkSync을 개발한 Matterlabs는 오랜 기간 zkEVM을 개발하고 우수한 제품을 만드는 데 집중한 모습을 보였다.
- 현재 zkSync Era의 성장은 여러 인상적인 지표와 다양한 프로젝트들을 통해 확인할 수 있다.
- zkSync의 아키텍처를 이해하기 위해서는 실행, 결제, 데이터 가용성이라는 세 가지 주요 레이어를 살펴보아야한다.
- zkSync의 기반이 되는 ZK-Stack과 OP-Stack은 비슷한 철학을 공유하지만, dapp 개발자, 핵심 개발자, 비즈니스 운영자의 관점에서 볼 때 구별되는 차이점이 있다.
1. zkSync의 발자취
1.1 zkSync의 간략한 역사
zkSync의 여정은 2019년 EthCC에서 zkSNARK로 롤업을 구현하기 위해 노력하는 소규모 팀으로 시작되었다. 2019년 1월에는 이더리움에서 사이드체인을 운영하기 위해 zkSNARK를 사용하는 개념 증명이 소개되었다. 그 이후로 탈중앙화를 핵심 원칙으로 삼았다. 모든 트랜잭션 데이터를 이더리움에 저장하는 데 집중했고, 시퀀서 탈중앙화 모델을 처리하기 위해 다중 운영자(Multi Operator)모델을 구안했다.
2020년 6월, 팀은 zkSync v1 메인넷을 출시하며 상당한 진전을 이루었다. 이 버전은 초기 콘셉트를 더 넓은 범위에서 실제로 구현한 것으로, 개발 여정에서 중요한 이정표였다. 1년 후인 2021년 6월에는 zkSync 2.0 테스트넷인 Era를 출시하여 더욱 확장했다.
그리고 2023년 3월, zkSync의 전체 메인넷이 성공적으로 출시되어 팀에 큰 성과를 안겨주었다. 이 출시는 이더리움 롤업 생태계에 배포된 최초의 메인넷 zkEVM이었다.
현재 개발팀은 zkSync를 오픈소스로 만들기 위해 노력하고 있다. ZK-Stack라는 것을 발표하여 zk 롤업 체인을 별도로 배포할 수 있게 하여, 각 팀이 자신만의 맞춤형 롤업을 시작할 수 있게 될 것이다. ZK-Stack에 대한 추가 세부 사항은 곧 발표될 예정이다.
zkSync와 매터랩스의 모든 트윗은 이 링크에서 확인할 수 있다.
1.2 투자
zkSync의 개발팀인 매터랩스는 상당한 자금을 모았다. 2022년 11월에 진행된 최근 시리즈 C 라운드를 통해 총 4억 5,800만 달러의 자금을 성공적으로 조달했다. 이 수치에는 여러 투자 라운드와 전용 에코시스템 펀드가 포함되어 있다. 여기에는 2억 달러의 전용 생태계 펀드, 2억 달러의 시리즈 C, a16z가 주도한 5천만 달러의 시리즈 B, 그리고 800만 달러의 시리즈 A 및 시드 라운드가 포함된다.
- 시드 라운드: 시드 라운드를 통해 매터랩스는 PlaceholderVC, Hashed 등의 투자자로부터 200만 달러를 확보했다. 이 초기 재정적 지원은 zkSync 프로젝트의 작업을 시작하는 데 필수적인 토대가 되었다.
- 시리즈 A: 시드 라운드에 이어, 매터랩스는 시리즈 A 펀딩 라운드에서 600만 달러를 추가로 모금했다. 이 새로운 자금 유입은 연구 개발을 추진하고 zkSync의 실현을 앞당길 수 있는 원동력이 되었다.
- 시리즈 B: 매터랩스의 모멘텀은 계속 성장하여 시리즈 B 펀딩 라운드에서 a16z가 리드 투자자로 참여하여 5천만 달러를 모금했다.
- 시리즈 C: 매터랩스는 2억 달러를 모금했다.
- 마지막으로, 매터랩스는 시리즈C 투자 라운드와 더불어 2억 달러 규모의 전용 생태계 펀드를 BitDao와 zkDAO라는 명칭하에 조성했다. 이 펀드는 더 광범위한 zkSync 생태계의 성장과 발전을 촉진하기 위해 특별히 할당되었다.
이러한 모든 자금을 통해 매터랩스는 zkSync의 발전시키고, 개발 속도를 가속화하며, 더 넓은 생태계 내에서 성장을 촉진하는 데 필요한 재정적 지원을 받게 되었다. 매터랩스는 주요 블록체인 프로젝트 중 가장 많은 자금을 모았다.
2. 현재 생태계
2.1 전체 현황
zkSync는 수년 동안 상당한 발전과 성장을 이루었다. 현재 zkSync Lite로 알려진 zkSync v1은 2020년 12월에 총 가치 고정(TVL)이 100만 달러를 돌파하는 이정표를 세웠다. 그 이후로 zkSync 생태계의 TVL은 기하급수적으로 성장했다. 현재 6억 5천만 달러를 돌파하여 이더리움 생태계에서 세번째로 큰 레이어 2 롤업으로 자리 잡았다.
2023년 6월을 앞두고, zkSync는 몇 가지 인상적인 주요 지표를 보유하고 있다. 초당 트랜잭션 수(TPS) 기준 롤업 1위이지만, 30일 동안 아비트럼에 약간 뒤쳐져 있다. 가장 빠른 TVL 성장률을 자랑하며 레이어 1에서 지불된 총 수수료 기준 롤업 1위다.
또한, 고유 지갑의 수도 증가하고 있으며 이는 사용자 채택이 증가하고 있음을 나타냅니다. 동시에 zkSync에 브리징된 이더리움의 양도 증가하고 있다.
2.2 주요 프로젝트
2.2.1 Argent
Argent는 이더리움 기반 암호화폐를 위한 비수탁형 모바일 지갑으로, 디지털 자산 관리를 위한 안전하고 사용자 친화적인 경험을 제공한다.
Argent는 사용자의 휴대폰을 분실하거나 도난당한 경우에도 사용자 자산을 보호할 수 있도록 설계된 고유한 보안 모델을 갖추고 있다. 이 모델에는 생체 인증, 소셜 복구, 온체인 스마트 컨트랙트 지갑과 같은 기능이 포함되어 있다. 이더리움 창립자 비탈릭 부테린이 “지갑 보안을 위해 선호하는 방법”이라고 말한 다중 서명 보안과 소셜 복구 기능을 갖춘 지갑이 바로 Argent다.
2.2.2 싱크스왑
싱크스왑은 zkSync Era내 최대 규모의 디파이 프로토콜다. AMM을 기반으로 한 탈중앙화 거래소로, AMM의 중요 기능들을 제공한다. 62개의 AMM 풀을 보유하며 중요한 특성은 아래와 같다.
- 스테이블 스왑: 멀티풀을 통해 싱크스왑은 각각 최적의 시나리오를 가진 여러 가지 풀 모델을 통합하여 매우 효율적으로 거래할 수 있다. 가장 먼저 출시될 풀 모델은 스테이블 풀로, 범용 클래식 풀에 비해 효율적인 스테이블 코인 거래를 지원하여 싱크스왑이 대규모 스테이블 코인 시장에 진입할 수 있도록 한다.
- 스마트 라우터: 다양한 유동성 풀과 다양한 풀 모델을 통합하여 최적의 가격을 손쉽게 제공하는 유동성 애그리게이터 역할을 수행한다. 멀티홉 및 경로 분할 기능을 제공한다.
- 동적 수수료: 싱크스왑은 DEX에 동적 수수료를 도입하여 사용자가 시장 상황과 커뮤니티 선호도에 따라 거래 수수료를 맞춤 설정할 수 있다. 네 가지 측면에는 변동 수수료, 방향성 수수료, 수수료 할인, 수수료 위임이 포함된다. 이러한 기능은 사용자가 거래 전략을 최적화하고 시장과 커뮤니티의 변화하는 역학 관계에 맞춰 유연하게 조정할 수 있도록 유연성과 적응력을 제공한다.
2.2.3 테베라
테바의 게임 생태계는 게임 세계에 모험과 기술의 독특한 조화를 제공한다. 테바 게임즈는 자연주의적 환경을 배경으로 가디언 캐릭터 스토리라인을 중심으로 연결된 다양한 장르의 게임을 제공한다. 첫 번째 멀티플레이어 게임은 암호화폐를 테마로 한 파워업과 다양한 게임 모드를 갖춘 스릴 넘치는 게임 플레이를 제공하는 Tevaera 2.0 출시와 함께 선보일 예정이다.
테바 생태계는 테바 코어, 테바 체인, 테바 덱스, 테바 마켓으로 구성된 온체인 게임 인프라를 갖는다.
- 테바 코어는 고급 멀티플레이어 게임 프레임워크다.
- 레이어 3 게임 하이퍼체인인 테바 체인은 완전한 온체인 게임으로의 전환을 촉진한다.
- 테바 덱스는 자동화된 게임 덱스를 통해 지속 가능한 플레이 및 수익 경제에 기여한다.
- 테바 마켓은 고유한 대체불가토큰 캐릭터를 발행하고 거래할 수 있도록 지원한다.
3. zkSync의 아키텍처
zkSync Era는 이더리움의 확장성 문제를 해결하기 위해 개발된 레이어 2 프로토콜로, 영지식(ZK) 롤업 구조를 활용한다. 매터 랩스에서 개발한 이 프로토콜은 확장성 및 EVM 호환성에 초점을 맞춰 설계된 zk 롤업 인프라이다.
zkSync 롤업의 운영 단계는 다음과 같이 요약할 수 있다:
- 처음에 트랜잭션 또는 우선순위 작업이 사용자에 의해 생성된다.
- 이후 운영자가 사용자의 요청을 처리할 책임을 맡는다. 성공적으로 처리되면 운영자는 롤업 작업을 생성하고 이를 블록에 포함한다.
- 블록이 완료되면 운영자는 블록 커미트먼트의 형태로 zkSync 스마트 컨트랙트에 블록을 제출한다.
- 마지막으로, 블록 검증(Verification)이라고 알려진 단계에서 블록의 proof가 zkSync 스마트 컨트랙트에 제공된다. 검증자 계약에서 검증이 성공적으로 간주되면 새 상태를 최종 상태로 검증한다. 이것으로 zkSync 롤업 작업 주기가 끝난다.
이 파트에서는 세 가지 기본 계층에 초점을 맞춰 zkSync가 작동하는 방식을 자세히 설명하도록 하겠다.
- 실행(Execution): 이는 블록체인의 상태를 변경하거나 전환하는 과정을 말한다. 간단히 말해 트랜잭션을 수신하고 이전 상태에 적용하는 곳이다.
- 세틀먼트(Settlement): 실행 단계에서 변경된 내용이 시스템의 전체 상태를 정확하게 반영하는지 증명 시스템을 통해 확인한다.
- 데이터 가용성(Data Availability): 시스템의 기록 보관 섹션이다. 모든 트랜잭션 데이터(입력), 스테이트 변화 값(출력), 증명이 저장되는 곳이다. 이는 필요한 경우 언제든지 시스템의 현재 상태를 처음부터 다시 생성할 수 있도록 하기 위함이다.
3.1 실행
3.1.1 VM 레벨에서 실행
zkSync는 타입4 zkEVM에서 실행되며, 이는 하이레벨 언어(예: 솔리디티, 바이퍼)로 작성된 스마트 컨트랙트 코드를 가져와서 zk-SNARK 친화적으로 설계된 언어로 컴파일한다는 의미이다.
또한, 개발자가 C++, Rust 및 기타 인기 있는 언어로 스마트 컨트랙트를 작성할 수 있도록 LLVM 기반 컴파일러를 사용한다는 점도 zkSync Era의 독특한 점이다. LLVM 프레임워크는 스마트 컨트랙트 언어 툴체인을 구축하기 위한 컴파일러이다. Intermediate Representation(IR)을 통해 개발자는 광범위한 LLVM 생태계를 활용하면서 효과적인 언어별 기능을 고안, 구현, 개선할 수 있다.
구축된 툴체인에서 LLVM은 LLVM IR을 처리하고, 포괄적인 최적화를 도입하며, 궁극적으로 최적화된 IR을 zkEVM 백엔드 코드 생성기로 전달한다.
3.1.2 실행 개요
zkSync에서 코어 어플리케이션(Core App), 실행 계층을 관리하는 데 중요한 인프라다.
첫 번째 역할은 입금 또는 우선순위 작업을 위해 레이어 1(L1) 스마트 컨트랙트를 추적하는 것이다. 이 메커니즘은 이더리움 네트워크에서 시작된 모든 변경 사항을 모니터링하고 zkSync 레이어 2(L2) 환경에 반영해야 하므로 zkSync와 이더리움 네트워크의 원활한 통합을 보장하는 데 매우 중요한다.
코어 애플리케이션은 또한 들어오는 트랜잭션을 수집하는 메모리 풀(멤풀)을 관리하는 작업도 수행한다. 이 트랜잭션 모음은 처리를 위해 대기열에서 대기하며, 트랜잭션이 확인되어 블록에 추가되기 전에 효과적으로 보류 영역 역할을 한다.
코어 애플리케이션의 필수적인 업무에는 멤풀에서 트랜잭션을 가져와 가상 머신(VM) 내에서 실행하고 필요에 따라 상태를 조정하는 것이 포함된다. 본질적으로 이 프로세스에는 트랜잭션을 가져와서 처리하고 그 결과를 시스템에 반영하는 작업이 포함된다.
트랜잭션을 실행한 후 코어 앱은 체인 블록을 생성한다. 이러한 블록은 실행되고 확인된 번들 트랜잭션으로 구성된다. 그런 다음 코어 앱은 이러한 블록과 증명을 L1 스마트 컨트랙트에 제출한다. 이 과정을 통해 L1 이더리움 체인의 상태는 L2 zkSync 체인과 지속적으로 동기화된다.
이더리움 기반 애플리케이션의 원활한 상호작용을 위해 이더리움 호환 웹3 API를 제공한다. 따라서 이미 이더리움 생태계에 익숙한 개발자와 사용자가 zkSync에 더 쉽게 접근하고 사용자 친화적으로 사용할 수 있다.
3.2 세틀먼트
이 세틀먼트 계층은 zkSync의 상태 전환의 무결성을 보장하는 역할을 한다. 이 검증 프로세스는 이더리움에 배포된 스마트 컨트랙트에서 수행된다. 이 과정에는 두 가지 중요한 컨트랙트가 있다.
- 실행자 컨트랙트: 이 컨트랙트는 검증자로부터 블록 데이터와 zkSync의 상태 전환에 대한 zk 증명을 받는다.
- 검증자 컨트랙트: 실행자 컨트랙트로부터 제공받은 블록 데이터와 zk 증명을 검증할 수 있도록 하는 로직 컨트랙트다.
3.2.1 실행자 컨트랙트
proveBlocks 함수는 zkSync 시스템의 무결성과 보안을 보장하는 데 핵심적인 역할을 한다. 주요 임무는 제출된 블록에 대한 zk-SNARK 증명의 유효성을 검사하는 것이다. 아래에서 간단한 설명으로 작동 방식을 설명하겠다:
- 먼저, proveBlocks는 블록이 올바른 순서로 검증되고 있는지 확인한다. 이는 이전에 받은 블록이 블록체인 순서에서 검증이 필요한 다음 블록인지 확인하는 방식으로 이루어진다.
- 다음으로, 이 함수는 제출된 각 블록을 검토하기 시작한다. 이러한 블록의 해시가 블록체인의 특정 위치에 대해 예상되는 것과 일치하는지 확인한다. 이를 통해 확인 중인 블록이 실제로 올바른 블록인지 확인할 수 있다.
- 그런 다음 함수는 proofPublicInput 배열로 알려진 것을 구축하기 시작한다. 이 배열은 zk-SNARK 증명 검증 과정의 공개 입력이 되는 목록이다. 제출된 각 블록의 블록 번호가 이 배열에 포함된다.
- 그 후 증명PublicInput 배열과 저장된 일부 매개변수를 사용하여 함수는 zk-SNARK 증명을 확인한다. 이는 모든 조각이 완벽하게 맞아야 하는 퍼즐을 푸는 것과 비슷한다.
- 증명에 문제가 없으면 이 함수는 해당 블록이 이제 검증되었음을 반영하여 시스템을 업데이트한다. 체크리스트의 항목 옆에 체크 표시를 추가하는 것과 같다.
- 마지막으로, 검증이 완료된 각 블록에 대해 이 함수는 블록검증이라는 특별한 이벤트를 트리거한다. 이는 블록 번호, 해시, 커미트먼트가 검증되었다는 알림을 보내는 것과 같다.
간단히 말해, proveBlocks 함수는 블록이 올바른 순서로 검증되었는지, zk-SNARK 증명이 정확한지 확인하고, 그에 따라 시스템 상태를 업데이트하는 경계하는 문지기와 같다. 이 기능의 목표는 유효하지 않은 블록이 실행되는 것을 방지하여 zkSync 시스템의 전반적인 보안과 무결성을 보장하는 것이다.
3.2.2 검증자 계약
위의 실행자가 요청하는 검증의 로직 구현되는 곳다. 제출된 데이터의 유효성을 검사하기 위해 zk-SNARK 증명을 확인한다. 검증자 컨트랙트는 zkSync에 제출된 데이터가 유효한지 검증하는 데 사용된다.
검증자 컨트랙트는 “검증 키”를 저장하며, 이 키는 이러한 zk-SNARK 증명을 검증하는 데 사용된다. zkSync는 업데이트를 제출하고자 할 때마다 zk-SNARK 증명을 생성하고 실행자 컨트랙트를 통해 검증자 컨트랙트에 제출한다.
그러면 검증자 컨트랙트는 검증 키를 사용하여 증명이 유효한지 확인한다. 유효하면 실제 데이터를 보지 않고도 업데이트가 합법적인지 알 수 있다. 유효하지 않으면 업데이트를 거부한다.
검증자 계약은 이러한 증명을 확인함으로써 정확하고 유효한 데이터만 zkSync에 허용되도록 보장한다. 이는 보안과 유효하지 않은 상태 변경 방지를 위해 매우 중요한다.
3.3 데이터 가용성
시스템의 이 섹션은 모든 트랜잭션 정보(입력), 시스템 수정(출력) 및 증명을 저장하는 아카이브 역할을 한다. zkSync는 스마트 컨트랙트 인터페이스를 사용하여 데이터 가용성(DA) 정책을 설정한다. zkSync는 비용 절감 및 개인정보 보호를 위해 DA에 대한 다양한 옵션을 제공할 계획이다.
3.3.1 zkPorter
zkSync는 오프체인 데이터 가용성 솔루션인 ‘zkPorter’를 출시했다. 이 도구는 zkSync의 롤업 시스템과 통합되어 롤업 계정과 zkPorter 계정 간의 상호 작용을 촉진하도록 설계되었다. zkPorter 내에서 데이터 보안을 보장하기 위해 ‘가디언’이 사용된다. 가디언은 zkSync 토큰을 스테이킹하고 블록에 서명하여 데이터 가용성을 검증하는 개인이다.
zkPorter는 내부 합의 프로토콜로 작동하여 대량의 트랜잭션 처리량을 촉진한다. 비교를 위해 zkSync 2.0의 표준 ZK 롤업 모드는 초당 약 1,000~5,000개의 트랜잭션을 처리할 수 있다. 반면, zkPorter는 트랜잭션의 복잡성에 따라 20,000~100,000 TPS까지 관리할 수 있다.
zkPorter를 사용할 때의 한 가지 단점은 사용자가 zkSync의 내부 합의 메커니즘을 신뢰해야 한다는 것이다. 사용자는 비용은 낮추되 보안을 강화하기 위해 zkPorter를 사용할지, 아니면 높은 수준의 보안을 위해 ZK 롤업 모드를 사용할지 결정할 수 있다.
또한, zkSync 2.0은 상호운용성을 촉진하여 ZK 롤업 계정과 zkPorter 계정 간의 원활한 교환을 가능하게 한다. 데이터 가용성 결정에 있어 zkPorter와 Starkware의 Volition의 근본적인 차이점은 zkPorter에서는 계정 단위로 결정되는 반면, Volition에서는 계정 내 트랜잭션 단위로 결정된다는 점이다.
4. ZK-스택과 OP-스택
최근 매터랩스는 ZK-Stack의 출시를 발표했다. 이는 앱체인 롤업을 커스터마이징하고 운영할 수 있는 OP-Stack과 유사한 소프트웨어를 제공할 것이다.
OP-Stack과 ZK-Stack의 공통 특성
- 오픈소스 및 무료: 둘 다 오픈소스 라이선스에 따라 개발되어 비용 부담 없이 이용할 수 있다. 개발자가 소프트웨어를 기반으로 기여하고 구축하도록 장려한다.
- 상호운용성: ZK Stack의 하이퍼체인 서로간에 손쉽게 연결할 수 있으며, 짧은 지연 시간과 공유 유동성을 특징으로 한다. 또한 OP-Stack은 모든 OP-Stack 기반 체인을 연결하는 슈퍼체인 개념을 구상하고 있다.
- 탈중앙화: 보다 분산된 네트워크와 커뮤니티를 달성하기 위해 OP-Stack과 ZK-Stack은 향후 로드맵에서 탈중앙화 계획을 명시적으로 설명했다. 이러한 움직임은 네트워크의 복원력을 높일 뿐만 아니라 권한과 제어의 분배를 보장한다.
철학적 관점에서는 유사점이 있지만, 기술 및 비즈니스 관점에서는 차이점이 있다. 이 부분에서는 아래 관점의 차이점을 기반으로 자세히 살펴보겠다.
- 디앱 개발자
- 핵심 개발자
- 비즈니스
4.1 디앱 개발자의 관점
4.1.1 EVM Equivalency
OP-Stack의 EVM 구현: OP-Stack의 EVM은 이더리움의 geth를 약간 변경하여 만들어졌기 때문에 EVM과 거의 완벽하게 호환되는 시스템을 구현할 수 있다. 반면, ZK-Stack은 EVM 옵코드에 일부 변경 사항이 있으며, 일부 옵코드는 지원되지 않다. 이러한 변경에도 불구하고 그 영향은 미미하며, 프로젝트는 실제 환경에서 엄격한 테스트를 거쳐 검증되었다.
그러나 ZK-Stack의 비 EVM 동등성으로 인해 발생한 몇 가지 사건이 있었다. 주목할 만한 사례는 스마트 컨트랙트가 전송 함수를 사용했기 때문에 921 ETH가 스마트 컨트랙트에 갇힌 경우였다. 이 문제는 효과적으로 해결되었다.
4.1.2 네이티브 계정 추상화
ERC-4337과 달리 ZK-Stack의 아키텍처에는 네이티브 계정 추상화(AA) 기능이 포함되어 있다. ERC-4337과 같은 시스템에서는 네트워크 내에서 계정 추상화를 허용하기 위해 별도의 UserOps 멤풀을 설정해야 한다.
4.1.3 개인 정보 보호 지원
운영자가 블록 데이터를 기밀로 유지한다면, 다른 기밀 데이터베이스에 데이터를 저장하는 것은 프라이버시를 보장한다. 이 기능은 특히 기업에게 매력적으로 작용될 것으로 보인다.
4.2 코어 개발자의 관점
4.2.1 인프라 운영: 더욱 직관적인 OP-Stack
zkSync와 OP-Stack은 모두 트랜잭션을 오케스트레이션하고 이더리움에 데이터를 예치하는 시퀀서를 통해 작동된다. 그럼에도 불구하고, zkSync의 연산에는 프로버가 필요한다. 이 증명자 애플리케이션은 서버에서 생성된 블록과 관련 메타데이터를 처리하여 유효성 영지식(zk) 증명을 생성한다. 이를 운영하기 위한 세팅과 문제가 생겼을때의 대처는 많은 지식이 요구된다. 이에 비해 OP-Stack은 증명 챌린지 게임에 참여하기 위해 별도의 복잡한 인프라가 필요하지 않다.
4.2.2 VM 대안: 더 많은 옵션을 제공할 수 있는 잠재력을 가진 zkSync
zkSync는 zkEVM 바이트코드로 변환하는 LLVM 컴파일러와 함께 작동하므로 C++와 같은 다른 언어로 실행 환경을 구축할 수 있는 잠재력을 갖는다.
4.2.3 데이터 가용성: ZK-Stack은 다양한 옵션을 제공한다.
OP-Stack은 데이터 가용성 계층을 주로 이더리움에 의존하며, 모든 트랜잭션 정보와 출력 상태 루트를 이더리움에 저장한다. 이러한 사용 방식은 OP-Stack 체인을 운영하는 데 상당한 비용을 발생시킨다. 하지만 셀레스티아 DA에 트랜잭션 데이터를 저장하여 이 비용을 상쇄하려는 시도가 있었다.
ZK-Stack은 zkPorter와 같은 대체 데이터 가용성 솔루션을 활발히 연구하고 개발하고 있다. 이러한 접근 방식을 통해 사용자는 더 높은 보안 또는 더 낮은 비용에 대한 선호도에 따라 데이터 가용성을 결정할 수 있다. 또한, 데이터 프라이버시를 유지하고자 하는 기업은 데이터를 공개하지 않고 저장할 수 있는 Validium과 같은 솔루션을 채택할 수 있다.
4.3 비즈니스 관점: 비용 및 수익
독립적인 롤업을 운영하는 것은 오늘날 실현 가능한 옵션이 되었으며, 특히 공개적으로 개발 및 유지 관리되는 ZK-Stack, OP-Stack과 같은 오픈 소스 소프트웨어가 등장하면서 더욱 그러한다. 또한, Caldera 및 Conduit과 같은 서비스형 롤업(RaaS) 플랫폼은 프로세스를 크게 간소화하고 있다.
개발자의 관점에서 한 걸음 더 나아가 롤업 운영과 관련된 잠재적인 비용과 수익을 현실적으로 평가하는 것이 중요한다. 그러나 여러 변수로 인해 이러한 금액을 예측하는 것은 어렵다.
최근 Optimism의 Bedrock 업그레이드에서 볼 수 있듯이 코드베이스의 주요 개선이 정기적으로 이루어지고 있기 때문에 롤업 실행과 관련된 비용이 빠르게 감소하고 있다. 이러한 빠른 발전으로 인해 비용과 수익을 정확하게 예측하기가 어렵다. 또한 일반적으로 단일 주체가 모든 롤업을 관리하기 때문에 서버 및 인프라와 관련된 구체적인 비용이 널리 인식되지 않다. 마지막으로, 시장 분위기에 따라 비용이 변동될 수 있기 때문에 zkSync 및 Optimism의 $ETH와 같은 운영 토큰 가격의 변동성은 또 다른 불확실성을 더한다.
주요 비용과 수익은 다음과 같다:
4.3.1 비용
- L1 퍼블리싱 비용: 트랜잭션, 상태 루트, 증명 데이터를 저장하는 비용. 일반적으로 옵티미즘 롤업은 검증을 위해 원시 트랜잭션 데이터를 저장해야 하므로 더 많은 퍼블리싱 비용이 필요한다. 일부 zk 롤업은 추가 비용을 피하기 위해 전체 상태 데이터가 아닌 상태 차이(State Diff)만 게시한다.
- L2 시퀀서 운영 비용
- 증명 비용: zk의 경우, 증명 생성 및 검증 비용, 사기 증명의 경우 도전 비용
4.3.2 수익
- L2 트랜잭션 수수료
- MEV일 수도 있지만, 현재 대부분의 L2 시퀀서는 중앙화 문제를 피하기 위해 MEV를 추출하지 않는 것으로 알려져있다.
5. 마무리하며
메터랩스는 zkEVM 개발에 집중하여 중요한 발전을 이루어냈다. 완벽한 EVM 호환성(Type4 EVM)이 없더라도 LLVM을 이용하는 데 상당한 잠재력이 있다는 것으로 보인다. 메터랩스의 다음 발전 단계는 ZK-Stack을 출시하는 것이다. 이 코드베이스는 개발자들이 자신의 롤업을 생성할 수 있도록 해준다. 이는 OP-Stack에 비해 특히 개인 정보 보호 및 확장성 측면에서 명확한 경쟁 우위를 가지고 있다.
하지만 두 프로젝트 모두 아직 초기 단계에 있으며 상당한 작업이 필요한다. 구현과 관련된 비용 및 수익 구조에 대한 철저한 평가가 필수적이다. 게다가 두 코드베이스 주위 개발자 생태계를 육성하는 것은 중요한 과제다. 세부적인 분석과 전략적인 계획 수립은 플랫폼과 관련 기술들에 대한 지속 가능한 미래를 보장하는 데 필수적이다.
필자는 두 프로젝트가 모두 성공적으로 운영되어 “building in public”과 커뮤니티에 지속적으로 로드맵을 공유하는 문화가 웹3 생태계에 정착되기를 바란다.
현재 온체인 데이터를 사용하여 롤업의 수익 및 비용 구조를 분석하는 작업을 진행 중입니다. 잠재적인 협업에 관심이 있다면, DM으로 연락 부탁드립니다.
이 글의 그래픽을 디자인해준 Kate와 온체인 데이터에 대한 귀중한 통찰력을 제공해준 M3TA에게 감사드립니다.
About Us
Four Pillars is a global crypto research firm based in Seoul, consisting of the most influential blockchain researchers in Korea. Through robust research and governance skills, it helps various market players easily onboard to the blockchain industry by offering high-quality research articles while supporting protocols in their expansion into Korean and global markets.
