StarkWare가 바라보는 레이어2
金色财经主최의 「세계 중심에서 Web3를 외치다」 행사에서 「StarkWare가 바라보는 레이어2」를 주제로 한 AMA 세션이 진행되었으며, 게스트로 엘리 벤-사순(Eli Ben-Sasson)이 출연했다.
진행자: Eli 교수님 안녕하세요. 이전에 이스라엘 공과대학 교수로서 프린스턴 고등연구소, 하버드, MIT 등 유수한 학술기관에서 과학 연구를 해오셨는데, 어떤 계기로 학계를 떠나 암호화 산업으로 창업을 결심하셨나요?
Eli: 간단히 말해, 제 연구를 통해 제가 개발한 일련의 도구들이 중대한 영향을 미칠 수 있고 인류에게 진정한 도움이 될 수 있다는 것을 깨달았습니다. 그런데 그 기술을 실제로 개발하고 실세계에 적용하려는 사람은 아무도 없었습니다. 저는 그 기술이 실용적이라고 굳게 믿었고, 실제로 그것이 실천되고 있는 모습을 보고 싶었습니다. 만약 자신이 진심으로 믿는 발명품이 있다면, 그게 실제로 활용되어 세상에 긍정적인 영향을 미바기를 원할 것입니다. 우리는 학문 연구라는 틀 안에서도 그 발명을 발전시킬 수 있지만, 때때로 더 큰 팀을 구성하고 더 많은 자금을 확보하기 위해 더욱 적극적으로 나아가야 하는데, 이런 일들은 학계에서는 잘 이루어지지 않습니다.
2018년 무렵 기술이 어느 정도 성숙해졌고, 저는 그 이전에 zCash에도 참여했었기에, 또 다른 공동창립자인 에리산도 키흐르차 에런(Eliyahu (Elichai) Kirschenbaum) 교수와 함께 블록체인 세계에서 Vitalik Buterin 같은 주요 인물들과 접촉하게 되었고, 그들은 우리 기술에 매우 큰 관심을 보였습니다. 그래서 저희 시드 펀딩 라운드는 매우 빠르게 진행되었고, 초기 시드 투자자로 비탈릭 부테린(Vitalik Buterin)을 포함하여 많은 투자자들이 프로젝트에 강력한 지지를 보내주었습니다. 따라서 우리는 자금을 조달하고 팀을 구성할 수 있다는 점을 확인했습니다. Starkware 초창기 멤버들 대부분은 블록체인과 병렬 컴퓨팅 연구에 대한 열정을 가지고 있었기 때문에, 우리는 자금 확보와 강력한 팀 구성의 가능성을 보았고, 이들이 진심으로 Starkware를 현실로 만들고, 블록체인의 확장성과 프라이버시 발전을 최선의 방법으로 지원하고자 하는 열의를 갖고 있었습니다. 그래서 우리가 이를 설립하게 된 이유입니다.
진행자: StarkWare와 그 산하 제품들인 StarkEx, StarkNet, Cairo에 대해 간략히 소개해주실 수 있나요?
Eli: 먼저 StarkEx, StarkNet, Cairo에 대해 설명드리겠습니다. 하지만 그 전에 저희의 핵심 기술이 무엇인지부터 말씀드리겠습니다. 여러분이 언급하신 StarkEx, StarkNet, Cairo는 모두 ‘STARK’라는 기술을 중심으로 구축된 프로젝트들입니다. 그렇다면 STARK란 무엇일까요? STARK는 수학을 통해 무결성을 제공하는 기술입니다. 즉, 누군가 감시하지 않더라도 올바른 일을 수행하도록 보장하는 것입니다. 우리는 우리의 자금 관련 연산이나 의료 정보, 법의학 및 개인 데이터처럼 중요한 정보가 처리될 때 그것이 정확하게 처리되기를 바랍니다. 즉, 누군가 올바른 일을 하고 있기를 바랍니다. 제가 직접 보지 못하거나, 다른 누군가가 제 돈을 훔쳐가거나 악용하려 할지라도 말입니다. 그러므로 우리는 진정한 신뢰성을 원합니다. 우리가 익히 아는 은행이나 정부의 전통적인 세계에서는 기본적으로 중앙 집중식 기관을 신뢰해야만 무결성을 유지할 수 있습니다. 저는 정부가 제 의료 데이터를 정직하게 다룰 것이라 믿어야 합니다. 은행이 제 재무 데이터를 사실대로 처리할 것이라 믿어야 하며, 다른 선택지는 없습니다. 그러나 지금의 블록체인은 매우 다르게 작동합니다. 블록체인은 투명성, 포용성, 그리고 디지털 방식을 통해 무결성을 제공합니다. 블록체인은 이렇게 말합니다. “모두를 초대하고, 각자의 노트북을 인터넷에 연결하세요.” 그리고 시스템의 모든 변화를 기록하며, 기본적으로 모든 거래가 정상적인지 확인합니다. 그러나 바로 이 때문에 블록체인은 규모 확장에 한계가 있습니다. 왜냐하면 저의 성능이 낮은 노트북도 전 세계의 모든 거래를 검증해야 하기 때문입니다. 알리페이나 위챗페이를 생각해보세요. 제 노트북이 그런 방대한 거래량을 모두 검증한다는 것은 정말 믿기 어려운 일입니다. 따라서 블록체인은 명백한 규모 문제를 안고 있습니다. 그래서 우리는 어디서 시작했을까요? 우리는 수학을 통해 무결성을 제공하는 일련의 수학적 도구를 발명했습니다. 즉, 방대한 계산이 올바르다는 명확한 증명(Proof)을 검증함으로써 그 계산이 올바르다는 것을 알 수 있습니다. 우리가 그것을 올바르다고 아는 이유는 다른 측을 믿기 때문이 아니라, 수학 자체가 이러한 무결성을 보장할 수 있다는 것이 증명되었기 때문입니다. 이제 우리는 이 기술을 통해 블록체인이 모든 계산과 번거로운 작업을 직접 수행하는 대신, 검증자 역할을 하도록 할 수 있습니다. 즉, 증명을 철저히 검사하는 것입니다. 증명이 통과되면, 블록체인은 해당 거래들이 모두 무결하게 처리되었다는 것을 알게 됩니다. 이것이 바로 STARK라는 핵심 기술이며, 타측을 신뢰하는 것이 아니라 수학을 신뢰함으로써 지수적으로 높은 무결성을 얻게 해줍니다. 다음으로 StarkEx, StarkNet, Cairo에 대해 설명하겠습니다. ● StarkEx는 StarkWare가 코드를 작성하여 고객 한 명당 하나씩 운영하는 시스템입니다. 예를 들어, dYdX는 NFT를 처리하는 Immutable X용 StarkEx 시스템을 사용하고 있으며, YDX 거래를 위한 UM 전용 스타크 시스템도 존재합니다. 각각은 서로 다른 시스템이며, 극히 드물게 Immutable X를 분할하거나 다양한 기능들을 추가하고 있습니다. 이 과정에서 해당 기술을 사용할 때 우리는 기본적으로 수많은 거래(예: 결제)를 처리하고, 블록체인에 매우 짧은 STARK 증명을 제출하여 그 거래들의 유효성을 입증합니다. 그러면 블록체인은 어떠한 신뢰 가정 없이도 블록체인 자체의 모든 무결성과 보안성을 그대로 얻게 됩니다. 이것이 바로 StarkEx입니다. ● StarkNet는 이더리움과 같습니다. 누구나 사용할 수 있는 오픈 플랫폼으로, 개발자가 스마트 계약을 작성하고 배포할 수 있습니다. 개발자를 위한 플랫폼이므로, 개발자는 네트워크를 시작하고 실행시키기 위해 UMEther를 배포하고 전송할 수 있습니다. 시간이 지남에 따라 우리는 개발자가 StarkNet에서 더 쉽게 개발하고 배포할 수 있도록 점점 더 많은 도구를 제공하고 있으며, 성능과 처리량을 향상시키고 있습니다. 개발자에게 최고의 경험을 제공하는 것이 목표입니다. 현재 우리는 프로덕션 레벨 준비를 하고 있으며, 이는 속도를 높이고 생산량을 늘리는 것을 의미합니다. 우리의 다음 목표는 eTPS를 달성하는 것으로, 이는 적어도 이더리움 처리량의 10배 이상, 비용은 이더리움보다 최소 10배 이상 저렴하게 만드는 것입니다. 이것이 우리가 노력하고 있는 목표이며, 동시에 탈중앙화에도 착수하고 있습니다. 마지막으로, Cairo란 무엇일까요? 청문회에서 특정 언어를 사용해 자신의 주장을 작성하듯, Cairo는 스마트 계약을 작성하는 데 사용되는 가장 신뢰할 수 있는 언어입니다.
진행자: 현재 L2 확장 기술에는 Optimistic Rollup, ZK Rollup, Plasma, 사이드체인 등이 있는데, 업계 전반적으로 ZK Rollup을 가장 유망하게 보고 있습니다. 교수님께서는 어떻게 생각하시나요? 또한 StarkWare의 ZK Rollup 기술은 다른 ZK Rollup과 비교해 어떤 차별점이 있나요?
Eli: 일반적으로 사람들은 Optimistic과 Arbitrum을 언급합니다. 반면 유효성 롤업(Validity Rollup), 즉 때때로 ZK 롤업이라 불리는 기술에는 StarkNet과 Cairo가 있습니다. 우리의 롤업은 사실상 현재 유일하게 상용화되어 실제 약속된 보안 기술을 사용하고 있는 롤업입니다. 설명드리겠습니다. Optimistic은 사기 증명(Fraud Proof)을 제공하지 않습니다. 사기 증명은 그들의 보안을 보장하는 핵심 메커니즘이지만, Arbitrum에서는 아직 활성화되지 않았으며, 누구나 사기 증명을 주장할 수 있는 것도 아닙니다. 일부 제한된 사용자만 접근할 수 있습니다. 테스트넷은 제시되었지만, ZK 증명은 없습니다. 현재 유일하게 본질적으로 보안성을 갖춘 기술을 먼저 제공하고 있는 L2는 바로 저희입니다. 이것이 우리가 진정으로 자부심을 느끼는 부분이며, 경쟁에서 두각을 나타내는 지점이기도 합니다. 참고로 현재 우리는 시장의 중대한 동요를 겪고 있으며, 모든 보안 메커니즘과 기술이 제대로 작동하는 것이 얼마나 중요한지 다시 한번 확인하고 있습니다. 우리는 단지 핵심 기술을 개방한 것뿐만 아니라, 미래를 입증할 수 있는 가장 강력한 기술을 보유하고 있습니다.
진행자: 현재 다양한 L2 제품들 중에서도 dYdX, Immutable X, DeversiFi, Sorare 등 많은 프로젝트들이 StarkEx를 기반으로 하고 있습니다. 그들이 StarkEx를 선택한 이유는 무엇이라고 생각하시나요?
Eli: 답은 아주 간단합니다. 앞선 질문의 답변과 관련이 있습니다. 매우 진지하고 성공적인 팀들이 견고한 기반 위에 무언가를 구축하고자 할 때, 시장의 파도를 견딜 수 있고 사용자가 요구하는 보안성을 갖춘 기술을 찾게 됩니다. 과거든 현재든 그러한 목표를 달성할 수 있는 유일한 기술은 바로 저희의 기술뿐이었습니다.
진행자: L2 관련 기술과 제품이 많다 보니, 조합성(컴포저빌리티, composability)의 장점을 충분히 발휘하기 어렵습니다. 현재 L2에서 조합성에 직면한 가장 큰 도전은 무엇이며, 가능한 해결책은 무엇이라고 보시나요?
Eli: 가장 큰 도전은 개발자가 사용할 수 있는 수준의 도구를 제공하는 것입니다. 즉, 개발자들은 이더리움에서 개발하는 데 익숙해져 있기 때문입니다. 하지만 우리는 이 분야에서 매우 빠르게 진전을 이루고 있습니다. 수십 개의 팀이 도구 제공을 위해 놀라운 생태계를 형성하고 있습니다. 개발자로서 빠르게 성장하는 생태계를 찾고 있다면, 반드시 StackNet을 살펴보셔야 합니다. 이더리움에서는 조합성이 자연스럽게 제공되며, 레이어2에서도 조합성을 가지면 이를 무료로 얻을 수 있습니다. 또 다른 해결책은 레이어1을 이용해 서로 다른 레이어를 연결하는 것입니다. 세 번째 해결책은, 유효성 롤업(Validity Rollup)에서는 실제로 매우 빠른 조합성이 가능하다는 점입니다. 왜냐하면 한 시스템에서 다른 시스템에서 발생한 일이 무결하다는 것을 증명할 수 있기 때문입니다. 이후 다른 사람들도 이러한 방식을 활용하게 되었고, 이는 오직 유효성 롤업에서만 가능한 일인데, 우리가 발명한 '브릿지 레이어(Bridging Layer)' 개념을 통해 가능해졌습니다. 즉, 이를 제3 레이어로 작동시킬 수 있는 것입니다. 서로 소통하고자 할 때 이 계층을 통해 서로 연결시켜 대화하게 할 수 있습니다. 마치 두 사람이 뒤에 있는 제3자를 통해 대화하는 것과 같습니다. 이것은 StarkWare가 발명한 또 하나의 새로운 기술이며, 우리는 이것이 결국 StarkNet의 표준이 되리라 믿고 기대하고 있습니다.
진행자: Eli 교수님의 소중한 말씀 감사드립니다. 이번 AMA의 협력 미디어인 Defi之道, Foresight News, Chain Catcher, MarsBit News, Planet Daily, Panews, TechFlow, 0x499 커뮤니티에도 감사드립니다.
본문은 일부 편집되었으며, 전체 내용은 트위터 스페이스 라이브 다시보기에서 확인하실 수 있습니다.
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
