Rollup 전쟁 —— Starkware 개요

저자: 루카메 마루, IOBC Capital

현재 이더리움의 발전 추세는 점점 모듈화 블록체인으로 기울어지고 있습니다.

모듈화 블록체인 아키텍처 하에서 이더리움의 거래 계산 및 실행은 더 이상 메인넷에서 처리되지 않으며, 이 부분의 작업은 오프체인 Layer 2로 이전되어 수행됩니다. 이러한 솔루션은 메인넷의 부담을 줄이고 이더리움의 성능을 크게 확장합니다.

앞으로 이더리움 메인넷은 합의 및 데이터 가용성 작업만 수행하고, 모든 계산 실행을 담당하는 Layer 2는 현재의 아마존 클라우드 및 알리바바 클라우드와 같은 클라우드 서비스 제공자와 유사한 역할을 하게 될 것입니다.

롤업(Rollup)

Layer 2의 확장 솔루션 중 가장 유망한 것은 롤업입니다.

롤업은 이더리움 체인 외부에서 거래의 검증 및 계산을 수행하고, 이를 패키징하여 압축한 후 거래 업데이트와 새로운 상태 루트(State root)를 메인넷으로 전송하여 메인넷의 공간 사용을 줄입니다.

롤업에는 두 가지 구현 방식이 있으며, 각각 옵티미스틱 롤업(Optimistic Rollup)과 zk-롤업(zk-Rollup)입니다. 이 중:

옵티미스틱 롤업은 사기 증명(Fraud proof)을 사용하여, 먼저 메인 체인에 업로드된 모든 거래가 합법적이라고 가정하고, 도전 기간을 설정하여 검증자가 문제 있는 거래에 대한 증명을 제기할 수 있도록 허용합니다. 사기 행위가 발생한 것으로 확인되면 사기꾼에게 처벌이 가해지고, 도전자에게 보상이 주어집니다.

zk-롤업은 유효성 증명(Validity proof)을 사용하여, 오프체인에서 모든 거래의 검증 및 패키징을 수행하고, 검증된 거래가 메인 체인에 제출될 때 제로 지식 증명을 첨부하여 거래의 유효성을 증명합니다. StarkWare CEO Uri의 말에 따르면: "신뢰할 필요 없는 계산의 무결성을 제공합니다. 이는 감독이 없어도 해당 계산이 올바르게 실행되었음을 확신할 수 있는 능력입니다." 이는 초기 비트코인의 개념과 매우 유사합니다.

롤업에는 주로 세 가지 역할이 있습니다:

• 시퀀서(Sequencer): 주로 사용자로부터 거래를 수집하고, 이를 정렬하여 새로운 머클 루트를 Layer 1의 롤업 스마트 계약에 전달하는 역할을 하며, 이는 채굴자와 유사합니다.
• 프로버(Prover): 모든 거래의 검증을 계산하고, 거래의 유효성을 증명하기 위해 zk-proof를 생성하는 역할을 합니다.
• 검증자(Verifier): 일반적으로 Layer 1에 배포되며, 프로버가 제출한 증명의 유효성을 검증하기 위해 일부 계산을 수행하여 계산의 무결성을 보장합니다.

옵티미스틱 롤업은 EVM과 호환되며, 기술 솔루션이 성숙하고 조기 적용되어 개발자에게는 이전 비용이 낮습니다. 대표 프로젝트인 Arbitrum과 Optimism은 현재 롤업 중 시장 점유율이 가장 높습니다. 반면 zk-롤업은 EVM과 호환되지 않으며, 기술 난이도가 높고 개발 속도가 느려 현재 스마트 계약을 대상으로 하는 OP 계열의 롤업보다 응용이 널리 퍼지지 않았습니다.

그럼에도 불구하고 zk-롤업은 옵티미스틱 롤업에 비해 여러 가지 장점이 있습니다. 예를 들어:

• 확장성이 더 좋습니다. 이는 zk-롤업이 메인넷에 업로드해야 하는 데이터가 옵티미스틱 롤업보다 적기 때문입니다. zk-롤업이 체인에 게시하는 거래 정보는 이미 모두 검증되었고 증명이 첨부되어 있으므로, 다른 사람들은 거래를 검증할 필요 없이 증명만 검증하면 됩니다. 반면 옵티미스틱 롤업은 사기 증명의 도전을 받아야 하므로 이러한 데이터도 체인에 올라가야 합니다. 실제 응용에서 zk-롤업의 성능 향상 능력은 옵티미스틱 롤업의 약 10배 정도입니다.
• 거래 최종 확정 시간이 짧습니다. zk-롤업이 체인에 게시하는 거래는 이미 검증되었고 증명이 첨부되어 있어 검증이 비교적 간단하며, 일반적으로 검증 시간은 약 10분 정도입니다. 그러나 옵티미스틱 롤업이 제출한 거래는 사기 위험이 존재하므로 사기 증명의 도전을 받아야 하며, 이 도전의 시간 창은 약 1주일이므로 즉시 인출 등의 기능을 구현할 수 없습니다.
• 안전성이 더 높습니다. zk-롤업이 업로드하는 거래는 모두 검증을 거치고 증명이 첨부되어 있어 악의적인 행위의 가능성이 적습니다. 반면 옵티미스틱 롤업은 사기 내용을 포함한 거래를 업로드할 수 있는 가능성이 있어, zk-롤업의 데이터 신뢰성과 안전성이 더 높습니다.

Vitalik은 2021년에 "단기적으로 옵티미스틱 롤업이 EVM의 호환성 덕분에 우위를 점할 것입니다. 중장기적으로는 zk-SNARK 기술의 개선에 따라 zk-롤업이 모든 사용 사례를 차지할 것입니다."라고 말했습니다. 이는 장기적으로 Vitalik이 zk-롤업을 더 긍정적으로 보고 있음을 보여줍니다.

zk-SNARK와 zk-STARK

zk계의 두 주요 프로젝트는 각각 zksync와 Starkware입니다. 이 중 zksync는 zk-SNARK 기술을 사용하고, Starkware는 zk-STARK 기술을 사용합니다.

zk-SNARK는 간결한 비대화형 증명의 약자이며, zk-STARK는 확장 가능한 투명한 지식 증명의 약자입니다. zk-SNARK는 출현 시기가 이르고 기술이 상대적으로 성숙하여 현재 비교적 널리 사용되고 있습니다. 초기의 프라이버시 코인 프로젝트인 zcash는 zk-SNARK 기술을 사용했습니다. zk-STARK는 zk-SNARK의 개선판으로, 더 빠르고 편리한 구현 방식을 목표로 하며, zk-SNARK의 일부 단점을 보완하기 위해 최적화되었습니다.

이름에서 알 수 있듯이, zk-STARK는 zk-SNARK에 비해 확장성과 투명성의 장점이 있으며, 추가로 zk-STARK는 더 높은 안전성을 가지고 있습니다. 구체적인 이유는 다음과 같습니다:

1. 확장성. zk-STARK 기술을 통해 증명자의 실행 시간은 계산 규모에 대해 최대 선형적이며, 검증 시간은 계산량의 다항 로그입니다. 반면 zk-SNARK에서는 증명자가 복잡하고 비싼 증명 과정을 마주할 수 있으며, 그에 따라 긴 검증 시간이 소요됩니다.
2. 투명성. zk-STARK는 신뢰할 수 있는 초기 설정이 필요하지 않으며, zk-SNARK와 달리 신뢰할 수 있는 설정의 공개 참조 문자열이 필요하지 않고, 대신 무작위 공개 검증을 사용하므로 매개변수가 손상되거나 수정될 염려가 없습니다.
3. 안전성. zk-STARK는 해시 함수를 사용하여 대칭 암호화를 수행하므로, 해시 함수의 충돌 저항 특성이 양자 공격에 대한 저항력을 제공합니다.

