분석丨6대 관점에서 이더리움 2층 솔루션 zkSync와 Starkware 비교

출처: DeFi의 길

최근 @dareal_sisyphe가 이더리움 2층 솔루션 zkSync와 Starkware에 대한 비교 기사를 발표했습니다. 팀, 기술, 데이터 가용성, 자금 및 지지자, 현재 제품 및 로드맵, 개인 인상 등 6가지 관점에서 분석하였습니다. 아래는 전체 내용의 번역 정리입니다.

ZK 롤업이 거대할 것이라는 것은 단순한 표현입니다.

두 마리의 야수는 이 기술을 연구하기 위해 몇 년을 보냈습니다. 그들의 화려한 순간이 다가오고 있습니다. 그렇다면 이 분야에는 어떤 기회가 있을까요? 이 두 프로젝트는 어떤 차이가 있을까요? 그들은 언제 토큰을 발행할까요?

아래는 zkSync와 StarkWare의 비교입니다.

사전에 말씀드리자면, 이는 매우 큰 주제이며, 저는 최선을 다해 이해하고 있지만, 일부 단축키를 사용하거나 설명 중에 실수를 할 수 있습니다. 댓글로 저를 수정하거나 더 정확한 제안을 해주시면 감사하겠습니다.

현재 ZK 롤업이 무엇인지, 그리고 Optimistic 롤업과의 차이에 대해 자세히 설명한 자료가 많이 있습니다.

여기서는 zk 롤업 뒤에 있는 기본 지식과 zk 게임의 두 주요 참여자인 zkSync와 StarkWare 간의 차이에만 집중하겠습니다.

기본 지식: 이더리움은 우리가 말하는 "단일 칩"입니다. 왜냐하면 합의, 실행 및 데이터 가용성이 ETH 블록체인에서 발생하기 때문입니다. 이는 지속 가능하지 않으며, 확장할 수 없는 이유입니다. 모든 노드가 이 3가지 기능을 수행해야 한다는 것을 의미합니다. 확장을 위해 Eth는 "모듈화"되어야 합니다. 이는 블록체인을 가장 잘하는 분야인 합의에만 사용하고, 실행과 데이터 가용성(DA)의 부담을 체인 외부로 이전해야 함을 의미합니다. 하지만 우리는 L1의 보안을 완전히 상속하는 방식으로 실행과 DA를 어떻게 이동할 수 있을까요?

zk 롤업: zk 롤업을 통해 수천 개의 tx가 단일 수학적으로 검증 가능한 zk 증명으로 배치되고, 이 증명만 체인에 저장됩니다.

이제 zkSync와 @StarkWare를 비교해 보겠습니다. 우리는 명확성을 유지하고 다음 관점에 따라 비교할 것입니다.

• 팀과 시작
• 기술
• 데이터 가용성
• 자금 및 지지자
• 현재 제품 및 로드맵
• 개인 인상 및 기회

팀과 시작

StarkWare: 2018년 5월에 시작되었습니다. 이 팀은 세계적 수준의 암호학자와 과학자로 구성되어 있습니다. 핵심 인물은 전 Zcash 수석 과학자로, 수년간 zk 분야의 혁신 선구자였습니다. 그들은 Starknet을 통해 학술 이론을 현실 세계의 제품으로 전환하고 있습니다. 그들은 이 게임에서 가장 유명한 팀임이 틀림없습니다.

zkSync: 2019년 12월에 시작되었습니다. 사실, zk 분야에는 "두 번째로 좋은" 팀이 있으며, 그것이 바로 zkSync를 구축하고 있는 Matter Labs 팀입니다. 이 팀은 @gluk64가 공동 창립하였으며, 그 뒤에 있는 똑똑한 사람들에 대한 정보는 찾을 수 없지만, zkSync 2.0이 가져온 기술적 돌파구는 문제를 설명하기에 충분합니다. 그들은 외부인의 기운을 가지고 있으며, 행동이 빠릅니다.

기술

