이더리움의 2계층 솔루션인 zkSync와 Starkware를 비교한 기사
원문 편집: 메타버스의 길
원문 편집: 메타버스의 길
최근 @dareal_sisyphe는 이더리움의 2계층 솔루션 zkSync와 Starkware에 대한 비교 기사를 게시하여 팀, 기술, 데이터 가용성, 자금 및 지지자, 현재 제품 및 로드맵, 개인적인 인상의 6가지 관점에서 분석했습니다. 다음은 모든 콘텐츠를 편집한 것입니다.
ZK 롤업이 엄청날 것이라고 말하는 것은 삼가면서 말하는 것입니다.
몇 년 동안 백그라운드에서 이 기술에 대해 작업해 온 두 가지 짐승이 있습니다. 빛날 시간이 다가오고 있습니다. 그렇다면 이 분야에 어떤 기회가 존재할까요? 이 두 프로젝트의 차이점은 무엇입니까? 코인은 언제 발행되나요?
다음은 zksync와 StarkWare의 비교입니다.
이것은 내가 이해하려고 하는 거대한 주제이며, 일부 지름길을 택하거나 내 설명에서 약간의 실수를 할 수 있습니다. 저를 수정하거나 의견에 더 정확한 제안을 해주세요.
ZK 롤업이 무엇이고 낙관적 롤업과 어떻게 다른지 자세히 설명하는 많은 리소스가 이미 있습니다.
여기에서는 zk 롤업의 기본 사항과 zk 게임의 두 주요 플레이어인 zksync와 StarkWare 간의 차이점에만 초점을 맞춥니다.
기본 사항: Ethereum rn은 우리가 부르는 것입니다."단일 칩 마이크로컴퓨터"모듈식"모듈식". 이것은 블록체인이 가장 잘하는 것, 즉 합의를 위해서만 블록체인을 사용하고 실행 및 데이터 가용성(DA)의 부담을 오프체인으로 옮기는 것을 의미합니다. 그러나 L1 안전을 완전히 상속하는 방식으로 실행 및 DA를 이동하려면 어떻게 해야 합니까?
zk 롤업: zk 롤업을 사용하면 수천 개의 tx가 수학적으로 검증 가능한 단일 zk 증명으로 일괄 처리되며 이 증명만 온체인에 저장됩니다.
다음으로 zksync와 StarkWare를 비교해 보겠습니다. 비교를 위해 명확하고 아래 각도를 따르도록 노력할 것입니다.
데이터 가용성
기술
데이터 가용성
자금 및 후원자
현재 제품 및 로드맵
개인적인 인상과 기회
팀과 시작
StarkWare: 2018년 5월에 시작되었습니다. 이 팀은 세계적 수준의 암호 해독가와 과학자로 구성되어 있습니다. 핵심 직원은 수년 동안 zk 분야의 혁신적인 선구자였던 Zcash의 전 수석 과학자입니다. 그들은 Starknet을 통해 학문적 이론을 실제 제품으로 바꾸고 있습니다. 그들은 의심할 여지 없이 이 게임에서 가장 유명한 팀입니다.
Zksync: 2019년 12월에 시작되었습니다. 실제로 zk 필드에는"두번째로 좋은"기술
기술
두 프로젝트 모두 유사한 아키텍처를 가지고 있으며 롤업 스마트 계약이 Eth 블록체인에 연결되어 L2 상태 전환의 zk 증명을 저장합니다. 또한 둘 다 네트워크 전원을 담당하는 2명의 오프체인 액터가 있습니다.
증명자: 무거운 작업을 수행하는 소수의 노드. 그들은 모든 tx를 계산하고 간결한 zk 증명으로 집계합니다. 전용 하드웨어에서 실행되며 블랙박스가 될 수 있습니다. 우리가 아는 것은 가짜 ZK 증명을 위조하는 것이 수학적으로 불가능하다는 것입니다.
유효성 검사기: 검열 방지 작업을 담당하는 다수의 노드입니다. 그들은 증명자가 제출한 증명의 유효성을 확인합니다. 특정 하드웨어가 필요하지 않습니다. 누구나 달릴 수 있습니다.
또한 두 프로젝트 모두 일반적인 ZK 증명 시스템을 만드는 주요 기술적 문제를 극복하기 위해 경쟁해야 합니다.
지금까지 모든 ZK 라인에는 특정 애플리케이션이 필요했기 때문에 이것은 성배입니다. 이는 애플리케이션당 하나의 ZK 롤업만 있고 EVM 호환성이 없음을 의미합니다.
zksync와 StarkWare는 둘 다 수행하지만 기술적으로는 다릅니다.
StarkWare: 그들이 사용하는 암호화 기술은 STARK를 기반으로 합니다. 이들은 SNARK(zkSync에서 사용)에 비해 두 가지 주요 이점이 있는 이 기술의 선구자입니다.
"T"평균"투명한", 이는 시스템이 신뢰 설정 없이 작동함을 의미합니다. SNARK보다 10배 빠르게 생산할 수 있습니다. 하지만 STARKs의 문제는 SNARKs만큼 기술이 성숙하지 않고 Turing 완전성을 허용한다면 EVM과 호환되도록 만들기가 어려울 것이라는 점입니다.
또한 Starkware는 STARK로 구동되는 임의 프로그램을 실행할 수 있는 특정 프로그래밍 언어인 Cairo를 만들었습니다. 그러나 스마트 계약을 수행하기 위해 새로운 프로그래밍 언어를 배우려는 사람이 거의 없기 때문에 @nethermindeth와 협력하여 견고성 스마트 계약을 Cairo로 원활하게 변환하여 @StarkWare EVM과 호환되는 트랜스파일러인 Warp를 만들고 있습니다.
zksync: 사용되는 zk 시스템은 SNARK(특히 PLONK)를 기반으로 합니다. 따라서 전체 시스템의 보안은 2019년 가을에 도입된 신뢰할 수 있는 의식에 달려 있습니다. Vitalik Buterin을 포함하여 잘 알려진 많은 암호 화폐 플레이어가 참여했습니다. 참가자 중 적어도 한 명이 정직하면 시스템이 안전하다는 것을 증명할 수 있으므로 생각하지 않는 것이 편합니다."신뢰할 수 있는 설정"인수는 zksync에 대해 사용할 수 있습니다.
zkSync 팀의 많은 최적화에도 불구하고 SNARK는 여전히 STARK보다 느립니다. 그러나 그들의 시스템은 STARK보다 더 자연스러운 방식으로 EVM 호환성을 허용합니다. 스마트 계약이 zkSync 컴파일러에 의해 (거의) opcode별로 변환될 수 있다는 사실은 견고성을 zkSync의 필수 요소로 만듭니다."주요 시민"데이터 가용성(DA)
데이터 가용성(DA)
zk 롤업은 L1에서 txs 계산의 부담을 제거하고 ETH가 2-3K tps로 확장할 수 있도록 합니다. 그것은 좋지만 충분하지 않습니다. 사용"rollup only"이 방식에서 DA의 부담은 여전히 L1에 있으며 tx 데이터는 calldata를 통해 L1에 기록됩니다.
DA는 매우 중요합니다. 이것은 Etherscan에서 tx에 무슨 일이 일어났는지 볼 수 있게 해주는 열쇠입니다. 이것이 없으면 tx의 실행은 블랙박스가 됩니다. L1에서 직접 추적보다 저렴한 tx를 선호하는 경우 괜찮을 수 있습니다. 따라서 zk rollup은 사용자에게 선택권을 제공해야 합니다. tx 데이터가 L1에 기록되지만 수수료가 약간 더 높거나 매우 저렴한 tx를 우선 순위에 두고 tx 데이터의 가용성을 보장하기 위해 L2의 일부 엔터티를 신뢰합니다. 이를 통해 L1은 DA의 부담에서 벗어날 수 있고 ZK 롤업은 20-30k TPS까지 확장할 수 있습니다.
StarkWare: Volition 시스템으로 DA의 과제 해결. Volition을 사용하면 최종 사용자가 tx(온체인 DA)의 롤업 결제와 단일 tx 수준의 효과적인 결제(오프체인 DA) 중에서 선택할 수 있습니다. 효과적인 결제의 경우 오프 체인 DA는 중앙 집중식으로 제어됩니다."데이터 가용성 위원회"(DAC), 저명한 암호 화폐 엔티티로 구성된위원회.
중앙 집중화처럼 들리지만 최종 사용자가 자발적으로 선택한 매우 저렴한 TX에 대한 절충안입니다.
zksync: DA 문제에 대한 솔루션은 zkSync의 zk 롤업과 원활하게 작동하는 샤딩 인프라인 zkPorter입니다. zkSync 롤업이 체인에서 DA를 보장하는 shard0이라고 상상해 보십시오. 그런 다음 다른 샤드는 다른 DA 정책을 선택하고 tx 데이터를 오프체인에 저장할 수 있습니다.
StarkWare의 Volition과 zksync zkPorter의 주요 차이점은 Volition의 경우 결제 선택이 tx 기반(사용자가 각 tx에 대해 DA를 선택함)이고 zkPorter의 경우 계정 기반(zkPorter 계정은 오프체인에서만 tx를 생성할 수 있음)입니다. 다).
또한 zkPorter의 경우 오프체인 DA 시스템은 DA가 zkSync 기본 토큰에 의해 인센티브를 받기 때문에 더 분산되어 있습니다."보호자"중앙화보다 네트워크"DAC"보장.
자금 및 후원자
StarkWare:
600만 달러 규모의 시드 라운드(Pantera/Naval/Vitalik)가 2018년 5월에 완료되었습니다.
2018년 10월 시리즈 A 파이낸싱(Paradigm/Sequoia/Cb Ventures)에서 3천만 달러를 완료했습니다.
지난 3월 7,500만 달러 규모의 시리즈 B 라운드 완료(Paradigm/3AC/Alameda)
작년 11월 시리즈 C 파이낸싱(Paradigm/3AC/Alameda)에서 5천만 달러를 완료했습니다.
현재 StarkWare의 가치는 20억 달러입니다. 저명한 투자자들과 함께 세계적 수준의 자금 조달이었습니다. 거물과 이더리움 재단이 그 안에 있습니다. Vitalik 자신도 Starkware가 작성한 대부분의 기사에 대해 논평합니다. Shu와 Sam도 같은 배에 있습니다. 어떻게 그러한 프로젝트가 실패할 수 있습니까?
zksync :
지난해 3월 시리즈A 파이낸싱 600만달러 완료
（Binance/Cb Ventures/AAVE/ Balancer/Curve）。
지난해 11월 시리즈B 파이낸싱 5000만달러 완료
(Horowitz/Placeholder/Crypto.com 등).
보드에 큰 이름이 적고 큰 Defi/CEX 암호화폐 가족 펀드처럼 보입니다. 이것은 우스꽝스럽게 들리지만 ZK 롤업의 성공은 DeFi 프로토콜과 직접 CEX의 통합에 크게 좌우되기 때문에 실제로 중요합니다. 그래서 저는 zksync 생태계의 빠른 통합에 대해 매우 낙관적입니다.
현재 제품 및 로드맵
StarkWare는 최고의 암호화 논문을 현실 세계 혁신으로 끊임없이 번역하면서 놀라운 발전을 이루었습니다. 로드맵은 다음과 같이 요약됩니다.
행성"행성"Cairo 및 STARKs에서 제공하는 승인된 애플리케이션별 zk 롤업을 생성할 수 있습니다. 잘 모르겠다면 @dydxprotocol, @Immutable 또는 @deversifi를 생각해 보십시오. 이들은 3개의 주요 애플리케이션이므로 StarkEx의 프로덕션 버전에 의해 구동됩니다.
지금까지 StarkEx는 이러한 애플리케이션을 통해 5백만 tx 이상과 2,500억 달러 이상의 가치를 정산했습니다. StarkEx의 효율성은 이제 입증되었으며 StarkWare는 곧 로드맵에 포함될 것입니다."별자리"단계. 11월 29일 메인넷에 스타크넷 알파 버전을 출시했습니다. 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 호환성을 보장하는 데 걸린 지연은 처음에는 실망스러울 수 있지만 모든 eth 도구 및 종속성이 기본적으로 zkSync 2.0과 통합될 수 있도록 허용하므로 zksync가 많은 시간을 얻는 데 도움이 될 것입니다.
개인적인 인상과 기회
StarkWare는 정말 인상적입니다. 이것은 내가 한동안 본 가장 유망한 인프라 프로젝트입니다. 올스타 팀, 세계적 수준의 혁신, 최상위 자금 조달. 놀랍게도 그들은 단지 ZK 롤업을 구축하는 것이 아닙니다. 그들은 모든 것에 대해 생각하고 있습니다. 우리는 카이로와 워프에 대해 이야기했습니다. 그러나 그들은 또한 Veedo, 조건부 txs를 통한 L1에서 L2로의 통신, Batch-Long 플래시 대출 및 기타 천재적인 것들을 통해 ETH에 진정한 무작위성을 제공하기 위해 노력하고 있습니다. 그들은 사용"분산 AMM"L1과 L2 사이에서 AMM의 이동성 단편화를 해결하기 위한 접근 방식은 실제로 고무적입니다. 그들은 전 세계적으로 찾고 있습니다.
현재 StarkWare에서 보고 있는 유일한 기술 문제는 Warp 어댑터를 통한 Solidity 통합입니다. 스타크넷은 먼저 카이로에 최적화되었고 그 위에 솔리디티 트랜스폰더가 추가되었습니다. 나는 강한 기술자는 아니지만 걱정됩니다"견고성 번역"모든 경우에 간단하지는 않으며 일부 스마트 계약과의 호환성 문제가 발생할 수 있습니다.
또한 내가 보는 다른 질문은 다음과 같습니다. 우리 민간인에게 기회는 어디에 있습니까? StarkWare는 이미 20억 달러의 가치가 있지만 현재 공정한 토큰 출시 계획은 없습니다.
다른 한편으로는 zksync의 커뮤니티 우선 접근 방식과 이에 대한 지원도 마음에 듭니다."제1시민으로서의 견고함"강조. 그들의 전체 기술 노력은 절충 없이 진정한 EVM 경험에 달려 있으며 채택 측면에서 성과를 거둘 가능성이 높습니다. zksync는 또한 현재 Defi/CEX 환경과 긴밀하게 통합되어 있어 향후 프로토콜 온보딩 및 채택에 좋은 징조입니다.
기회 측면에서 zkSync는 기본 토큰의 존재를 발표했으며 향후 언젠가는 공정한 토큰 출시와 잠재적인 에어드랍을 갖게 될 것입니다. 이것은 커뮤니티에 매우 좋은 일이지만 Zk 롤업 기본 토큰이 모든 사람과 그들의 팀이 기다리고 있기 때문에 과도하게 확장될 것 같은 느낌이 듭니다.
나는 또한 StarkWare가"우주"기본 토큰을 시작하는 단계입니다. 그들은 어느 시점에서 네트워크를 분산화하고 증명자에게 인센티브를 제공해야 하기 때문입니다.
제 생각에는 zk rollup에서 가장 인상적인 실행은 StarkWare에서 나온다는 것입니다. 하지만 풀뿌리 커뮤니티/오픈 소스 분위기는 zksync를 저에게 더 매력적으로 만듭니다.
마지막 개인 메모는 다음과 같습니다.
기회 측면에서 우리는 롤업의 기본 토큰에서 이러한 롤업에서 사용자 기반을 찾을 새로운 프로젝트로 초점을 옮겨야 할 것입니다. ETH는 패러다임의 전환이었고 온체인에서 주문을 복제하려고 시도한 프로젝트는 이 새로운 환경에 더 적합한 AMM 모델로 빠르게 대체되었습니다. 마찬가지로, ZK 롤업은 ETH의 패러다임 전환이며 롤업에서 AMM을 복제하는 것은 정신적으로 지체된 아이디어일 수 있습니다. 아마도 TVL은 롤업에서 중요한 메트릭이 아닐 것입니다. 아마도 CLOB는 재고할 가치가 있을 것입니다.
이것들은 임시 예이지만 이미 있는 것을 복제하는 것보다 L1에서 불가능한 일을 수행하기 위해 이러한 롤업을 활용하는 프로젝트에 아마도 최고의 기회가 있을 것입니다.
여기까지 왔다면 축하합니다.