기술이 성숙하고 출시가 빨라 현재 zk 분야에서 zk-SNARK가 여전히 주류를 이루고 있지만, zk-STARK는 기술 난이도가 높고 개발자가 부족하여 아직 널리 채택되지 않고 있습니다. 그러나 무시할 수 없는 장점 덕분에 zk-STARK가 더 많이 수용될 솔루션이 될 것이라고 믿습니다.

Starkware

Starkware의 공동 창립자 Eli Ben-Sasson은 세계 최고의 암호학자이며, 이스라엘 공과대학교에서 교수로 재직 중이며, zk-SNARK 및 zk-STARK 기술의 공동 발명자입니다. 이 프로젝트는 튜링 완전한 카이로(Cairo) 언어로 개발됩니다.

작동 원리

Starkware 시리즈 제품의 작업 흐름은 다음 그림과 같습니다:

StarkEx를 예로 들면, StarkNet의 작업 흐름도 대체로 유사합니다.

1. 사용자는 먼저 애플리케이션에서 작업을 수행하며, 일반적으로 애플리케이션의 클라이언트 또는 웹 프론트엔드에서 이러한 작업을 실행한 후 StarkEx 서비스에 거래를 전송합니다.
2. StarkEx 서비스는 이러한 거래를 패키징하여 실행한 후, 패키지를 SHARP(공유 증명 서비스)에 전송합니다. 이 과정에서 실행은 카이로 언어로 작성된 프로그램에 의해 완료됩니다. 주목할 점은 StarkWare가 카이로라는 튜링 완전한 언어를 통해 모든 스마트 계약의 계산 결과를 증명 가능한 다항식 방정식으로 변환하여 스마트 계약과 유효성 증명이 호환되도록 했다는 것입니다.
3. SHARP는 Stark 기반의 증명 시스템으로, 이 시스템이 이 배치 거래의 유효성을 증명하는 증명을 생성합니다.
4. SHARP는 Stark 증명을 Layer 1에 배포된 검증자(Verifier)에게 전달하며, 검증자가 검증을 완료합니다.
5. StarkEx 서비스는 Layer 1에 배포된 StarkNet 스마트 계약에 체인 상태 업데이트 거래를 전송하며, 이 스마트 계약은 검증자가 증명을 완료한 후에만 새로운 상태 변경을 수락합니다.

제품

Starkware는 현재 두 가지 제품을 보유하고 있습니다:

• StarkEx는 애플리케이션에 맞춤형 ToB 서비스를 제공하며, StarkEx에서 실행되는 애플리케이션은 비즈니스 로직을 사용자 정의할 수 있습니다. StarkEx는 DeFi 및 게임과 같은 애플리케이션에 서비스를 제공하며, 거래 속도를 높이고 거래 비용을 줄일 수 있으며, ZK-Rollup 또는 Validium 두 가지 솔루션을 통해 데이터 가용성을 구현할 수 있습니다.
• StarkNet은 허가 없이 사용할 수 있는 분산형, 검열 저항의 범용 Layer 2 네트워크로, 모든 사용자와 개발자가 카이로 언어로 작성된 스마트 계약을 배포하고 사용할 수 있습니다.

이 두 가지 제품은 각각 두 가지 다른 비즈니스 모델에 해당합니다. 전자는 애플리케이션에 맞춤형 서비스를 제공하고 판매하며, 후자는 허가 없는 범용 서비스를 제공하고 네트워크의 거래 수수료를 수취하거나 노드로서 거래 수수료 우선 원칙에 따라 MEV를 추출합니다.

StarkWare의 공동 창립자 Eli Sabasson은 StarkEx와 StarkNet의 차이를 컴퓨터와 클라우드에 비유했습니다. StarkEx를 구매하는 것은 자신의 맞춤형 컴퓨터를 소유하는 것과 같으며, 각 고객은 자신의 확장 컴퓨터를 소유합니다. StarkNet은 네트워크를 제공하며, 범용 서비스로 모든 사람이 비용을 지불하고 사용할 수 있습니다.

StarkNet의 작업 과정은 다음 그림과 같습니다. StarkEx와의 가장 큰 차이점은 StarkNet에서 시퀀서가 StarkEx 서비스를 대체하여 거래 유효성 검증, 거래 패키징, 카이로 프로그램 실행 호출 작업을 수행하며, SHARP가 수행하는 증명 생성 작업은 StarkNet에서 프로버가 담당합니다. 현재 시퀀서와 프로버는 StarkWare 공식 팀에 의해 지정되며, 이는 중앙화에 대한 의문을 불러일으킵니다.

로드맵

StarkNet은 블로그에서 로드맵을 발표하며 점진적으로 분산화를 실현할 것이라고 밝혔습니다.

팀이 StarkNet을 구축하는 과정은 네 가지 단계로 나뉘며, 각각은 다음과 같습니다:

• Step 0--기초 구축
• Step 1--행성(Planets): 단일 운영자, 단일 앱의 롤업
• Step 2--별자리(Constellations): 단일 운영자, 여러 앱의 롤업
• Step 3--우주(Universe): 분산형 운영자, 여러 앱의 롤업

Step 1에서는 하나의 StarkNet 인스턴스(하나의 롤업)에서 단일 애플리케이션만 실행되며, 개발자는 StarkNet이라는 확장 네트워크에서 자신의 비즈니스 로직을 구현하는 방법에 집중합니다.

다음 단계에서는 동일한 StarkNet 인스턴스에서 여러 애플리케이션을 실행할 수 있도록 지원하며, 이러한 애플리케이션은 동일한 글로벌 Layer 2 상태를 공유할 수 있습니다. 이는 서로 다른 애플리케이션 간의 상호 운용성을 실현하고, 규모의 경제로 인해 가스 비용을 낮출 수 있습니다. 이 단계에서 StarkNet은 이더리움 위에서 임의의 비즈니스 로직을 가진 여러 애플리케이션을 실행할 수 있는 완전한 기능을 갖춘 프레임워크가 될 것입니다. 사용자 관점에서 StarkNet은 이더리움과 매우 유사하게 작동하지만, 확장성이 더 좋습니다.

마지막 단계는 StarkNet의 운영자를 분산화하는 단계입니다. 이 단계에서 팀은 두 가지 주요 작업을 수행합니다: (1) 롤업을 사용하여 더 나은 합의 메커니즘을 구현하고, (2) 경제 모델을 활용하여 기여자와 운영자에게 인센티브를 제공하여 더 많은 참여자를 유도하여 네트워크의 분산화를 실현합니다.

카이로 언어

카이로(Cairo, CPU 대수 중간 표현)는 Starkware가 일반 계산을 위해 STARK 증명을 생성하는 데 사용하는 튜링 완전한 프로그래밍 언어입니다. 애플리케이션 개발자는 카이로를 사용하여 비즈니스 로직을 정의하고 오프체인 증명 및 온체인 검증을 완료할 수 있으며, 복잡한 회로 또는 AIR(대수 중간 코드)를 수동으로 생성할 필요가 없습니다.

카이로 프로그래밍 언어를 통해 모든 계산 명제는 빠르고 안전하게 인코딩 증명을 수행할 수 있습니다. 카이로로 작성된 애플리케이션은 해당 실행 논리를 증명할 수 있으며, 카이로 애플리케이션은 여러 카이로 애플리케이션을 통합하여 SHARP를 형성할 수 있습니다.