두 프로젝트 모두 유사한 아키텍처를 가지고 있으며, L2 상태 전환의 zk 증명을 저장하기 위해 Eth 블록체인에 삽입된 롤업 스마트 계약이 있습니다. 또한, 두 프로젝트 모두 네트워크에 동력을 제공하는 두 가지 체인 외 행동자가 있습니다.

• 증명자: 중대한 작업을 수행하는 소수의 노드입니다. 그들은 모든 tx를 계산하고 이를 간결한 zk 증명으로 요약합니다. 그들은 전용 하드웨어에서 실행되며, 블랙 박스일 수 있습니다. 우리가 아는 것은 그들이 수학적으로 가짜 ZK 증명을 위조할 수 없다는 것입니다.
• 검증자: 검열 저항 작업을 담당하는 다수의 노드입니다. 그들은 증명자가 제출한 증명의 유효성을 검증합니다. 특정 하드웨어가 필요하지 않습니다. 누구나 실행할 수 있습니다.

또한, 이 두 프로젝트는 일반적인 ZK 증명 시스템을 만드는 주요 기술 문제를 해결하기 위해 경쟁해야 합니다.

이는 성배와 같은 문제입니다. 왜냐하면 지금까지 모든 ZK 경로는 특정 애플리케이션이 필요했기 때문입니다. 이는 각 애플리케이션이 하나의 ZK 롤업만 가지며 EVM 호환성이 없음을 의미합니다.

놀랍게도, zkSync와 StarkWare 모두 이를 달성했지만 기술적으로는 다릅니다.

StarkWare: 그들이 사용하는 암호 기술은 STARKs에 기반하고 있습니다. 그들은 이 기술의 선구자이며, SNARKs(zkSync에서 사용됨)와 비교하여 두 가지 주요 이점이 있습니다:

• "T"는 "투명성"을 의미하며, 이는 시스템이 신뢰할 수 있는 설정 없이 작동할 수 있음을 의미합니다. 그들의 생산 속도는 SNARKs보다 10배 빠릅니다. 하지만 STARKs의 문제는 기술이 SNARKs만큼 성숙하지 않으며, 만약 그것이 튜링 완전성을 허용한다면 EVM과의 호환성을 확보하기가 어렵습니다.
• 또한, Starkware는 Cairo라는 특정 프로그래밍 언어를 만들어 STARKs 기반의 재량 프로그램을 실행할 수 있도록 하였습니다. 하지만 스마트 계약을 위해 새로운 프로그래밍 언어를 배우고 싶어하는 사람이 거의 없기 때문에, 그들은 현재 @nethermindeth와 협력하여 Warp라는 변환기를 만들고 있습니다. 이는 solidity 스마트 계약을 원활하게 Cairo로 변환하여 @StarkWare의 EVM 호환성을 확보할 수 있게 합니다.

‌ zkSync: 사용되는 zk 시스템은 SNARKs(특히 PLONK)에 기반하고 있습니다. 따라서 전체 시스템의 보안성은 2019년 가을에 출시된 신뢰할 수 있는 의식에 의존합니다. 이 의식에는 Vitalik Buterin을 포함한 많은 유명 암호화폐 플레이어가 참여했습니다. 최소한 한 명의 참여자가 정직하다면 이 시스템은 안전하다고 증명할 수 있으므로, 저는 편안하게 느끼며 "신뢰할 수 있는 설정"이라는 주장이 zkSync에 대해 사용될 수 없다고 생각합니다.

zkSync 팀이 많은 최적화를 했음에도 불구하고, SNARKs는 여전히 STARKs보다 느립니다. 그러나 그들의 시스템은 STARKs보다 더 자연스럽게 EVM과 호환될 수 있도록 허용합니다. 사실, 스마트 계약은 (거의) zkSync 컴파일러에 의해 하나씩 작업 코드로 변환될 수 있으며, 이는 solidity가 zkSync의 "주요 시민"이 되도록 하여 중개 언어나 변환기가 필요하지 않게 합니다.

데이터 가용성(DA)

zk 롤업은 tx 계산의 부담을 L1에서 제거하고 ETH가 2-3K tps로 확장할 수 있도록 합니다. 이는 좋지만 충분하지 않습니다. "롤업 전용" 접근 방식을 채택하면 DA 부담은 여전히 L1에 있으며, tx 데이터는 calldata를 통해 L1에 기록됩니다.

DA는 매우 중요합니다. 이는 Etherscan에서 tx가 발생한 내용을 볼 수 있게 해주는 핵심입니다. 이것이 없다면 tx의 실행은 블랙 박스가 됩니다. 만약 당신이 L1에서 직접 추적하는 것보다 저렴한 tx를 선호한다면, 이는 아마도 괜찮을 것입니다. 따라서 zk 롤업은 사용자에게 선택권을 제공해야 합니다. L1에 tx 데이터가 기록되지만 비용이 더 비쌀 수도 있고, 또는 초저렴한 tx를 우선시하고 L2의 어떤 실체를 신뢰하여 tx 데이터의 가용성을 보장할 수도 있습니다. 이렇게 하면 L1은 DA 부담에서 해방되고, ZK 롤업은 20-30k TPS로 확장할 수 있습니다.

StarkWare: DA 문제를 해결하기 위해 ++Volition++ 시스템을 사용합니다. Volition은 최종 사용자가 tx의 롤업 결제(체인 상 DA)와 개별 tx 수준의 유효 결제(체인 외 DA) 간에 선택할 수 있도록 합니다. 유효 결제의 경우, 체인 외 DA는 유명한 암호화폐 실체로 구성된 중앙 집중식 "데이터 가용성 위원회"(DAC)에 의해 보장됩니다.

이는 중앙 집중화처럼 들리지만, 이는 최종 사용자가 자발적으로 선택하는 초저가 TX의 균형입니다.

zkSync: DA 문제에 대한 해결책은 ++zkPorter++입니다. 이는 분할 기반 인프라로, zkSync의 zk 롤업과 원활하게 작동합니다. zkSync 롤업이 체인 상 DA를 보장하는 shard0이라고 상상해 보십시오. 그런 다음 다른 shard는 서로 다른 DA 정책을 선택하고 체인 외에서 tx 데이터를 저장할 수 있습니다.

StarkWare의 Volition과 zkSync의 zkPorter 간의 주요 차이점은 Volition의 경우 결제 선택이 tx 기반(사용자가 각 tx에 대해 DA를 선택)인 반면, zkPorter의 경우 계좌 기반(하나의 zkPorter 계좌는 체인 외 DA에서 생성된 tx만 생성할 수 있음)이라는 점입니다.

또한, zkPorter의 경우 체인 외 DA 시스템이 더 분산화되어 있습니다. DA는 중앙 집중식 "DAC"가 아닌 zkSync의 기본 토큰으로 보상받는 "수호자" 네트워크에 의해 보장됩니다.

자금 및 지지자

StarkWare:

• 2018년 5월 600만 달러의 시드 라운드를 완료했습니다 (Pantera/Naval/Vitalik).
• 2018년 10월 3000만 달러의 A 라운드 자금을 조달했습니다 (Paradigm/Sequoia/Cb Ventures).
• 작년 3월 7500만 달러의 B 라운드 자금을 조달했습니다 (Paradigm/3AC/Alameda).
• 작년 11월 5000만 달러의 C 라운드 자금을 조달했습니다 (Paradigm/3AC/Alameda).

현재 StarkWare의 가치는 20억 달러입니다. 이는 세계적 수준의 자금 조달로, 유명한 투자자들이 포함되어 있습니다. 대가들과 이더리움 재단이 그 안에 있습니다. Vitalik 본인도 Starkware가 제작한 대부분의 기사에 대해 언급했습니다. Shu와 Sam도 같은 배에 탑니다. 이런 프로젝트가 어떻게 실패할 수 있을까요?

zkSync:

• 작년 3월 600만 달러의 A 라운드 자금을 조달했습니다 (Binance/Cb Ventures/AAVE/Balancer/Curve).
• 작년 11월 5000만 달러의 B 라운드 자금을 조달했습니다 (Horowitz/Placeholder/Crypto.com 등).

이사회에 있는 대가들은 적고, 큰 DeFi/CEX 암호화폐 가족 자금처럼 보입니다. 이는 우스꽝스럽게 들리지만, 실제로는 중요합니다. 왜냐하면 ZK 롤업의 성공은 DeFi 프로토콜과 직접 CEX의 통합에 크게 의존할 것이기 때문입니다. 그래서 저는 zkSync 생태계의 빠른 통합을 매우 긍정적으로 보고 있습니다.

현재 제품 및 로드맵

StarkWare는 그들의 최고 수준의 암호학 논문을 현실 세계의 혁신으로 변환하기 위해 끈질기게 노력해 왔습니다. 그들의 로드맵은 다음과 같이 요약됩니다:

그들은 먼저 StarkEx를 출시했습니다. 이는 "행성" 단계에 해당하며, Cairo와 STARKs에 의해 구동되는 권한이 있는 특정 애플리케이션의 zk 롤업을 생성할 수 있게 합니다. 만약 당신이 잘 모른다면, @dydxprotocol, @Immutable 또는 @deversifi를 생각해 보십시오. 이들은 StarkEx의 생산 버전으로 구동되는 3개의 주요 애플리케이션입니다.

현재까지 StarkEx는 이러한 애플리케이션을 통해 500만 개 이상의 tx와 2500억 달러의 가치를 해결했습니다. StarkEx의 효율성은 이미 입증되었으며, StarkWare는 곧 로드맵의 "별자리" 단계로 진입할 것입니다. 11월 29일, 그들은 메인넷에서 StarkNet의 Alpha 버전을 출시했습니다. StarkNet은 우리가 기대하는 권한 없는 다중 애플리케이션의 일반적인 zk 롤업입니다.

처음에는 StarkNet이 중앙 집중식 검증자에 의해 구동되며, 애플리케이션은 화이트리스트를 통해 순차적으로 배포됩니다. 이는 Optimism과 유사합니다. 따라서 그들의 계획은 생태계를 발전시키고 로드맵의 "우주" 단계에서 StarkNet을 점진적으로 분산화하는 것입니다.

zkSync의 로드맵은 4단계로 요약됩니다:

첫 번째 단계는 2020년 6월에 출시된 zkSync 1.0에 해당하며, 대략 zk 롤업에 해당하지만 스마트 계약 통합이 없고, 토큰을 송수신할 수 있게 합니다. 비록 조합성이 부족하지만, 유망한 프로젝트들이 이미 그 위에 배포되었으며, 모든 지표가 zkSync 1.0에 대한 기하급수적인 관심을 보여주고 있습니다.

두 번째 단계는 zkSync 2.0의 메인넷 배포와 함께 시작되며, 이는 우리가 기대하는 모든 것에 해당합니다: zk 롤업에서의 완전한 EVM 호환성과 스마트 계약의 조합성입니다.

zkSync 2.0은 처음에 8월에 메인넷에 배포될 예정이었으나, 기술적 문제로 인해 출시가 지연되었습니다. 이러한 어려움은 현재 테스트넷에서 해결되었으며, 작년 10월 zkSync는 기술 단계를 거의 완료했다고 발표하고 EVM 호환성을 증명하기 위해 AMM과 유사한 테스트넷을 배포했습니다.

Matter Labs가 LLVM/Solidity의 호환성을 보장하기 위해 취한 지연 조치는 처음에는 실망스러울 수 있지만, 이는 zkSync가 많은 시간을 확보하는 데 도움이 될 것입니다. 왜냐하면 이는 모든 ETH 도구와 의존성이 zkSync 2.0과 원활하게 통합될 수 있도록 허용하기 때문입니다.

개인 인상 및 기회

StarkWare는 정말 인상적입니다. 이는 제가 한동안 본 가장 유망한 인프라 프로젝트입니다. 올스타 팀, 세계적 수준의 혁신, 최고의 자금. 주목할 점은 그들이 단순히 ZK 롤업을 구축하는 것이 아니라는 것입니다. 그들은 모든 것을 생각하고 있습니다. 우리는 Cairo와 Warp에 대해 이야기했습니다. 그러나 그들은 또한 Veedo를 통해 Eth에 진정한 무작위성을 가져오고, 조건부 tx를 통해 L1에서 L2로의 통신을 시도하며, 배치-롱 플래시 론 및 기타 천재적인 것들을 추진하고 있습니다. 그들이 "분산형 AMMs"를 통해 L1과 L2 간의 AMM 유동성 단편화를 해결하는 방법은 정말 고무적입니다. 그들은 세계를 바라보고 있습니다.

제가 현재 StarkWare에서 보는 유일한 기술적 문제는 Warp 변환기를 통한 Solidity 통합입니다. Starknet은 처음에 Cairo에 최적화되어 있으며, Solidity 변환기는 그 기반 위에 추가된 것입니다. 저는 기술자가 아닌데, "Solidity 번역"이 모든 경우에 직설적이지 않을 수 있으며, 일부 스마트 계약에 호환성 문제를 일으킬 수 있다는 점이 걱정됩니다.

또한, 제가 보는 다른 문제는: 우리 평민의 기회는 어디에 있을까요? StarkWare는 이미 20억 달러의 가치를 지니고 있지만, 현재 공정한 토큰 발행 계획은 없습니다.

반면에, 저는 zkSync의 커뮤니티 우선 접근 방식과 "주요 시민으로서의 안정성"에 대한 강조를 좋아합니다. 그들의 전체 기술 노력은 진정한 EVM 경험에 의존하며, 어떤 타협도 없이, 이는 채택 측면에서 보상을 받을 수 있습니다. zkSync는 현재 DeFi/CEX 환경과 깊이 통합되어 있으며, 이는 향후 프로토콜의 참여와 채택에 좋은 신호입니다.

기회 측면에서, zkSync는 로컬 토큰이 존재한다고 발표했으며, 그들은 미래의 어느 시점에 공정한 토큰 발행 및 잠재적인 에어드롭을 진행할 것입니다. 이는 커뮤니티에 매우 좋은 소식이지만, 저는 ZK 롤업의 원주율 토큰이 과도하게 부각될 것이라고 느낍니다. 왜냐하면 모든 사람과 그 팀이 이를 기다리고 있기 때문입니다.

저는 또한 StarkWare가 "우주" 단계에서 로컬 토큰을 출시하기를 바랍니다. 왜냐하면 그들은 언젠가 그들의 네트워크를 분산화하고 증명자를 보상해야 할 것이기 때문입니다.

결론적으로, 제 견해는 zk 롤업 측면에서 가장 인상적인 실행력은 StarkWare에서 나오지만, 풀뿌리 커뮤니티/오픈 소스의 분위기가 zkSync를 더 매력적으로 만든다는 것입니다.

다음은 제 마지막 개인적인 설명입니다:

기회 측면에서, 아마도 우리는 롤업의 원주율 토큰에서 주의를 돌려 이러한 롤업에서 사용자 기반을 찾을 새로운 프로젝트에 집중해야 할 것입니다. ETH는 패러다임 전환이며, 체인에서 주문을 복제하려는 프로젝트는 곧 이 새로운 환경에 더 적합한 AMM 모델에 의해 대체될 것입니다. 마찬가지로, ZK 롤업은 Eth의 패러다임 전환이며, 아마도(그냥 아마도), 롤업에서 AMM을 복제하는 것은 어리석은 생각일 수 있습니다; 아마도 TVL은 롤업에서 중요한 지표가 되지 않을 것입니다; 아마도 CLOBs는 다시 고려할 가치가 있습니다.

이들은 임시적인 예시일 뿐이지만, 우리의 생각은 아마도 가장 좋은 기회는 이러한 롤업을 활용하여 L1에서 불가능한 일을 할 수 있는 프로젝트에 존재할 것이며, 이미 존재하는 것을 복제하는 프로젝트가 아닐 것입니다.

이 단계까지 오셨다면, 축하드립니다.