StarkWare 심층 연구: 기술 로드맵, 발전 과정 및 발전 현황

저자: 아파토/ 아파토 연구 노트

왜 이 회사를 연구하는가? StarkWare 이 회사의 몇 가지 특징:

첫째, 과학 공학 중심이지만 CEO는 VC와의 소통 능력이 뛰어나고, PR 및 팀 조직 능력도 좋다;

둘째, 창업 팀 전체가 전략적 방향에 대해 명확하게 생각하고 있으며, ICO를 바로 시작하지 않고 개발자 커뮤니티 구축에 많은 시간을 투자했다;

셋째, 이 회사는 일찍부터 수익성 있는 비즈니스 모델 구축을 고려했으며, 기술과 상업화 간의 좋은 균형을 이루었다. 이더리움 창시자 비탈릭은 StarkWare의 초기 투자자이며, 이후 StarkWare에서 발표한 많은 논문에서 V신이 수정에 참여했다.

StarkWare의 창업과 발전은 과연 어떤 이야기인가? 이더리움이 오늘날 직면한 문제와 L2 확장성은 어떤 기회를 가져왔는가? 엔지니어 창업자로서 그들의 창업 여정은 어떤 참고가 될 수 있는가? 이는 본문에서 탐구하고자 하는 몇 가지 질문이다.

시장 문제점 & 회사 소개

주: 본문은 약 8000자 정도이며, 읽는 데 25-30분 정도 소요됩니다.

일련의 거시 데이터: 천장 높이는 얼마나 될까?

연구 기관 Markets and Market의 데이터에 따르면, 2026년까지 블록체인 기술 및 서비스 시장은 2021년의 49억 달러에서 674억 달러로 성장할 것이다.

시장 문제점

암호화 세계의 지속적인 열기로 인해 이더리움은 가장 인기 있는 암호화 생태계 중 하나가 되었다. 2020년 Dapp.com에서 발표한 Dapp 시장 보고서에 따르면, 이더리움은 2020년 2분기에 32%의 독립 사용자와 97%의 활성 사용자가 증가하여 총 사용자 수는 450만, 활성 사용자 수는 125만에 달하며, 이 데이터는 계속 증가하고 있다.

하지만 현재 이더리움 네트워크는 전 세계 네트워크 거래 부하의 압력을 충족하기 어렵다. 속도를 더욱 높이고 이더리움의 거래를 줄이기 위해 개발자들은 L2(이더리움 L1의 솔루션 레이어)를 연구하고 있으며, 이더리움 네트워크(L1) 위에 구축하고 있다.

우리는 L2를 이더리움 확장의 솔루션으로 이해하며, 독립적으로 코드를 실행할 수 있는 실행 레이어가 있으며, L2는 이더리움 L1 위에서 실행된다.

Starkware는 주로 ZKP(제로 지식 증명) 시스템을 활용하여 현재 이더리움의 혼잡 문제를 해결하고, 계산 압력을 줄이면서도 거래 데이터를 메인 네트워크에 기록하려고 한다.

회사 소개

StarkWare는 2018년에 설립되었으며, 본사는 이스라엘에 있다. StarkWare는 STARK(상업화된 특정 유형의 제로 지식 증명(ZKP) 시스템, STARKs라고 함) 기술을 통해 블록체인의 확장성과 프라이버시를 향상시키고, 제로 지식, 투명(no need for a trusted setup) 및 후량자 보안(post-quantum secure)의 암호 증명을 제공하는 것을 목표로 한다.

StarkWare는 완전한 증명 스택을 개발할 것이며, 소프트웨어와 하드웨어 모두 일반 계산의 계산 완전성 증명의 빠르고 신뢰할 수 있는 생성 및 검증 방법을 지원할 수 있다.

제로 지식 증명이란 무엇인가?

현재 ZKP는 사용되고 있으며, 일반적인 ZKP 형태는 공개 키 암호학이다. 오늘날 인터넷의 많은 핵심 부분과 암호화폐는 공개 키 암호학을 인용하고 있다. 그러나 문제는 현재 이러한 ZKP의 범위가 상대적으로 좁다는 것이다: 일반적으로 누군가가 특정 공개 키와 관련된 개인 키를 소유하고 있음을 증명할 수 있도록 허용하지만, 임의의 복잡한 계산으로 확장할 수는 없다.

하지만 현재 일반적으로 사용 가능한 ZKP도 반복적으로 발전하고 있으며, 범위는 여전히 상대적으로 제한적이다. 두 가지 두드러진 예는 프라이버시 중심의 암호화폐인 Zcash와 Monero이다. Zcash는 SNARK라고 불리는 다른 유형의 ZKP를 사용하여 Zcash 사용자가 전 세계에서 비공식적으로 Zcash를 전송할 수 있도록 한다. Monero는 Bulletproofs라고 불리는 또 다른 ZKP 형태를 사용하여 동일한 작업을 수행한다.

ZKP 제로 지식 증명은 어떤 역할을 하는가?

보편적인 ZKP의 응용 기술이 성숙해짐에 따라 광범위한 응용이 가능할 것이다.

블록체인의 확장성을 강화: ZKP는 블록체인을 여러 수치로 확장하는 데 도움을 줄 수 있다. 여기에는 두 가지 일반적인 접근 방식이 있다: 오프체인 배치 및 재귀적으로 ZKP를 구성하는 것이다. 블록체인을 확장하는 다섯 가지 기본 방법 중 ZKP 기반 접근 방식이 가장 좋은 결과를 제공할 수 있다.

Web3 스택의 체인 외 계산에 동력을 제공하며, 동시에 금융 서비스 성능을 향상시킬 수 있다: 2008년 금융 위기 이후, 세계 경제에 동력을 제공하는 금융 기관은 위험 기준을 준수해야 했다. ZKP를 사용하면 이러한 기관은 감사인, 정부, 고객 및 대중에게 실시간으로 위험 기준을 준수했음을 증명할 수 있으며, 그들의 장부에 있는 기밀 정보를 공유할 필요가 없다.

창립 팀

과학 중심의 암호 인프라 솔루션 회사

창립 팀 배경: 기술 중심 + 상호 보완적인 능력의 팀

창립자 Michael Riabzev, Eli Ben-Sasson 및 Uri Kolodny 사진 출처: StarkWare 공식 웹사이트

창립자이자 CEO인 Uri Kolodny는 히브리 대학교에서 컴퓨터 과학을 전공한 후 MIT 슬론에서 MBA를 취득했다. 연속 창업자로서 Uri는 OmniGuide(내시경 수술을 위한 MIT 지원 기술 회사)와 Mondria(빅데이터 시각화 도구 개발 회사) 등 여러 기술 중심의 스타트업을 창립했다.

그 이전에 Uri는 두 개의 이스라엘 벤처 캐피탈 회사에서 EIR(상주 기업가)로 일했으며, 컨설팅 회사인 맥킨지에서 분석가로도 근무했다.

Uri는 벤처 캐피탈 기관과의 소통 능력이 뛰어나며, 창업 팀을 구성할 수 있는 능력과 풍부한 PR 능력을 가지고 있다(우리는 StarkWare가 일찍부터 자신의 기술 블로그를 구축하여 자신이 하고자 하는 일에 대한 이해와 과학적 연구 결과를 외부 사용자와 지속적으로 동기화하고 있음을 볼 수 있다).

이더리움 창립자도 StarkWare의 논문에 자주 조언을 제공하며, 상대적으로 풍부한 창업 경험은 Uri가 회사의 비전을 일찍 설정하고 전체 회사의 제품 로드맵을 효과적으로 실행하는 데 도움을 주었다.

왜 Starkware가 과학 기술 중심의 회사라고 말하는가?

첫째, 기술 팀은 Eli Ben-Sasson(Technion 이스라엘 공과대학교 졸업, 아인슈타인은 이 학교 학술 협회의 초대 회장), Alessandro Chiesa(UC Berkeley, 캘리포니아 대학교 버클리) 및 Michael Riabzev(Technion)가 이끌고 있다.

Alessandro Chiesa는 Starkware의 공동 창립자이자 최고 과학자로, StarkWare를 설립하기 전 Zerocash 프로토콜의 공동 저자이기도 하며, 앞서 언급한 Zcash의 공동 창립자이다.

2021년 3월, Starkware의 과학 고문인 Avi Wigderson(또한 Eli Ben-Sasson의 박사 지도교수)는 아벨상을 수상했다. (노르웨이 왕이 매년 한 명 이상의 뛰어난 수학자에게 수여하는 상으로, 노르웨이 수학자 니엘스 헨리크 아벨(Niels Henrik Abel)의 이름을 따서 명명되었다)

기술 팀은 ZKP 시스템에서 10년 이상의 경험을 가지고 있으며, STARK 논문을 공동 발표했으며, 기술 팀은 업계에서 상대적으로 풍부한 경력과 전문 기술 학문적 배경을 가지고 있다.

자금 조달 과정 & 비즈니스 데이터

시드 라운드 투자자: 이더리움 창립자 V신

사진 출처: StarkWare 공식 웹사이트

2018년 1월, StarkWare는 시드 라운드에서 600만 달러를 조달했으며, 투자자는 이더리움 창립자 비탈릭 부테린(V신), Paradigm, Pantera Capital PolyChain 등이 포함되었다;

2018년 7월, 이더리움 재단은 StarkWare에 1200만 달러를 투자했다;

2018년 10월, A 라운드에서 3000만 달러를 조달했으며, 세쿼이아, Paradigm, Scalar Capital, Multichain Capital, Intel Capital, Semantic Ventures, Pantera 등이 투자에 참여했다;

2021년 3월 24일, B 라운드에서 7500만 달러를 조달했으며, 세쿼이아, Wing Venture Capital, Paradigm, Pantera Capital이 계속 투자했으며, Three Arrows Capital, DCVC 등이 이번 투자에 참여했다;

2021년 11월, C 라운드에서 5000만 달러를 조달했으며, 기업 가치는 20억 달러로, 세쿼이아 캐피탈이 주도하고 IOSG 등이 이번 투자에 참여했다;

StarkWare 사용자 & 비즈니스 데이터

2021년 11월, StarkWare의 창립자이자 CEO인 Uri Kolodny는 인터뷰에서 회사가 현재 수익을 내고 있으며, C 라운드 자금 조달은 팀을 계속 확장하고 생태계를 발전시키기 위한 것이라고 말했다. StarkWare의 일부 고객에는 ConsenSys, Immutable, dYdX 및 Sorare 등이 포함된다.

StarkWare를 통해 가능한 한 낮은 비용의 가스 서비스를 받을 수 있으며, 현재 이더리움의 높은 가스 비용은 시장에서 존재하는 고유한 문제점이다. 2021년 11월 기준으로, StarkEx를 통해 정산된 거래 금액은 2000억 달러를 초과하며, 약 5000만 건의 거래가 StarkEx에서 이루어졌고, 사용자 수는 수십만에 달한다.

비즈니스와 독특성이 무엇인지에 대해 공동 창립자 Eli Ben-Sasson은 인터뷰에서 StarkWare가 모든 L2 솔루션의 거래 총액과 처리량이 크며, 이 비즈니스는 선발 우위를 가지고 있다고 말했다. "StarkWare를 통해 2000억 달러 이상이 정산되었고, 5000만 건 이상의 거래가 이루어졌다."

비즈니스 모델 & 주요 제품

어떤 수요를 충족하는가?

StarkWare의 주요 기여는 제로 지식의 학문적 및 계산 분야에서 기술 발전을 이루는 것이다: 첫째, StarkWare 팀은 STARKs(Scalable Transparent Arguments of Knowledge)를 개발했다.

STARKs는 완전한 신뢰할 필요 없는 설정을 가진 유효성 증명의 형태로, 이 방법을 통해 모든 체인 상의 계산을 독립적인 체인 외 STARK 증명기(prover)로 이전할 수 있다. 이후 증명기는 체인 상의 STARK 검증기(STARK Verifier)를 사용하여 관련 계산의 완전성과 신뢰성을 검증해야 한다. (Starks의 의미를 기억하라, 우리는 이후에 반복해서 언급할 것이다)

"블록체인을 바라보면, 우리는 엄청난 유용성과 잠재력을 가진 것을 보지만, 규모가 매우 제한적이다,"라고 StarkWare의 사장인 Ben-Sasson이 말했다. "그것은 극적으로 그리고 기하급수적으로 확장해야 하며, 분산화와 개방성의 동일한 원칙 하에 그렇게 해야 한다."

핵심 제품: StarkWare & StarkNet

현재 시장에는 두 가지 주요 유형의 롤업이 있다. 하나는 ZK 롤업(제로 지식 증명 기반)이고, 다른 하나는 옵티미스틱 롤업이다. 롤업이란 체인 외에서 이더리움 거래를 수행할 수 있도록 허용하는 방법으로, 거래 데이터를 체인 상에 저장함으로써 현재 존재하는 네트워크 혼잡 문제를 줄이고 속도를 높이며 가스 비용을 가능한 한 낮출 수 있다.

StarkEx

StarkEx는 Starkware가 개발한 L2 확장성 엔진으로, 유사한 어셈블리 언어인 Cairo 프로그램을 통해 제로 지식 환경에서 이러한 기능을 실행할 수 있다. StarkEx는 체인 상/하이브리드 데이터 가용성 솔루션, 빠른 인출, ERC-721 및 ERC-20을 지원하여 데이터 가용성을 보장한다.

또한 유효성 증명을 생성하여 모든 체인 외 계산이 완전하게 실행되도록 보장하며, STARK 증명은 먼저 체인 상에서 검증된 후 이더리움 메인 네트워크에 제출된다.

StarkNet

StarkNet은 이더리움에서 Starkware 팀이 개발한 Stark 제로 지식 증명 기반의 허가 없는 분산형 L2-ZK-Rollup이다. 이는 튜링 완전성을 갖추고 있으며, Solidity -> Cairo 컴파일러를 통해 EVM 호환 기능을 제공한다.

Cairo란 무엇인가? Cairo는 튜링 완전성을 갖춘 언어로, StarkNet은 Cairo를 기반으로 하여 이더리움에서 일반적인 계산을 지원한다. 개발자는 StarkNet에서 애플리케이션을 개발하고 배포할 수 있으며, 사용자는 StarkNet에서 거래를 시작하고 실행할 수 있으며, 인센티브를 통해 노드 네트워크가 정상적으로 운영되도록 보장할 수 있다.

StarkNet의 모든 거래는 주기적으로 하나의 증명으로 묶여 이더리움에서 검증되며, StarkNet에 구축된 모든 데이터는 체인 상(on-chain)에 게시된다.

회사 발전 과정

기술 문제 해결 및 수요 충족에서 출발

StarkWare의 특별한 확장 솔루션은 공학 및 과학적 관점에서의 연구 개발을 통해 이루어지며, 암호학 및 수학 계산 분야에서 출시 전에 모든 것이 요구 사항을 충족하도록 보장한다. ZKP의 다른 솔루션은 더 많은 계산 작업이 필요하지만, 그들의 더 안전한 아키텍처는 많은 개발자들이 그것들이 이더리움 네트워크의 확장성의 미래라고 믿게 만든다.

창립 팀은 자신의 전략을 일찍이 명확히 생각했다. 초기부터 어떻게 수익을 낼 것인지 고민하며, 그들의 2018년 블로그에서 명확한 목표와 전략적 방향을 제시했다:

"지속적인 수익을 창출하는 기업을 설립하는 것이 목표이며, 현금 흐름과 수익에 대한 요구를 바탕으로 창립 팀이 세운 전략은 먼저 수요를 충족할 수 있는 기술을 개발하는 것이다."
"
Starkware의 비즈니스 모델은 사용자에게 어떤 가치를 창출할 수 있을지를 고려하는 것이며, 블록체인 전체 생태계를 재구성하는 것을 비전으로 삼고 있다.

또한, ICO를 즉시 진행하는 많은 암호화 기업들과는 달리, Starkware는 2018년 창립 초기부터 ICO를 진행하지 않겠다고 밝혔다. 그들은 Tech4Tokens(T4T)라고 불리는 새로운 길을 탐색할 수 있다고 믿었다.

이는 창립자 Uri의 벤처 캐피탈 경험과 관련이 있을 수 있다.

T4T가 무엇인지 설명하자면: 벤처 캐피탈 회사가 기업에 투자하면, 그 대가로 그들은 가치 상승의 기회를 얻을 수 있다. Starkware는 자신의 기술에 투자함으로써 유사한 보상을 얻을 수 있다. 팀을 벤처 캐피탈 기술 전문가로 상상하고, 기술에 투자하여 Token을 교환하는 기술 암호 기금(Tech Crypto Fund)이 되는 것을 탐색하는 것이 T4T이다.

Starkware가 기술 암호 기금으로서 스스로 초기 투자자가 된다면: 기술에 대한 초기 투자가 Token 가치에 미치는 영향이 클 것이다. 우리는 일반적인 비용과 수익에 관심이 있는 것이 아니라, 우리가 창출할 가치에서 의미 있는 미래를 얻고자 한다.

미래의 블록체인 생태계에서 인재는 현금보다 훨씬 더 희소할 것이며, 성공적인 벤처 기술 전문가의 Token 투자 포트폴리오의 수익은 이러한 희소성을 반영할 것이다.

Starkware의 Token에는 몇 가지 잠재적 출처가 있다: 일부 재단, Token 공급을 증가시키는 다양한 메커니즘 등이 있다. Starkware는 Token이 기술 개발자를 보상하는 강력한 도구가 되려면 Token 공급이 블록체인 거버넌스의 핵심 요소가 되어야 한다고 믿고 있다.

Stark의 비전 중 하나는 훌륭한 엔지니어를 모아 대규모 자금을 조달하여 연구 개발을 지원하고, 더 크고 다양한 팀을 구성하여 미래에 고객에게 충분한 기술 지원을 제공하는 서비스 제공자가 되는 것이다.

수학 공학 팀 + 제품 마케팅 두 가지 모두 잡기

2018년 말, Starkware는 20명으로 성장했으며, 강력한 수학 및 공학 인재 조합과 유연한 제품 및 마케팅 팀을 보유하고 있다.

동시에, 발전 전략을 더욱 최적화하고, 큰 것에 집중하고 작은 것은 놓아주기로 결정했다. Starkware의 STARKs는 무허가 블록체인의 두 가지 가장 시급한 문제인 확장성과 프라이버시를 깊이 개선할 것이다. Starkware는 비즈니스의 주요 초점을 확장성에 두기로 결정했으며, 프라이버시는 두 번째로 밀려났다.

계산과 저장을 체인 외부로 이동시키고, 체인 외부 서비스를 구축하여 Stark 증명의 계산 완전성을 생성한다. 그런 다음 증명은 다시 체인 상으로 돌아가 검증되며, 대부분의 계산 작업이 체인 외부에서 완료되어 공간을 절약하면서도 계산의 완전성과 신뢰할 수 없는 가정을 유지한다.

요약하자면: 2018년 내내, Starkware의 엔지니어 팀은 제로에서 시작하여 매우 기술적인 소프트웨어 스택을 구축했으며, 검증기와 검증자의 성능 및 증명의 크기를 최소한 한 수치 이상 향상시켰다(그리고 이는 계속 증가하고 있다).

이러한 성과는 Starkware가 최근에 완전한 STARK 증명 시스템을 성공적으로 시연했으며, 이 시스템은 WASM을 통해 브라우저와 스마트폰에서 실행될 수 있다. 투명한 증명 시스템에 대한 혁신적인 의미가 있다.

2018년 여름, Starkware는 이더리움 재단의 지원을 받았다.

2019년 3월: Starkware는 STARK 기술 기반의 결제 확장 엔진인 StarkPay를 출시하여 Lightning 및 L2 결제 솔루션의 많은 단점을 해결했다. Lightning 네트워크는 2016년에 설립되어 비트코인의 규모를 확장하는 것을 목표로 한다. Lightning은 최초의 Layer-2 솔루션 중 하나로, 거래를 체인에서 제거하면서도 블록체인의 보안을 계속 의존하는 방식으로 제안되었다. 이는 결제 규모를 확장할 뿐만 아니라 낮은 지연 시간과 최소 비용으로 이를 실현할 것을 약속한다.

하지만 Lightning에는 몇 가지 단점이 있다. 첫째, 지불자는 결제를 위해 온라인 상태여야 하며, 수취인도 거래를 서명하기 위해 온라인 상태여야 하므로 자본 효율성이 상대적으로 낮다. 운영 보안 또한 도전에 직면해 있다.

StarkPay

StarkPay의 목표는 확장 가능하고 자본 효율적인 비관리형 결제 솔루션을 제공하는 것이다. 반드시 온라인 상태일 필요는 없다(StarkPay aims to offer a scalable capital-efficient non-custodial payment solution, with no liveness requirements.)

Lightning 네트워크와 비교할 때 StarkPay의 장점:

첫째, 확장성이다. StarkPay가 소모하는 계산 자원은 지불자의 수와 지불 횟수에 따라 증가한다. 자본 효율성이 상대적으로 높으며, 결제 처리기와 검증자는 유동성 요구가 없고, 수취인의 잔액 업데이트는 반드시 온라인 상태일 필요가 없다. 입금, 인출 및 결제는 오프라인에서 이루어질 수 있으며, 이후 블록체인/결제 처리기로 전송된다.

하지만 StarkPay에도 데이터 가용성과 같은 몇 가지 명백한 단점이 있다. STARKs의 체인 상 로그 확장에서 진정한 혜택을 얻으려면 데이터가 체인 외부에 저장되어야 하며, 이는 데이터 가용성에 도전 과제를 가져온다. (데이터 가용성의 간단한 설명은 데이터가 손상되는 여러 방법이 있으며, 데이터 제공자가 이러한 손상을 피할 수 있는 정도에 따라 신뢰성이 높아진다는 것이다.)

가능한 미래 방향은 데이터 가용성 증명자를 위한 연합을 형성하는 것이다. 이들은 체인 상 검증자에게 제출되는 특정 증명을 서명하며, 데이터가 체인 외부에서 가용하다는 것을 보장한다. 체인 상 검증자는 이러한 증명이 없는 증명을 수용하지 않을 것이다.

비즈니스 경계를 확장하고 NFT/Gamefi로 진출

2020년, Starkware는 Immutable과 공식적으로 협력한다고 발표했다. Immutable은 ETH 기반의 카드 게임인 Gods Unchained의 창립 팀이다. StarkWare의 확장 엔진인 StarkEx를 블록체인 게임 및 NFT 분야에 도입할 계획이다. STARKs를 사용하여 체인 외 계산의 모든 게임 논리의 완전성을 증명할 예정이다. 이는 Starkware 창립 팀이 게임 및 수집품 분야의 거대한 잠재력을 높이 평가하고 있음을 전략적으로 증명한다.

https://cryptobullsclub.com/gods-unchained-token-sale/

카드 게임 Gods Unchained는 2020년 체인 게임 생태계에서 어느 정도 성공을 거두었으며, 테스트 기간 동안 거의 600만 달러의 수익을 올렸고, 시장 출시 후 24시간 이내에 NFT 순위 1위를 차지했다.

하지만 이더리움에서 초당 4건의 거래의 본래 처리량 한계는 추가 확장을 원하는 모든 애플리케이션을 제한한다. 그러나 NFT의 경우, 처리량 병목 현상은 매우 심각하며, 확장성 부족이 프로젝트 성장의 장애물이 된다.

하지만 StarkEx 솔루션은 Immutable에 ERC-20 및 ERC-721을 지원하며, NFT 거래 및 발행을 지원한다. 또한 StarkEx는 초당 9000건 이상의 비관리형 거래를 제공할 수 있다.

2020년 8월, StarkWare가 개발한 튜링 완전한 생산 수준의 STARK 시스템인 Cairo가 출시되었다.

2020년 12월, 업그레이드 버전인 StarkEx2.0이 신속하게 출시되었으며, 일반적인 Cairo 언어 프레임워크로 전환되어 더 효율적인 코드를 작성하여 복잡하고 비용이 많이 드는 계산을 검증할 수 있게 되었다. 하나의 응용 사례는 많은 개별 Merkle 경로를 검증하는 대신 Merkle 서브 트리를 검증하는 것이다.

StarkEx2.0은 빠른 L1-L2 연결 메커니즘을 갖추고 있어, 체인 상의 StarkEx 사용자가 신속하게 인출하고 다른 L2-L1 상호작용을 할 수 있도록 한다. L2 Validium을 사용하여 프라이버시 거래를 구현한 분산형 거래소 DeversiFi는 이 기능을 사용할 계획이다. 동시에 StarkEx 2.0은 ERC-721을 지원하며, ERC-721 형식의 대체 불가능한 토큰(NFT) 거래를 위한 준비가 되어 있다(곧 대규모 체인 외 발행이 예정되어 있다).

이 기능은 ImmutableX에 유용하며, 미래의 수집품 및 게임 분야의 StarkEx 고객에게 서비스를 제공할 것이다. 계약 인터페이스가 더욱 개선되어, 사용자는 이제 어떤 L2 계좌에 자금을 입금하고 어떤 L1 주소로 인출할 수 있다.

예를 들어, Bob은 Alice의 L2 계좌에 직접 자금을 입금할 수 있다. Alice는 자금을 그녀의 콜드 월렛 이더리움 주소로 직접 인출하거나 Bob의 이더리움 주소로 자금을 보낼 수 있다. 이외에도 사용자는 이제 어떤 주소(즉, 운영자 본인)를 통해 StarkEx에 등록할 수 있으며, 이는 애플리케이션이 사용자 온보딩 과정에서 등록 단계를 제거할 수 있도록 하여 사용자가 직접 L2에 등록할 수 있게 한다. 마찰이 적고 전환 효과가 더 좋다.

StarkEx2.0은 또한 스마트 계약 키 복구를 지원하며, 즉 사용자의 각 이더리움 주소는 이제 여러 L2 계좌를 가질 수 있으며, 스마트 계약 지갑이 키를 복구할 수 있도록 하며, 거래자가 자금을 체인 외부의 다양한 계좌에 보관할 수 있도록 허용한다.

2020년 12월, Cairo 도구 체인이 출시되었으며, 여기에는 컴파일러, Cairo 가상 머신, Tracer 코드 디버거, 통합 개발 환경 확장 등이 포함되어 있다. 예를 들어, Vim 및 Visual Studio Code 확장은 Cairo에 대한 구문 강조를 제공하며, Cairo를 출시함으로써 개발자 커뮤니티 구축을 시작했다.

2021년 1월, 이전의 기초를 바탕으로 StarkNet의 공식 구축을 시작했다. StarkNet은 이더리움에서 STARK 기반의 분산형 L2 ZK-Rollup으로, 이더리움에서의 계산을 지원한다. 이는 튜링 완전성을 갖춘 Cairo를 기반으로 한다.

위의 그림에서 개발자, 사용자 및 StarkNet 노드는 StarkNet에서 자신의 비즈니스 논리를 구현하는 애플리케이션을 구축하고 배포할 수 있으며, 사용자는 StarkNet에 거래를 전송할 수 있다. 이는 그들이 오늘날 이더리움과 상호작용하는 것과 같다. StarkNet 노드와 참여자는 암호 경제 모델에 의해 보상받아 네트워크가 효율적이고 공정하게 운영되도록 보장한다.

모든 StarkNet 거래는 정기적으로 배치 처리되며, 그 유효성은 STARK 증명에서 증명되며, 이더리움에서 검증된다. 검증된 계산과 비교하여 STARK 증명을 검증하는 데 필요한 계산 작업량은 기하급수적으로 증가하므로 StarkNet은 이더리움을 수치적으로 확장할 것이다.

모든 StarkNet 상태 전환은 STARK 검증을 거치므로 이더리움에서는 유효한 상태 전환만 수용된다. 완전한 StarkNet 상태를 재구성하는 데 필요한 모든 데이터는 체인 상에 게시된다. 누구나 자신의 StarkNet 노드를 운영할 수 있다. 이러한 속성은 StarkNet을 이더리움처럼 안전하고 허가 없는 시스템으로 만든다.

StarkWare의 작업 방식은 먼저 문제를 해결하고 핵심 기술을 구축한 다음, 점진적으로 이를 생산 개발 환경에 적용하는 것이다.

2021년 4월, 이더리움 L2 기반의 AMM 설계를 제안했으며, 유동성은 L1에 유지되고 사용자는 L2에서 거래를 수행한다(dAMM is an L2-powered AMM. It allows liquidity to be bridged on L2 while remaining unfragmented, on L1.) (AMM은 자동 시장 제조자(Automated Market Maker)로, 주문서가 필요 없으며, 사용자가 거래 쌍을 구성하고 프로젝트에 추가할 때 거래 쌍을 제공하는 사람을 "유동성 제공자"라고 한다.)

2021년 4월, dYdX 팀과 몇 달 간의 긴밀한 협력 끝에 Starkware는 dYdX의 영구 계약 거래 플랫폼을 Starkware의 L2 확장 엔진인 StarkEx에서 실행하도록 이식했다. 같은 달, 이전에 Immutable X와의 협력을 발표한 후, StarkEx가 지원하는 Immutable X는 이제 이더리움 메인넷에서 NFT 발행 및 대규모 거래를 공식적으로 제공한다.

2021년 7월, StarkEx3.0이 공식 출시되었다. 이더리움 스마트 계약은 처음으로 StarkEx에서 자산의 소유자가 될 수 있으며, L1 Vaults를 통해 L2 사용자와 이러한 자산을 거래할 수 있다. 이는 StarkEx(L2) 사용자에게 L1의 외부 논리(및 유동성)와 상호작용할 수 있는 저비용 메커니즘을 제공한다. 비슷한 시기에 StarkNet Alpha 1도 출시되었으며, 주요 특징은 L1과 L2의 상호작용 및 체인 상 데이터 저장이다.

2021년 11월, StarkWare C 라운드 자금 조달이 이루어졌으며, 이 시점에서 StarkWare는 이미 수익을 내고 있으며, 자금 조달은 팀을 계속 확장하고 생태계를 발전시키기 위한 것이다.

2021년 12월, StarkNet은 메인넷에서 StarkNet Alpha를 공식 출시했다. 이전 2021년 여름, StarkWare는 공공 테스트넷에서 StarkNet Alpha를 출시했다. 이 버전은 완전히 허가 없는 일반 계산 스마트 계약을 지원한다. 이후 StarkWare는 두 번의 업그레이드를 진행했다: 첫 번째 업그레이드는 Alpha 1로, L1<>L2 메시징 및 체인 상 데이터 가용성 서비스를 제공하며, 이후 Alpha 2로 업그레이드하여 조합 가능성을 지원한다.

2021년 2월, StarkNET.JS 라이브러리의 다운로드 수는 6.9K에 달했다.

StarkNet Alpha는 6월에 공공 테스트넷에 출시되었고, 11월에 메인넷에 출시되었다. 메인넷 배포 시, StarkNet은 이더리움과 유사한 상태에서 일반 계산을 제공하며, 전체 기술 개발 로드맵의 속도가 상대적으로 빠르다.

투자 기관의 관점

Multichain Capital은 Starkware에 대한 투자에 참여했으며, 투자자는 이더리움 네트워크를 사용하는 사용자와 개발자가 증가함에 따라 벤처 캐피탈이 인프라 스타트업에 더 많은 자금을 투입하기 시작했다고 보고하고 있다. 이는 이더리움의 확장성을 강화하여 더 많은 사용자와 거래 규모를 증가시키기 위한 것이다.

세쿼이아 캐피탈은 2018년 StarkWare에 투자했으며, 이는 세쿼이아가 비교적 초기부터 진행한 투자 중 하나이다. 뉴스 보도에 따르면, 2021년 세쿼이아는 약 4분의 1의 투자를 암호화 스타트업에 투입했다.

기타 평가

StarkWare가 직면할 수 있는 잠재적 문제

ZKP(제로 지식 증명)에 관심이 있는 사람들에게는 업계에서 공감대가 형성되어 있다. 수학 공학의 복잡성으로 인해 STARKs가 상업화되기까지는 시간이 걸릴 것이라는 것이다. 역사적 경험에 따르면, 공개 키 암호학과 STARKs의 발전은 상업화되기까지 수년이 걸렸다.

창업 경로

StarkWare의 전체 비즈니스 경로를 살펴보면, 창립 팀의 사고가 비교적 명확하다. 가장 중요한 기능에 집중하고, 테스트가 가능해지면 즉시 출시하며, 전체 커뮤니티와 반복 과정을 공유한다.

비록 StarkNet이 처음 출시될 때 기능이 완전하지는 않았지만, 지속적인 반복을 통해 개발자는 의미 있고 복잡한 애플리케이션을 구축할 수 있게 되었다. 2022년 2월 기준으로 수백 명의 개발자가 StarkNet에서 수십 개의 dApp을 구축했으며, 여러 팀이 StarkNet 생태계를 위한 도구와 인프라를 개발하고 있다.

개발자 커뮤니티 구축을 중시하며, 개발자 커뮤니티는 StarkNet에 대한 지속적인 피드백을 제공한다. 이후, 사용 가능성의 기본 조건을 충족한 후, 전략적 초점은 시스템 성능 향상으로 이동했다.

이후 Starkware는 StarkNet의 시퀀서 및 검증 소프트웨어를 대중에게 더욱 개방할 준비를 하고 있다. 모든 사람이 StarkNet의 시퀀서 또는 증명자로 참여할 수 있다.

팀의 창업에 대한 태도는 개방적인 마음가짐을 유지하고 지속적으로 개선하며, 커뮤니티의 목소리를 경청하는 것이다. 비전은 모두와 함께 Crypto 확장 솔루션의 미래를 형성하는 것이다.

Layer 2의 미래에 대해 어떻게 생각하는가?