SHARP(공유 증명기)는 여러 독립적인 카이로 애플리케이션의 거래를 집계하고 동일한 STARK 증명에서 사용할 수 있습니다. STARK 증명을 사용하면 증명을 제기하는 데 필요한 시간과 실행 문장을 수행하는 데 필요한 시간은 대체로 선형 관계를 가집니다. 증명을 검증하는 데 필요한 시간은 증명을 제기하는 시간과 로그 관계를 가집니다.

검증 시간이 증명 시간보다 훨씬 짧기 때문에 재귀 검증을 실현할 수 있습니다: 하나의 카이로 프로그램은 여러 거래의 정확성을 검증할 수 있으며, 여러 Stark 증명을 검증하는 카이로 프로그램을 작성할 수도 있습니다. 검증을 수행하는 데 로그 시간만 필요하므로, 이러한 재귀 검증은 검증 시간을 크게 줄일 수 있습니다.

Starkware 팀은 카이로의 일반 증명 서비스(Generic Proof Service, GPS)를 출시하여 개발자가 카이로 언어로 자신의 애플리케이션을 구축할 수 있도록 지원합니다. 그들은 비즈니스 로직이 포함된 카이로 코드를 GPS에 제출하여 증명하고, 이를 온체인에서 검증할 수 있습니다.

GPS는 하나의 증명을 사용하여 서로 다른 여러 애플리케이션의 실행 무결성을 주장할 수 있도록 지원하여, 이러한 애플리케이션이 증명 검증의 가스 비용을 분담할 수 있게 합니다.

팀과 자금 조달

Starkware 팀은 이스라엘 출신이며, 주요 구성원은 히브리 대학교와 이스라엘 공과대학교 배경을 가진 컴퓨터 과학 및 암호학 개발자들로, 제로 지식 증명 분야에서 가장 강력한 팀이라고 할 수 있습니다.

Starkware의 공식 웹사이트에 따르면, 현재 팀에는 77명의 구성원이 있으며, 7명의 학문적 자문과 5명의 기타 자문이 있습니다. 주요 구성원은 다음과 같습니다:

• Eli Ben-Sasson: 공동 창립자 및 수석 과학자, 히브리 대학교 이론 컴퓨터 과학 박사, 오랜 기간 계산 무결성, 암호학 및 제로 지식 증명 분야의 연구를 수행. 이스라엘 공과대학교 컴퓨터 과학 교수. Zcash의 창립 과학자, zkSNARK 및 zkSTARK의 발명자.
• Uri Kolodny: 공동 창립자 및 CEO, 히브리 대학교 컴퓨터 과학 학사, 상업 경험이 풍부하고 협력에 능한 연속 창업자.
• Alessandro Chiesa: 공동 창립자 및 수석 과학자, 캘리포니아 대학교 버클리 캠퍼스 컴퓨터 과학 교수. Zcash의 창립 과학자, zk-SNARK의 공동 발명자, 간결한 제로 지식 증명의 선도적인 오픈 소스 라이브러리인 libsnark의 핵심 개발자.
• Michael Riabzev: 공동 창립자 및 수석 아키텍트. 이스라엘 공과대학교 박사, Intel 및 IBM에서 근무한 경력.
• Oren Katz: 엔지니어링 부사장. 히브리 대학교 컴퓨터 과학 졸업, 텔아비브 대학교 MBA, 20년 경력의 숙련된 엔지니어.

자금 조달 측면에서 StarkWare는 총 7회의 자금 조달을 공개했으며, 45건의 투자가 포함되어 있습니다. 외부에 공개된 자금 조달 금액은 2.73억 달러이며, 2022년 D 라운드 자금 조달 시 평가액은 79억 달러로, 투자자는 Paradigm, Sequoia Capital 및 Pantera Capital 등 기관과 Vitalik이 포함됩니다.

경제 모델

Starkware는 올해 7월 중순 블로그에서 그들의 토큰 경제 모델을 발표했습니다. 원래 9월에 토큰을 발행할 계획이었으나, 이후 발행 시기를 연기한다고 발표했으며, 본 문서가 발표될 당시까지 공식적인 발행 발표는 없었습니다.

StarkNet 토큰은 주로 3가지 사용 사례를 가질 것입니다: StarkNet 네트워크 비용 지불, 네트워크 합의에 참여하기 위한 스테이킹, 커뮤니티 거버넌스 투표.

• 거래 비용: 현재 StarkNet의 비용은 ETH로 지불됩니다. 그러나 앞으로 이 프로젝트는 비용을 원주율 StarkNet 토큰으로만 지불할 것으로 예상됩니다. 좋은 사용자 경험을 지원하기 위해 자동화되고 분산화된 온체인 메커니즘이 사용자에게 ETH로 비용을 지불할 수 있도록 허용할 것입니다.
• 스테이킹: StarkNet의 활성화 및 안전성에 중요한 특정 서비스는 StarkNet 토큰을 스테이킹해야 할 수 있습니다. 이러한 서비스에는 정렬, L1 최종성에 도달하기 전에 임시 L2 합의 도달, STARK 증명 서비스 및 데이터 가용성 공급이 포함될 수 있습니다. 이러한 서비스는 2023년에 분산화될 것으로 예상됩니다.
• 거버넌스: StarkNet 개선 제안은 최소한의 토큰 보유 기준이 필요합니다. StarkNet의 활성화, 안전성 및 유지 관리에 중요한 프로토콜의 모든 변경 사항은 직접 또는 위임을 통해 투표해야 합니다. 예를 들어, StarkNet 운영 체제의 모든 주요 업데이트는 토큰 보유자의 승인을 받아야 합니다.

StarkNet 토큰의 초기 발행량은 100억 개이며, 17%는 StarkWare 투자자에게, 32.9%는 핵심 기여자에게, 50.1%는 재단에 배분됩니다. 또한 이 토큰은 발행 메커니즘을 가지고 있으며, 새로운 발행 토큰과 거래 수수료의 일부는 핵심 인프라 개발자 및 스마트 계약 개발자에게 제공됩니다.

재단에 배분된 51%의 구체적인 용도는 다음과 같습니다:

• 9%  ------ 생태계 개발자, 사용자 및 커뮤니티. 6월 1일 이전에 StarkEx와 상호작용한 일부 사용자 포함.
• 9%  ------ 커뮤니티 환급(Rebates)------StarkNet 토큰의 환급, 이더리움에서 StarkNet으로의 비용 일부를 지불하기 위해.
• 12%  ------ StarkNet 프로토콜 개발, 테스트, 배포 및 유지 관리를 위한 연구자 및 작업자에게 자금을 지원.
• 10% ------ 전략적 비축, 재단의 사명에 부합하는 생태계 활동을 지원하기 위해.
• 2%  ------ 대학, 비정부 조직 등 관련 분야의 저명한 기관 및 조직에 기부, StarkNet 토큰 보유자와 재단이 결정.
• 8.1% 미배분------StarkNet 커뮤니티를 추가로 지원하기 위해, 구체적인 방법은 커뮤니티가 결정.

분산화된 생태계의 관례적 배분 및 커뮤니티의 장기 이익을 고려하여, 투자자와 핵심 기여자에게 배분된 49.9%는 4년의 잠금 기간이 있으며, 1년의 클리프(Cliff)와 선형 방식으로 토큰이 해제됩니다.
토큰 배분에서 볼 수 있듯이, StarkNet 토큰 보상은 핵심 인프라 및 dApp 개발자를 우선적으로 고려하며, 일반 사용자에게는 덜 기울어져 있습니다.

운영 데이터

StarkEx라는 ToB 제품은 출시가 빨랐고 Scale as a service 모델이 상대적으로 성숙하여 일부 사용자를 이미 확보하고 있습니다. 예를 들어 dYdX(현재는 이탈), Immutable X, rhino.fi, celer 및 Sorare가 있습니다. 공식 웹사이트에 따르면, StarkEx에서 누적 거래 금액은 7320억 달러에 달하며, 현재 TVL은 4.61억 달러입니다.

다른 제품인 StarkNet은 www.starknet-ecosystem.com 웹사이트의 데이터에 따르면, 현재 생태계에 약 100개 이상의 애플리케이션이 있으며, 그 중 가장 많은 수는 DeFi(45개), NFT(24개) 및 인프라(18개)입니다.

잘 알려진 프로젝트 중 AAVE와 Maker는 모두 StarkNet에 배포될 예정이며, 이틀 전(10월 29일) Aave와 StarkWare의 첫 번째 단계의 크로스 체인 협력이 개발 완료되었다고 공식 발표했습니다. 이 단계는 Aave v2가 이더리움에서 StarkNet으로 aToken을 크로스 체인하는 스마트 계약 인프라로, 네트워크 사용자가 StarkNet에서 크로스 체인 aToken을 얻을 수 있도록 허용합니다. 또한 6월에는 Maker가 이미 DAI의 메인넷과 StarkNet 간의 전송을 시작했습니다.

특히 StarkEx에서 주요 TVL을 차지했던 dYdX가 6월에 이탈하여 Cosmos SDK 기반의 독립 블록체인을 선택하여 v4 버전의 제품을 출시했습니다. 이 사건은 어느 정도 투자자에게 Layer 2와 Starkware에 대한 신뢰에 영향을 미쳤습니다.

이번 이탈 사건에서 볼 수 있듯이, 실제로 사용자와 영향력을 가진 애플리케이션은 기본 인프라를 선택하는 데 더 많은 발언권과 주도권을 가지고 있으며, 특정 단일 기본 체인에 의존하지 않고 다른 기본 공용 체인을 선택하거나 심지어 자신의 요구에 맞는 애플리케이션 체인을 구축할 수 있습니다.

과거의 "뚱뚱한 프로토콜, 날씬한 애플리케이션" 서사는 재정의될 수 있습니다. 다양한 기본 인프라 프로젝트에 대해, 자신의 생태계에서 우수한 애플리케이션을 확보하고 유지하는 방법도 현재 재고해야 할 문제입니다. 결국 더 많은 가치를 포착하려면 더 많은 사용자를 확보해야 하며, 실제로 사용자와 상호작용하는 것은 애플리케이션이지 기본 체인이 아닙니다. 사용자는 기본 기술 구현의 원리에 관심이 없으며, 애플리케이션의 이동에 따라 이동할 뿐입니다.

결론

강력한 기술 팀을 보유한 Starkware는 현재 그들의 계획에 따라 제품을 점진적으로 개발하고 있습니다: 10월 26일, 그들은 STARK 증명 프로그래밍 언어인 카이로로 ZK-EVM을 작성 완료했다고 발표했습니다.

동시에 그들은 zk-STARK의 기술 난이도가 높고 개발 속도가 느리며 개발자가 부족하여 생태계 애플리케이션의 발전과 유지에 많은 어려움을 겪고 있다는 도전에도 직면해 있습니다. dYdX의 이탈은 프로젝트의 대부분 TVL을 잃게 되었고, 기본 인프라가 상위 우수 애플리케이션과의 결합 능력이 부족하다는 문제를 드러냈으며, 우수 애플리케이션이 기본 체인을 선택할 때 강력한 발언권을 가지고 있음을 보여주었습니다.

하지만 기술의 우수성 덕분에 장기적으로 우리는 여전히 zk-롤업과 STARK의 발전을 긍정적으로 보고 있습니다. 후속적으로 토큰의 발행으로 인한 인센티브 효과와 네트워크의 점진적인 분산화가 이루어짐에 따라, Starkware는 여전히 롤업 트랙에서 가장 강력한 경쟁자 중 하나가 될 것입니다.