YBB Capital:미친 멀티 체인 우주, 미친 OP 스택
저자: YBB Capital Researcher Ac-Core
서론
ETH의 주요 서사 방향은 Layer1에서 Layer2로 전환되었습니다. 만약 여전히 "원클릭 발행"의 ERC-20 서사로 이해한다면, 우리는 시야를 넓혀 상상해보아야 합니다. "원클릭 발행 체인"의 광란이 곧 다가올 것입니다! 현재 누구도 따라올 수 없는 생태계와 높은 TVL에 의존하여 Arbitrum은 Layer2 간의 전쟁을 이끌어왔습니다. 그러나 이 일시적인 승리가 얼마나 오래 지속될 수 있을까요? Arbitrum Orbit보다 한 단계 위의 Layer3 솔루션과는 달리, OP Stack은 원클릭으로 Layer2를 생성할 수 있는 "슈퍼 체인"입니다. 본 내용은 OP Stack 구조, OP 내의 ZK 요소, Rollup의 안전성 문제 이 세 부분을 중심으로 종합적으로 분석하겠습니다.
OP Stack이 여는 "슈퍼 체인 우주"
YBB Capital Researcher Ac-Core 제작
다음 상승장의 서사는 어디서 시작될까요? 고성능 Layer1에서 시작할까요, 계속 쌓아올린 Layer3에서, ZK 계열의 Layer2에서, 아니면 OP Stack의 슈퍼 체인에서 시작할까요? 이는 매우 흥미롭고 깊이 생각해볼 만한 질문입니다. 이더리움이 자멸하지 않는 한, 다음 상승장에서 이더리움 킬러라는 칭호는 여전히 모든 공공 블록체인이 넘볼 수 없는 궁극적인 목표가 될 것입니다. 그리고 이 거대한 거인 안에는 무시할 수 없는 많은 슈퍼 코어가 숨겨져 있습니다. 그 중 하나가 바로 OP Stack입니다.
OP Stack이란 무엇인가?
OP Stack은 누구나 Optimistic rollups를 사용하여 이더리움 위에 자신의 Layer2 블록체인을 구축할 수 있도록 하는 오픈 소스 소프트웨어 구성 요소의 집합으로 이해할 수 있습니다. 이는 대부분의 계산과 저장을 체인 외부로 이동시키고, 이더리움을 안전성과 최종성을 보장하는 데 의존합니다. 기술적 측면에서 Optimism은 사용자에게 많은 체인 상 비용을 절감해주는 점에서 주로 나타납니다. OP Stack은 네 가지 주요 구성 요소로 구성됩니다:
- 메인넷: OP Mainnet은 저렴하고 빠른 이더리움 Layer2 네트워크로, 이더리움 가상 머신 EVM과 호환됩니다;
- 계약: OP Stack의 핵심 논리와 기능을 구현하는 스마트 계약입니다. OP 계약에는 상태 전환 시스템(STS), 사기 증명자(FP), 상태 약속 체인(SCC) 및 규범 거래 체인(CTC)이 포함됩니다;
- 서비스: Layer1과 Layer2 간의 데이터 가용성, 데이터 동기화 및 통신 서비스를 제공합니다;
- 도구: OP Stack 기반 블록체인의 개발, 테스트, 배포, 모니터링 및 디버깅을 촉진합니다.
강력한 개방성:
OP Stack은 포크 가능한 모듈화 확장 블록체인의 인프라로 구축될 것입니다. 이 비전을 실현하기 위해 다양한 Layer2를 단일 슈퍼 체인(Superchain)으로 통합하고, 원래 서로 고립된 Layer2를 상호 운용성과 조합성을 갖춘 시스템으로 통합합니다. Layer2를 시작하는 것은 오늘날 이더리움에 스마트 계약을 배포하는 것처럼 간단하게 만들어, 서사가 "원클릭 발행"에서 "원클릭 발행 체인"으로 변화하게 됩니다. 본질적으로 슈퍼 체인은 수평으로 확장 가능한 블록체인 네트워크로, 각 체인 간에 이더리움의 안전성, 통신 계층 및 개발 키트를 공유합니다. YBB Capital Researcher Ac-Core 제작
OP Stack(Over Powered Stack)은 슈퍼 체인 뒤에 있는 통합된 모듈화 개발 스택이 될 것이며, 이들 간에는 수많은 상호 연결 가능하고 통신할 수 있는 블록체인이 존재합니다. OP Stack 스택은 전담 Optimism Collective가 전체 개발 및 유지 관리를 담당하며, 새로운 집합 네트워크 배포를 위한 공유 오픈 소스 시스템을 지원합니다. 동시에 이는 표준화된 오픈 소스 모듈이기도 합니다. 이렇게 들으면 이는 완전히 이더리움의 안전성에 기반한 Cosmos가 아닐까요! 처음에 ETH와 ATOM이 서로 보완한다고 했던 것이, 이제 OP Stack이 Cosmos 킬러가 되었나요? 이제 OP Stack의 정의를 분해해 보겠습니다:
모듈은 모든 개발자가 OP Stack에 삽입할 수 있는 데이터 비트입니다. 그리고 이 슈퍼 체인의 "표준화"는 모듈에 대한 표준에 대한 합의가 있음을 의미하며, 이는 모든 사람이 구현할 수 있습니다. 또한 완전 오픈 소스라는 것은 누구나 무료로 개발, 반복 및 메시지 요청을 할 수 있음을 의미합니다. 개발자는 하나의 체인의 다양한 실행 계층, 합의 계층, 정산 계층 및 데이터 가용성 계층에서 모듈을 전환할 수 있는 능력을 갖추게 됩니다.
예를 들어 dYdX가 이더리움을 떠나 Cosmos 애플리케이션 체인으로 전환한 근본적인 이유는 그들이 자신의 체인에서 합의 계층의 더 큰 모듈화를 원했기 때문입니다. 이는 더 많은 독립적인 Dapp이 자신에게 더 적합한 공공 블록체인을 선택하여 개발할 수 있도록 하는 좋은 시작이라고 생각합니다. 가장 대표적인 예는 Luna입니다. 비록 몇 가지 이유로 인해 파괴되었지만 말이죠. 다행히도 OP Stack은 이 문제를 해결했습니다. 그 설계는 더 쉽게 코드 포크를 수행할 수 있도록 하여 개발자가 블록체인의 다양한 구성 요소를 쉽게 추상화하고, 다양한 모듈을 삽입하여 이를 수정할 수 있게 합니다.
OP Stack 설계 원칙:
- 효율성: OP Stack을 사용하여 무엇이든 구축하고 원클릭으로 블록체인을 발행할 수 있습니다;
- 간결성: 재사용 가능한 코드와 기존 개발 키트를 활용하여 보안을 강화하고 유지 관리의 복잡성을 줄여 전체적으로 진입 장벽을 낮추는 효과를 얻습니다;
- 확장성: Optimism Collective는 OP Stack의 주요 코드를 완전 오픈 소스로 공개할 것입니다.
구조적으로 OP Stack은 아래에서 위로 여섯 개의 계층으로 나눌 수 있습니다. 각각 DA Layer 데이터 가용성 계층, Sequencing Layer 정렬 계층, Derivation Layer 파생 계층, Execution Layer 실행 계층, Settlement Layer 정산 계층, Governance Layer 거버넌스 계층입니다. OP Stack의 각 계층은 모듈화된 API 구성 요소로, 자유롭게 조합하고 분리할 수 있습니다. 그 중 가장 중요한 것은 DA 데이터 가용성 계층, 실행 계층 및 정산 계층으로, 이 세 가지가 OP Stack의 주요 작업 흐름을 구성합니다.
- DA 데이터 가용성 계층: OP Stack의 원시 데이터 출처로, 단일 또는 여러 데이터 가용성 모듈을 사용하여 입력 데이터를 가져올 수 있습니다. 현재 이더리움이 가장 주요한 DA 계층이지만, 미래에는 더 많은 체인이 추가될 것입니다;
- 실행 계층: OP Stack 내의 상태 구조로, EVM 또는 다른 VM에 가능성을 제공하며, 이더리움에서 시작된 Layer2 거래에 대한 지원을 증가시키고, 각 거래에 추가적인 Layer1 데이터 비용을 추가하여 이더리움에 거래를 게시하는 종합 비용을 증가시킵니다;
- 정산 계층: OP Stack의 Layer2 거래 데이터가 위치하는 곳으로, Layer2가 확인된 후 정보를 목표 블록체인으로 전송하여 최종 정산을 수행합니다. 미래에는 ZK와 같은 유효성 증명 메커니즘을 접목하여 서로 다른 체인 간의 격차를 해소하고, 심지어 OP 계열 Layer2와 ZK 계열 Layer2 간의 고립된 섬을 연결할 수 있을 것으로 기대됩니다.
최근 OP 생태계에서 ZK 요소를 포함한 몇 가지 프로젝트가 발전하고 있는 것을 관찰했습니다. 대담하게 상상해보면, 어떤 Optimistic rollup이 자신을 ZK rollup으로 변환하고 싶다면, 문제 없습니다! 단지 사기 증명 모듈을 정산 계층의 유효성 증명 모듈로 교체하면 됩니다. 만약 어떤 체인이 Celestia를 데이터 가용성 계층으로 사용하고 싶다면, 문제 없습니다! 이더리움을 Celestia로 교체하면 됩니다. 실행 계층의 EVM을 다른 가상 머신으로 교체하고 싶다면, 아쉽게도 이는 OP Stack의 기술적 가능성에 불과합니다. 이러한 슈퍼 체인 상황의 출현으로 인해 하나의 유행어가 탄생했습니다------"Polygon: 나는 ZK Layer2의 Cosmos가 되고 싶어! Optimism: 나는 OP Layer2의 Cosmos가 되고 싶어! Cosmos: 그럼 나는 누구인가?"
OP Stack 법칙:
YBB Capital Researcher Ac-Core 제작
이더리움의 무한 블록 공간은 대규모 애플리케이션을 실현하는 중요한 첫 걸음이지만, 이러한 확산은 분열을 가져왔고, 무권한 배포는 새로운 도전에 직면했습니다. 현재 모든 새로운 OP Stack 체인은 자신의 분야에서 독립적으로 성장하고 있으며, 공유 표준과 개선의 직접적인 방법이 없습니다. 사용자와 구축자도 막대한 도전에 직면해 있습니다: 안전성, 품질 및 중립성에 따라 수많은 서로 다른 체인을 개별적으로 평가해야 합니다. 슈퍼 체인을 실현하기 위해 OP Stack을 독립적이고 분산된 블록 공간에서 통합된 체인 집단으로 전환해야 하며, 개방적이고 탈중앙화된 블록 공간을 공동으로 지향해야 합니다. "체인 법칙"은 낙관적 거버넌스와 슈퍼 체인을 위한 지침 원칙을 설정합니다. 낙관적 거버넌스는 단일 체인을 관리하는 것에서 여러 체인이 공유하는 표준을 관리하는 것으로 전환되어, 슈퍼 체인의 일부가 되기 위해 필요한 속성을 정의하고, 슈퍼 체인에서 거래를 수행하는 사용자를 우선적으로 보호합니다. 본질적으로 "체인 법칙"은 사회 계약(법적 계약이 아님)이며, 따라서 적극적인 커뮤니티 논의가 매우 중요합니다. 그 존재는 슈퍼 체인이 다음과 같은 특성을 보장할 수 있게 합니다:
- 블록 공간이 동질적이고 중립적이며 개방적으로 유지되도록 보장: 체인 법칙에 대한 약속은 체인의 사용자, 개발자 및 기타 이해관계자를 보호하겠다는 약속입니다. 크고 작은 체인 모두 슈퍼 체인의 일부라면, 낙관적 거버넌스의 지원을 받아 블록 공간의 동질성, 중립성 및 개방성을 신뢰할 수 있게 증명할 수 있습니다;
- 지속적인 개선의 혜택: 공유 업그레이드는 슈퍼 체인이 항상 최고의 기술을 얻을 수 있도록 하며, 스스로 유지 관리에 대한 걱정이 필요 없습니다;
- 더 나은 가용한 인프라 제공: 슈퍼 체인 내의 모든 체인이 신뢰할 수 있는 표준에 헌신하므로, 이들은 공동으로 노력하여 인덱싱 및 정렬과 같은 핵심 서비스의 가용성과 경제성을 보장할 수 있습니다.
생각해볼 문제:
OP Stack이 OP에 반영될 수 있을까요?
OP Token의 용도는 무엇일까요? 만약 Basechain 방식으로 진행된다면, 그들은 수익의 일부를 Optimism Collective에 반영할 것입니다. 그러면 "국고"의 수익원은 자체의 "가치"에 의존하게 되며, 더 많은 서사를 창출하여 궁극적으로 가격에 피드백을 줄 것입니다. 이는 OP가 2차 시장에서의 성과 논리가 ATOM과 유사하게 될 것입니다. 그러나 이러한 방안은 현재 최적의 방안일 수 있으며, 더 많은 체인이 Basechain 방식을 모방하여 반영하게 된다면, Optimism Collective는 결국 혜택을 받을 것입니다. 이러한 느낌은 우리에게 UNI를 떠올리게 하지 않나요? 두 프로젝트 모두 강력한 실력을 갖추고 있지만, Token 자체는 투표와 거버넌스 외에는 다른 가치 용도가 없습니다. 이와는 달리 현재 Layer2는 중앙화된 정렬자 문제에 직면해 있습니다. Layer2 토큰이 특정 형태의 리더 선택(합의 투표가 아님)만을 위해 사용되더라도, 정렬 권한의 가치는 Rullop 토큰에 누적될 것입니다.
동시에 OP 팀은 7월 25일에 Law of Chain 제안을 발표했습니다. 모든 OP Stack을 사용하는 체인은 공유 거버넌스 모델과 정렬자를 시작하여 "이익 반영" 모델을 규범화하고, 전체 OP 계열에 더 많은 수익을 가져오기를 희망합니다(위의 OP Stack 법칙과 같이). 이는 Cosmos의 공유 안전 모델과 비교할 때, 유사한 점이 있습니다.
OP Stack과 ZK Stack의 차이점:
OP Stack: 다중 체인 단일 선택
위의 내용을 통해 OP Stack이 Cosmos와 유사한 다중 체인 모델을 채택하고 있지만, 선택 측면에서는 하나뿐이라는 것을 쉽게 알 수 있습니다. OP Stack은 각 체인이 다른 체인의 거래를 검증해야 하며, 그렇지 않으면 Layer1에서 며칠을 기다려야 결과를 얻을 수 있습니다. 따라서 단일하고 공유된 정렬자, 중앙 집중식 MEV 분배 및 법적 보호는 Optimistic rollups가 서로 다른 체인 간에 원활한 상호 운용성을 실현할 수 있는 유일한 가능성입니다.
ZK Stack: 다중 체인 다중 선택
OP Stack과는 달리 ZK Stack은 여러 체인을 가질 수 있지만, 다양한 선택이 가능합니다. 자신의 정렬자를 선택하고, 자신만의 방식으로 MEV를 처리할 수 있으며, 수학과 코드의 보호를 받습니다(참고: OP Stack은 법적 보호를 받습니다). 이는 ZK가 지정된 공유 또는 극소수의 스레드 집합을 채택할 경우, 서로 간에 수학적으로 맹목적으로 신뢰할 수 있게 되어, 제로 지식 증명이 가치를 잃게 됩니다.
OP Stack 내의 ZK 요소
YBB Capital Researcher Ac-Core 제작
OP Stack이 완전히 개방된 아키텍처이기 때문에 zkvm, zkmips, zkwasm, zkevm이 생겨날 수 있게 되었습니다. 그러나 "정통 ZK"와 비교할 때, OP Stack 내에서는 단지 약간 다른 ZK 요소가 생성되었습니다. 이는 우리가 불가피하게 떠올리게 합니다. 아마도 가까운 미래에 OP rollup과 ZK rollup의 환상적인 연동이 나타날 수 있을 것입니다.
OP에 대한 제로 지식 증명(ZKP) 구현:
최신 진행 상황에 따르면, Mina의 배후 팀은 그들의 plonk 시스템 + kzg 약속 + folding 알고리즘 nova를 사용하여 OP Stack에서 zkmips vm을 구현할 계획입니다. 비록 이것은 최신 제안일 뿐이며 많은 미성숙한 부분이 있을 수 있지만, 탐색할 가치가 있는 매우 흥미로운 것입니다. 해당 프로젝트 팀의 사명은 Layer2와 Layer1 및 OP 각 체인 간의 안전하고 낮은 지연의 크로스 체인 통신을 제로 지식 증명을 통해 실현하는 것입니다. 이는 잘 지원되는 명령 집합 아키텍처(ISA)에 대한 제로 지식 증명(ZKP)으로, Optimism의 오류 방지 프로그램의 동작을 증명할 수 있으며, OP Stack 기반 블록체인 시스템을 증명할 수 있는 기초를 마련합니다. YBB Capital Researcher Ac-Core 제작
이 작업을 완료하려면 제로 지식 증명(ZKP) 시스템을 구현해야 하며, 이 시스템은 golang 컴파일러(MIPS, RISC-V 또는 WASM)가 지원하는 명령 집합 아키텍처(ISA)를 사용하여 OP 오류 방지 프로그램을 증명해야 합니다[1]. 또한 이 증명 시스템은 표준 구성 OP Stack 체인 간의 두 블록 간 상태 전환을 증명해야 하며, 이를 통해 실제로 실행 가능하다는 것을 증명해야 합니다. ISA의 표준 실행 궤적을 증명하는 것 외에도, 오류 방지 프로그램에 대한 지원은 추가 요구 사항을 도입합니다[2].
구체적으로, 오류 방지 프로그램은 Pre-image Oracle[3]의 개념을 도입하며, 이는 특수한 System call[4]을 사용하여 외부 데이터를 프로그램에 로드합니다. 각 Fault Proof VM[5]은 특정 메커니즘을 구현하는 책임이 있으며, 이 메커니즘을 통해 특정 데이터의 해시 값이 메모리의 특정 위치에 배치되고, 시스템 호출이 실행된 후 해당 해시 값의 프리 이미지가 메모리에 로드되어 프로그램에서 사용됩니다. Pre-image Oracle은 프로그램의 초기 입력을 안내하는 데에도 사용됩니다.
탈중앙화 정렬자의 시도:
Espresso Systems는 2023년 7월 21일 OP Stack 리더 선거의 탈중앙화 정렬 검증을 구축하겠다는 제안이 수용되었음을 발표했으며, OP Stack과 Superchain의 기여자가 되었습니다. 이 프로젝트의 주요 프로토콜인 HotShot은 고속 합의 프로토콜로, 재담보를 사용하여 이더리움 검증자가 해당 프로토콜에 참여할 수 있도록 하여 이더리움 검증자 집합과 동일한 규모에 도달하는 것을 목표로 합니다. 동시에 이 프로젝트는 Espresso Sequencer를 개발했으며, 이는 기능이 완전한 ZK rollup과 통합되었습니다. 특히 Polygon zkEVM의 분기와 관련이 있습니다.
리더 선거란 무엇인가?
리더 선거[6]는 분산 시스템에서 서로 다른 리더가 다음 규범 상태 전환을 생성하는 능력을 의미합니다. 블록체인에서 리더 선거는 서로 다른 블록 생성자가 서로 다른 시간에 블록을 생성할 수 있게 합니다. 리더 선거 알고리즘은 경쟁적일 수도 있고 비경쟁적일 수도 있습니다.
작업 증명 상황에서 경쟁적 리더 선거 알고리즘은 동일한 시간에 여러 잠재적 단위가 리더가 되기 위해 경쟁하는 것을 의미합니다. 비경쟁적 리더 선거 알고리즘은 특정 시점에 오직 하나의 알려진 리더만 존재하는 것을 의미하며, 이더리움 Gasper의 경우 비경쟁적 리더 선거 알고리즘은 특정 시점에 오직 하나의 알려진 단위만 존재하며, 다른 잠재적 단위가 그 시점에 리더가 되는 방법이 없습니다.
제안자 네트워크와 구축자 네트워크를 분리하는 경우(즉, 블록 구축자 네트워크는 거래 정렬만 책임지고, 제안자 네트워크는 블록 서명만 책임지는 경우), 특정 시점에 블록을 생성하는 단일 실체가 여러 가능한 실체로 전환되며, 이들이 그 특정 시점 내에서 가장 수익성이 높은 잠재적 블록을 구축하기 위해 경쟁하게 됩니다. 동시에 MEV의 존재로 인해 이러한 경쟁이 다시 발생하게 됩니다.
우리는 서로 다른 OP Stack 체인 간의 리더 선거 메커니즘의 다양한 2차 효과를 이해하는 것이 매우 어렵습니다. 현재로서는 리더 선거를 메커니즘으로 사용하는 것이 가장 인기 있는 방법입니다. 이는 정렬을 더욱 탈중앙화할 수 있게 해줍니다. 그러나 이러한 방안이 정렬자가 절대적으로 탈중앙화된다는 것을 보장할 수는 없으므로, 탈중앙화 정렬자 문제를 고려할 때는 추가적인 주의가 필요합니다.
Rollup은 정말 안전한가?
이더리움의 작동 원리:
이더리움의 원리는 각 노드가 사용자에게 제출된 모든 거래를 저장하고 실행하는 것입니다. 이러한 높은 수준의 안전성 방식은 전체 네트워크를 매우 비싸게 만들기 때문에, 전체 네트워크의 확장을 위해 Rollup 솔루션을 채택해야 했습니다. 간단히 말해 Rollup = Layer1의 일련의 계약 + Layer2의 자체 네트워크 노드, 즉 체인 상 스마트 계약 + 체인 외 집계기로, 정산, 합의, 데이터 가용성 모두 이더리움에 의존하며, 자신은 Rollup을 실행하는 것만 책임집니다.
- 체인 상 스마트 계약은 이더리움의 신뢰 모델을 나타내며, 이더리움의 안전성을 차용합니다;
- 체인 외 집계기는 체인 외에서 거래를 실행하고 집계하여 대량의 거래를 압축한 후, 최종적으로 이더리움 메인넷에 올려 더 빠르고 저렴한 목적을 달성합니다.
Layer2 네트워크 노드는 여러 부분으로 구성되어 있으며, 그 중 정렬자(Sequencer) 구성 요소가 가장 중요합니다. 이는 Layer2에서 거래 요청을 수신하고, 이들의 실행 순서를 결정하며 거래 시퀀스를 패키지(batch)로 묶어 최종적으로 Rollup 프로젝트의 Layer1 계약에 전달합니다. 시작하기 전에 명확히 해야 할 사실은 다음과 같습니다: 아래 그림을 참조하면 현재 이더리움의 모든 Layer2 Rollup의 정렬자는 중앙화되어 있습니다. 출처: 공식 트윗 스크린샷
중앙화된 정렬자 문제:
Layer2의 전체 노드는 거래 시퀀스를 얻는 두 가지 방법이 있습니다: 하나는 정렬자로부터 직접 얻는 것이고, 다른 하나는 정렬자가 Layer1에 전송한 거래 패키지를 읽는 것입니다. 후자는 더 강력한 수정 불가능한 속성을 가지고 있습니다. 거래 실행은 블록체인 장부의 상태를 변경하므로, 일관성을 보장하기 위해 Layer2 전체 노드는 거래 순서를 얻는 것 외에도 정렬자와 장부 상태를 동기화해야 합니다. 따라서 정렬자의 임무는 거래 패키지를 Layer1의 Rollup 계약에 전송하는 것뿐만 아니라, 거래 실행 후의 상태 업데이트 결과 StateRoot/StateDiff를 Layer1에 전달하는 것입니다. 쉽게 말해 정렬자의 작업은 거래를 처리하고 블록체인에 추가할 블록으로 정렬하는 것이며, 거래를 일괄 처리하여 Layer1 스마트 계약에 게시하는 것입니다.
Layer2의 전체 노드에게는 Layer1에서 Rollup의 거래 시퀀스와 초기 StateRoot를 얻기만 하면 Layer2의 블록체인 장부를 복원하고 최신 StateRoot를 계산할 수 있습니다. 반대로 Layer2 전체 노드가 계산한 StateRoot가 정렬자가 Layer1에 게시한 StateRoot와 일치하지 않는다면, 이는 정렬자에게 사기 행위가 있음을 의미합니다. 따라서 Layer2 자체의 네트워크에 비해 Layer1은 더 탈중앙화되고, 신뢰가 필요 없으며, 더 안전합니다. YBB Capital Researcher Ac-Core 제작
OP Stack:
그렇다면 질문이 생깁니다. Layer2는 존재하지 않거나 잘못된 거래를 위조할 수 있을까요? 예를 들어 Layer2의 Token 자산을 정렬자의 운영자 주소로 이동시키고, 그 다음 이 Token 자산을 Layer1으로 이동시켜 사용자의 자산을 탈취할 수 있을까요? 답은: 그렇게 하려면 완전히 가능합니다. 따라서 정렬자가 존재할 수 있는 사기 위험에 직면했을 때, 서로 다른 유형의 Rollup은 서로 다른 방식으로 대응 조치를 취했습니다.
Optimistic Rollup을 예로 들어보면, 이는 Layer2 전체 노드가 사기 증명(Fraud Proof)을 제공하여 정렬자가 Layer1에 게시한 데이터가 잘못되었음을 증명할 수 있도록 허용합니다. 그러나 사기 증명이 없는 Optimism의 경우, 만약 정렬자를 통해 Layer2의 사용자 자산을 탈취하고자 한다면, 정렬자 운영자가 거래 지시를 위조하고 다른 사람의 Layer2 자산을 자신의 주소로 이동시키면 됩니다. 마지막으로 Rollup에 내장된 Bridge 계약을 통해 탈취한 코인을 Layer1으로 이동시킬 수 있습니다.
이러한 가능성 있는 문제를 해결하기 위해 현재의 해결책은 커뮤니티 구성원과 소셜 미디어 등의 여론 감시를 통해 이른바 "합의"를 이루는 것이며, 두 번째는 OP를 공식 신뢰의 보증으로 삼는 것입니다. 따라서 이론적으로 OP Rollup의 안전성은 적어도 사기 증명을 게시할 수 있는 정직한 Layer2 전체 노드가 보장해야 합니다. 이는 위의 "OP Stack과 ZK Stack의 차이점" 소절에서 언급한 바와 같이, OP Stack은 다중 체인 단일 선택입니다. YBB Capital Researcher Ac-Core 제작
ZK Stack:
이제 ZK Stack에 대해 논의해 보겠습니다. ZK rollup 네트워크에는 Prover 노드가 존재하여, 이는 정렬자에게 거래 패키지를 게시하고 유효성 증명을 생성하는 역할을 합니다. 이러한 유효성 증명은 Layer1에 전용 검증 계약이 있습니다. 거래 패키지와 그에 해당하는 StateRoot/StateDiff의 증명이 Verifier 계약을 통과하면 거래는 최종 확인을 받습니다. 이는 OP Stack과 다르게 ZK rollup은 정렬자 사기 문제를 해결할 때 Layer2 전체 노드 외에도 Validity Proof(유효성 증명)를 활용합니다. ZK rollup의 공식 브리지는 유효성 증명으로 검증된 인출 거래만 실행할 수 있으며, 안전성 측면에서 이는 분명히 Optimism보다 더 신뢰할 수 있습니다. 이는 위의 "OP Stack과 ZK Stack의 차이점" 소절에서 제시한 바와 같이, ZK Stack은 다중 체인 다중 선택입니다.
이론적으로 ZK rollup의 안전성은 Layer1의 Verifier 계약에 의해 보장되거나, Layer1 노드가 거래의 최종 확인을 수행한다고 할 수 있습니다. OP rollup의 안전성이 최소한 하나의 사기 증명을 게시할 수 있는 정직한 Layer2 전체 노드에 의존하는 것과 비교할 때, 이들은 모두 Layer1(ETH)의 안전성을 상속받았지만, 사실 엄밀히 말하면 그렇지 않을 수 있습니다. 그러나 이는 현재 최적의 해결책이며, 다른 공공 블록체인에 비해 이더리움은 수년간의 발전 과정을 거쳐 안전성이 의심할 여지없이 가장 신뢰할 수 있는 것입니다.
블록체인 삼각 문제와 마찬가지로, 하나의 "제품"의 종합 사용자 경험에도 삼각 문제가 존재하는 것 같습니다: 안전성, 간단함, 효율성. ZK Stack은 OP Stack에 비해 수학과 코드에 의존하여 전체적인 안전성을 높이는 데 더 믿음을 두고 있으므로, 전체적인 복잡성을 크게 증가시킵니다. 따라서 ZK에 대한 몇 가지 오래된 주제도 존재합니다: YBB Capital Researcher Ac-Core 제작
- 지연 문제: ZK rollup은 Layer2 노드가 Layer1에 데이터를 게시하는 지연 문제를 해결해야 합니다. 이는 택배 운송이 포장 상자를 준비해야 하는 것과 유사합니다. 따라서 정렬자나 Prover가 Layer1에 데이터를 전송할 때마다 고정 비용이 발생합니다;
- 속도 문제: ZK rollup은 유효성 증명을 생성하는 속도가 느린 도전에 직면해 있습니다. 정렬자는 1초 내에 수천 건의 거래를 실행할 수 있지만, 이러한 거래에 대한 유효성 증명을 생성하는 데는 몇 시간이 걸릴 수 있습니다;
- 비용 문제: 전체 비용을 낮추기 위해 많은 ZK rollup 솔루션은 "여러 Proof를 집계하여 한 번에 Layer1에 전송"하는 전략을 채택합니다. 이는 Prover가 Proof를 생성한 후 즉시 Layer1에 전송하는 것이 아니라, 여러 Proof가 모두 생성된 후 이를 집계하여 한 번에 Layer1의 Verifier 계약에 전송한다는 것을 의미합니다;
- 수량 문제: 발의된 거래 수가 충분하지 않으면 정렬자가 Layer1에 데이터를 게시하는 데 지연이 발생할 수 있습니다. 예를 들어, 시장이 비활성화된 기간 동안 일부 Rollup 네트워크는 30분마다 한 번씩 Layer1에 거래 패키지를 전송할 수 있습니다.
더 적합한 탈중앙화 정렬자 솔루션 문제에 대해 모듈화가 최적의 해결책일 수 있습니다. 모듈화는 더 큰 사용자 정의 가능성과 동일하기 때문입니다. 현재의 탈중앙화 도구 중 주요한 다섯 가지는 다음과 같습니다:
-- Single Sequencer & POA -- Based rollup
-- DVT x Sequencer -- Shared Sequencer
-- Bootstrap a New Sequencer Set
우리는 가까운 미래에 위의 여러 문제들이 기술을 통해 더욱 해결될 수 있다고 믿습니다. 예를 들어, 유효성 증명의 생성 시간을 줄이기 위해 Optimism은 최근에 사기 증명 시스템을 발표할 것이라고 약속했으며, 이더리움의 Danksharding 솔루션도 Rollup의 데이터 비용을 크게 줄일 것입니다. 탈중앙화 정렬자 문제도 해결될 것이며, 위의 문제에 대한 효과적인 해결책을 제공할 것입니다.
결론: 서사의 방향
YBB Capital Researcher Ac-Core 제작
슈퍼 체인과 슈퍼 확장은 항상 사람들이 주목하는 확장 방향이었습니다. 비록 현재 각 프로젝트가 초기 발전 단계에 있지만, 전체적으로 이더리움에 더 강력한 서사를 가져왔습니다. 현재 OP Stack은 많은 채택을 받고 있으며, Coinbase, opBNB, Zora, Worldcoin 등 많은 스타 공공 블록체인이 OP Stack에 좋은 브랜드 지지를 제공하고 있습니다. 최근 6월 26일 저녁, zkSync는 맞춤형 ZK rollup을 구축하기 위한 모듈화 오픈 소스 프레임워크 ZK Stack을 출시한다고 발표했으며, 이는 많은 사람들이 zkSync 팀이 OP Stack의 1호 킬러로 사용하기 위한 것이라고 생각하고 있습니다. 한쪽은 선발 우위를 가진 OP Stack, 다른 한쪽은 수학적 우위를 가진 ZK Stack입니다. 결론적으로 Layer2의 모든 가치는 Rollup의 토큰에 축적될 수 있습니다. Layer2 확장 전쟁은 이제 막 시작되었으며, 이 전쟁에 대한 당신의 생각은 무엇인가요?
참고 문헌:
[1]https://github.com/ethereum-optimism/optimism/blob/develop/specs/fault-proof.md#fault-proof-program
[2]https://github.com/ethereum-optimism/ecosystem-contributions/issues/61
[3]https://github.com/ethereum-optimism/optimism/blob/develop/specs/fault-proof.md#pre-image-oracle
[4]https://en.wikipedia.org/wiki/System_call
[5]https://github.com/ethereum-optimism/optimism/blob/develop/specs/fault-proof.md#fault-proof-vm
[6]https://github.com/ethereum-optimism/ecosystem-contributions/issues/63
참고 기사: