zk 시리즈 4대 L2 프로토콜 대 PK: 진행 상황, 차이점 및 생태계

저자:念青, ChainCatcher

최근 zkSync 2.0의 출시와 함께 zk 계열 확장 솔루션이 다시 한 번 큰 주목을 받고 있습니다. 또한, 지난달 보고타 Devcon 이후 zkEVM 분야에서도 많은 "새로운" 목소리가 등장했습니다.

예를 들어, zkSync는 자신이 "세계 최초의 기능이 완전한 오픈 소스 zkEVM 네트워크"라고 대대적으로 홍보하고 있으며, Arbitrum 개발 회사 OffChain Labs의 공동 창립자이자 CEO인 Steven Goldfeder를 포함한 이들은 이 zkEVM 테스트넷이 zk-proofs를 활성화하지 않았고, 보안 감사도 받지 않았다고 비판했습니다. 이러한 과장은 누구에게도 도움이 되지 않으며, 실제 구현까지는 아직 멀었습니다.

Polygon zkEVM은 보고타 Devcon 기간 동안 "첫 번째이자 유일한 탈중앙화 zkEVM 테스트넷"이라고 주장했지만, 곧 커뮤니티의 비판을 받았습니다. Polygon zkEVM 증명자(zk prover)의 소스 코드는 Github에서 사용할 수 있지만, 아직 오픈 소스 라이선스는 없습니다. "완전 동등"하다고 주장하지만, Github 코드베이스는 현재 97%의 호환성 커버리지만 측정되었다고 보여줍니다. 이에 대해 Polygon 팀은 "고의로 숨기지 않았으며, 일부 내용은 더 나은 문서를 작성 중"이라고 응답했습니다.

또한, Scroll은 보고타 Devcon 기간 동안 Pre-Alpha 테스트넷 업그레이드를 발표하고 화이트리스트 사용자에게 테스트를 개방했습니다. 계획에 따르면, StarkWare는 9월 말에 Cairo의 업그레이드 버전인 Cairo 1.0을 출시했으며, 연말 전에 정식 출시될 예정입니다.

Aptos 에어드랍의 자극으로 L2 zk 계열의 강력한 서사는 실제로 많은 사용자들을 끌어모았습니다. 그러나 생태계가 이미 상대적으로 성숙한 op 계열 확장 솔루션과 비교할 때, zk 계열은 표면적으로는 매우 활발해 보이지만, 진정한 번영까지는 아직 멀고, 현재 생태계는 여전히 취약하며, zk 기술의 개발 주기가 더 길어 개발자와 프로젝트 측에 일정한 장벽이 있습니다. 따라서 "첫 번째 zkEVM"에 대해 논쟁하기보다는 계속해서 구축하는 것이 더 낫습니다.

이 글에서는 zk 계열의 네 가지 주요 프로토콜인 StarkWare, zkSync, Polygon zkEVM 및 Scroll의 개발 진행 상황, 생태계 세부 사항 등을 정리하여 현재 뜨거운 zkEVM 트랙의 실제 상황을 종합적으로 이해할 수 있도록 합니다.

1. Starkware

1. 소개:

StarkWare는 zk 계열 확장 솔루션 중 팀 구성원이 가장 강력한 프로젝트로, 공동 창립자 Eli Ben-Sasson은 세계 최고의 암호학자이며, zkSNARK 및 zkSTARK의 공동 발명자입니다. 공동 창립자이자 CEO인 Uri Kolodny는 히브리 대학교에서 컴퓨터 전공을 졸업했으며, 연속 창업자입니다. 현재 StarkWare는 800억 달러의 가치를 평가받고 있습니다.

StarkWare는 현재 두 가지 제품을 개발했습니다: ToB의 StarkEx와 ToC의 StarkNet. StarkEx는 독립적인 허가 Validity-Rollup(유효성 증명)으로, 맞춤형 기술 엔진 서비스 StarkEx를 판매하며, 확장 요구가 있는 고객에게 서비스 요금을 직접 청구합니다. 현재 dYdX, ImmutableX, Sorare, DeversiFi, rhino.fi, ApeX, Myria 등의 고객에게 서비스를 제공하고 있습니다. StarkNet은 모든 사람에게 개방된 허가가 필요 없는 탈중앙화 zk-Rollup으로, zkSTARK 증명 시스템을 사용하며, dApp의 자율 배포를 지원합니다.

StarkNet에서 사용하는 기본 스마트 계약 언어는 Solidity가 아니라 튜링 완전한 제로 지식 증명 시스템 언어인 Cairo로, EVM과 호환되지 않습니다. 팀은 zkEVM 호환성을 계속해서 추구하고 있으며, 10월 말에 StarkWare는 Cairo로 작성된 zkEVM(이름은 "Kakarot")을 출시한다고 발표했지만, 실제 개발은 아직 초기 단계에 있으며, 구현되지 않았습니다.

또한, 이더리움 개발 팀인 Nethermind는 Solidity - Cairo의 "컴파일러"를 구축하고 있으며, Solidity로 작성된 프로젝트의 코드베이스를 "원클릭"으로 Cairo로 번역할 수 있도록 허용합니다. 이 "컴파일러"는 여전히 개발 중이며, 활성화되면 StarkNet은 zkSync 2.0과 유사한 EVM 호환 수준을 달성할 수 있습니다. Nethermind는 코드 번역 작업에 지속적으로 힘쓰고 있으며, 이전에 StarkNet 네트워크에서 Uniswap Warp 버전을 출시했습니다.

2. 진행 상황:

zk-Rollup 분야의 초기 개발자 중 하나로서, StarkNet의 알파 버전은 2021년 11월에 메인넷에서 시작되었습니다.

StarkWare는 9월 말에 Cairo의 업그레이드 버전인 Cairo 1.0을 출시했으며, 2022년 말 전에 정식 출시될 예정입니다. 새로운 버전 언어는 네트워크 DoS 공격 보호 능력을 향상시키고 가스 비용을 줄이며, StarkNet의 무허가 네트워크 요구를 지원하고 프로토콜을 단순화하고 보호할 것입니다. 그때 팀은 "Regensis"라는 이름의 이더리움 메인넷에서 StarkNet을 재시작할 것입니다.

현재 StarkNet은 Goerli에서 두 번째 테스트넷을 시작하고 있으며, 커뮤니티에서 이름 제안 공모를 진행하고 있습니다. 새로운 테스트넷은 주로 개발자를 대상으로 하며, 애플리케이션 테스트를 위한 것이며 공개 테스트 단계는 아닙니다.

또한, StarkWare는 7월에 토큰 경제학을 발표했으며, 원주율 토큰은 이전에 9월에 발행될 예정이었으나, 팀은 기술적 이유로 발행을 연기했습니다. StarkNet 토큰의 초기 발행량은 100억 개이며, 17%는 StarkWare 투자자에게, 32.9%는 핵심 기여자에게, 51%는 재단에 배분됩니다(그 중 12%는 StarkNet 프로토콜의 연구 및 작업을 위한 개발, 테스트, 배포 및 유지 관리에 사용됩니다). 그러나 공식적으로는 초기 단계에서 사용자에게 무료 토큰을 제공하지 않으며, 모든 토큰은 발행 후 즉시 잠금됩니다.

3. 생태계:

StarkNet 생태계는 주로 DeFi, GameFi, NFT로 구성되어 있으며, 현재 100개 이상의 프로젝트가 StarkNet에 배포되어 있지만, 실제로는 일부 프로젝트가 배포 계획 단계에 있으며, 실제로 상호 작용할 수 있는 프로젝트 수는 많지 않습니다. L2beat 데이터에 따르면, 현재 StarkNet의 총 잠금액은 310만 달러이며, 일일 TPS는 0.15, 30일 거래 수는 약 27.9만 건입니다.

지갑: Argent X, Braavos (최근 Pantera Capital의 1000만 달러 투자 유치 완료)

크로스 체인 브릿지: Orbiter Finance, 공식 개발한 이더리움-Starknet 크로스 체인 브릿지 StarkGate

DeFi:

• 10KSwap: StarkNet 원주율 AMM DEX 프로토콜로, 메인넷에上线되었으며, 현재 ETH, USDC, DAI, WBTC, USDT 이외의 토큰은 거래할 수 없습니다.
• Alpha Road Finance: StarkNet 원주율 DEX 및 유동성 스테이킹 프로토콜로, 현재 테스트 단계에 있습니다.
• Brine Finance: 주문서 거래 DEX로, 현재 여전히 테스트넷에서 운영되고 있습니다.
• Fibrous Finance: StarkNet의 AMM 집계기로, 여전히 테스트넷에서 운영되고 있습니다.
• mySwap: StarkNet의 첫 번째 AMM DEX입니다.
• zkLend: StarkNet의 대출 프로토콜로, 두 가지 제품 Artemis(DeFi 사용자 대상)와 Apollo(기관 및 중소기업 대상)를 포함합니다.
• GameFi: Loot Realms, GoL2, The Ninth가 메인넷에上线되었습니다.

1. zksync

1. 소개:

zkSync는 Matter Labs에 의해 2019년 12월에 설립되었으며, StarkWare보다 늦게 설립되었습니다. SNARK 증명 기반의 zk-Rollup 기술을 사용하며, IR 측면에서 zkEVM을 지원합니다.

Matter Labs는 2020년 6월에 zkSync v1.0 버전을 출시했으며, 오랜 시간이 지난 후 올해 2월에 zkSync 2.0 테스트넷이上线되었습니다. zkSync 2.0은 이전 버전과 비교하여 기능이 크게 향상되었습니다. zkSync 1.0에서는 사용자가 송금, NFT 발행 등의 기본 기능만 경험할 수 있었으나, zkSync 2.0은 EVM 호환을 지원하면서 생태계 애플리케이션의 배포를 개방하여 진정한 완성형 zk-Rollup 제품이 되었습니다.

2. 진행 상황:

10월 28일, zkSync 2.0이 정식 출시되었으며, 현재 Baby Alpha 단계에 있습니다. 이 단계에서 zkSync 2.0은 외부 프로젝트 없이 메인넷에서 시작되며, 주로 스트레스 테스트 및 여러 보안 작업을 진행합니다. 개발자는 메인넷에 접근할 수 없지만, 테스트넷에서 계속 개발할 수 있습니다. Baby Alpha 단계는 약 한 달간 지속될 예정입니다.

공식 로드맵에 따르면, 4분기(베이비 알파 이후)에는 Fair Launch Alpha 단계로 진입하며, 팀은 개발자에게 프로젝트 배포 권한을 개방할 예정입니다. 팀은 올해 연말까지 Alpha 목표를 완전하게 시작할 계획이지만, 보안상의 이유로 이 단계를 2023년으로 연장할 수 있습니다. 이후 일련의 종합 테스트, 보안 감사, 경연 및 버그 바운티 후에 zkSync 2.0은 모든 사용자에게 개방될 예정이며, 이는 발행에 가장 가까운 시점입니다. 현재 150개 이상의 프로젝트가 zkSync 2.0에서 시작할 것을 약속했습니다.

토큰 발행과 관련하여, Matter Labs의 최고 제품 책임자 Steve Newcomb은 Twitter Spaces 토론에서 zkSync가 11월 첫 주에 토큰 경제 모델의 세부 정보를 발표할 것이라고 밝혔습니다. 11월 3일, zkSync 공동 창립자 Alex G는 "중대한 뉴스가 곧 발표될 것"이라고 암시했습니다.

관련 기사: 《zkSync2.0 메인넷上线 카운트다운, 우리가 알아야 할 것들》

3. 생태계

zkSync 생태계 공식 웹사이트에 따르면 현재 100개 이상의 프로젝트가 네트워크에 배포되어 있습니다. 또 다른 L2beat 데이터에 따르면 현재 총 잠금액은 627만 달러이며, 일일 TPS는 0.37, 30일 거래 수는 138만 건입니다.

지갑: Argent X, zkSync Portal 2.0 (zkSync 2.0에서 사용자는 MetaMask에 zkSync 2.0의 RPC 노드를 직접 추가할 수 있으며, 다른 지갑을 다운로드할 필요가 없습니다)

크로스 체인 브릿지:

• Orbiter Finance (현재 zkSync 1.0만 지원하며, zkSync 2.0 테스트넷은 지원하지 않음)
• zkSync 2.0 테스트넷 공식 크로스 체인 브릿지 주소: https://portal.zksync.io/bridge (지갑 송금 및 테스트 코인 수령 등 다른 기능도 지원)

DeFi:

• SyncSwap: zkSync 기반 DEX로, zkSync 2.0 네트워크에上线되었습니다.
• Increment: zkSync 2.0 기반의 탈중앙화 알고리즘 영구 계약 프로토콜로, 최근 zkSync 2.0 테스트넷에发布되었습니다. 그러나 현재는 이전에 화이트리스트 테스트를 신청한 사용자에게만 개방되며, 신청 마감일이 지났습니다.
• SpaceFi: Evmos 및 zkSync의 크로스 체인 web3 플랫폼으로, 현재 zkSync 2.0 테스트넷에서 운영되고 있습니다.
• Zigzag: zk Rollup으로 지원되는 주문서 DEX로, 현재 zkSync 1.0 네트워크만 지원합니다.
• Sprintcheckout: 암호화폐 결제 플랫폼으로, 현재 zkSync 2.0 테스트넷에서 운영되고 있습니다.

NFT:

MintSquare는 이더리움 L2 ZK Rollups(StarkNet 및 zkSync)에서 운영되는 NFT 마켓플레이스로, 현재 StarkNet, StarkNet 테스트넷 및 zkSync 2.0 테스트넷에서 운영되고 있습니다.

또한, Aave V3, Uniswap V3, 1KX Protocol Beta 등의 프로토콜이 zkSync 2.0 테스트넷에 배포될 계획입니다.

3. Polygon Hermez (Polygon zkEVM)

1. 소개:

2021년 7월, Hermez 팀은 완전히 이더리움과 호환되는 zkEVM(Hermez 2.0)을 개발한다고 발표한 후, Polygon은 2.5억 달러에 Hermez를 인수한다고 발표했습니다. Polygon zkEVM은 SNARK 증명 기반의 zk-Rollup 기술을 사용합니다.

Polygon zkEVM은 운영 코드 수준의 호환성을 가지고 있습니다. 《Vitalik: 다양한 유형의 ZK-EVM의 미래》라는 글에서 Vitalik은 Polygon zkEVM을 Scroll과 함께 3단계로 분류하며, EVM 호환성 측면에서 현재 ZK Rollup 중에서 선두에 있다고 평가했습니다.

최근 홍보에서 Polygon은 zkEVM이 "유일한 탈중앙화 zk-rollup"이라고 강조하고 있으며, zk Prover의 오픈 소스를 최초로 구현하고, 완전하고 사용 가능한 소스 코드의 ZK 증명 시스템을 포함하고, 완전한 오픈 소스, 커뮤니티 주도, 허가가 필요 없는 조정자(coordinators) 네트워크, 검증 보상 토큰이 있는 탈중앙화 경매 모델을 약속하고 있습니다.

2. 진행 상황:

Polygon zkEVM은 10월 10일에 허가가 필요 없는 공개 테스트넷을 출시했으며, Aave, Uniswap, Web3 소셜 플랫폼 Lens 및 게임 스튜디오 Midnight Society가 zkEVM 테스트넷에 배포되는 첫 번째 프로토콜이 될 것입니다. 현재 테스트넷은 주로 개발자에게 개방되어 있습니다. Polygon zkEVM은 2023년 상반기에 메인넷을上线할 계획입니다.

또한, Polygon zkEVM은 현재 발행 계획이 없음을 명확히 밝혔으며, ETH는 가스 비용 지불에 사용됩니다. MATIC은 스테이킹 및 Polygon zkEVM의 거버넌스에 사용됩니다.

4. Scroll

1. 소개:

Scroll은 2021년에 설립되었으며, 지난해 말 3000만 달러 A 라운드 자금을 조달했습니다. Polygon zkEVM과 유사하게, Scroll 역시 EVM 동등한 zk-Rollup을 만드는 데 전념하고 있으며, 호환성 면에서 더 우수하다고 주장하며, 이더리움의 애플리케이션이 거의 무결점으로 2층 네트워크로 이전할 수 있도록 합니다. 바이트 코드 수준의 호환성으로 이더리움의 모든 언어와 도구를 호환할 수 있어 2층 네트워크에서의 개발 난이도를 크게 낮춥니다.

특히, Scroll의 공동 창립자 Ye Zhang이 ZKP 하드웨어 가속 분야에서 경험이 많기 때문에, Scroll은 ZKP 분야에서 하드웨어 가속을 활용하여 검증 효율성을 더욱 높이고, 탈중앙화된 검증 네트워크를 구축하여 ZKP의 증명을 참여자에게 분배하여 계산하고, 결과를 종합하여 최종 증명을 형성할 계획입니다. 이 탈중앙화된 검증 네트워크는 모든 사람에게 개방되며, 인센티브 및 처벌 메커니즘이 설정될 것입니다.

관련 기사: 《Scroll 창립자 Ye Zhang과의 대화: Scroll이 zk-rollup 돌파전에서 어떤 위치에 있는가?》

2. 진행 상황:

10월 11일, Scroll은 Pre-Alpha 테스트넷의 업그레이드 버전을 발표했으며, 일부 사전 배포된 애플리케이션(예: Uniswap v2 등)이 있어 사용자가 L1과 L2 간의 전송과 같은 기능을 수행할 수 있도록 허용하고 있습니다. 그러나 현재 단계에서는 사용자가 등록하여 화이트리스트에 신청해야 테스트에 참여할 수 있습니다. 그러나 대량의 봇이 발생하여 공식적으로 테스트 신청 검토를 지연시키고 있으며, 많은 사용자가 커뮤니티에서 이메일 응답을 받지 못했다고 피드백하고 있습니다. 커뮤니티는 지갑 주소와 이메일을 변경하여 재신청할 것을 권장합니다.

Scroll은 테스트넷 기간 동안 심각한 크로스 체인 지연을 겪었으며, 수돗물에서 테스트넷 토큰에 접근할 수 없는 상황도 발생했습니다. 공식 응답은 이더리움의 심각한 혼잡으로 인한 것이라고 밝혔습니다.

관련 기사: 《이더리움 2층 네트워크 Scroll Pre-Alpha 테스트넷을 미리 체험해보세요》

또한, 공식적으로 몇 주 후에 허가가 필요 없는 테스트넷이 출시될 예정이며, Alpha 테스트넷은 누구나 테스트넷에서 상호 작용할 수 있도록 허용하며, 개발자도 허가 없이 네트워크에 계약을 배포할 수 있습니다. 완전한 테스트넷은 올해 말에 출시될 것으로 예상됩니다.

생태계 측면에서 Web3 소셜 프로토콜 Lens Protocol, 오라클 RedStone 등의 프로젝트가 최근 이더리움 확장 프로젝트 Scroll의 Pre-Alpha 테스트넷에 배포되었습니다.

요약:

전반적으로 StarkWare와 zkSync는 최종적으로 zkEVM을 구현한다고 밝혔지만, 결국 바이트 코드 수준의 호환성은 필요하며, 개발자가 코드를 번역하고 이전해야 하므로, 상대적으로 Polygon zkEVM과 Scroll이 이더리움 생태계에 더 가까운 위치에 있습니다.

그러나 EVM 호환성은 L2 확장 솔루션의 우열을 판단하는 유일한 기준이 아니며, 단지 객관적인 지표로 작용합니다. 사실, 완전한 EVM 호환성은 안전하지만, 효율성에서 희생이 있을 수 있으며, Starkware의 Cario 예언 구축 가상 머신과 Zksync의 가상 머신은 zk 구축에서 더 유연할 것입니다.

따라서 이러한 프로토콜 간에는 본질적인 우열이 없으며, 현재 모두 초기 개발 단계에 있으며, 안전성을 보장하는 것 외에도 후속 개발자 경험과 사용자 경험이 더욱 중요합니다.