미친 듯한 멀티체인 유니버스, 미친 듯한 OP 스택

2023.08.03

미친 듯한 멀티체인 유니버스, 미친 듯한 OP 스택

Layer2 확장성 경쟁은 이제 막 시작되었으며, 이 무연의 전쟁에 대해 어떻게 생각하십니까?

2023.08.03 - 09:06:10

Web3 심층 보도에 집중하고 흐름을 통찰

Layer2 확장성 경쟁은 이제 막 시작되었으며, 이 무연의 전쟁에 대해 어떻게 생각하십니까?

저자: YBB Capital 리서처 Ac-Core

서론

ETH의 주요 서사가 레이어1(Layer1)에서 레이어2(Layer2)로 전환되었다. 여전히 이를 '한 번에 토큰 발행'하는 ERC-20 이야기로 이해한다면,더 큰 그림을 그리고 상상해보자. 이제 곧 '한 번에 체인 발행'의 광란의 시대가 도래할 것이다! 현재 압도적인 생태계와 높은 TVL(총 잠금 가치)를 바탕으로 Arbitrum은 지속적으로 레이어2 간 경쟁을 주도하고 있다. 그러나 이러한 일시적 우위가 오랫동안 지속될 수 있을까? Arbitrum Orbit이 한 단계 더 위에 있는 레이어3 솔루션인 것과 달리, OP Stack은 레이어2를 '한 번에' 생성할 수 있는 '초기체인(superchain)' 기술이다. 본 글은 OP Stack 아키텍처, OP 내부의 ZK 요소, 롤업(Rollup) 보안 문제 등 세 가지 핵심 주제를 중심으로 심층 분석한다.

OP Stack, '초기체인 유니버스' 열다

YBB Capital 리서처 Ac-Core 제작

차세대 호황장의 서사는 어디서 시작될까? 고성능 레이어1인가, 더 높은 레이어3인가, ZK 계열 레이어2인가, 아니면 OP Stack의 초기체인인가? 매우 흥미롭고 깊이 생각해볼 만한 질문이다. 이더리움이 스스로 무너지지만 않는다면 다음 호황장에서도 '이더리움 킬러'라는 칭호는 여전히 모든 공용체가 넘기 어려운 최종 목표일 것이다. 이 거대한 거인이 숨기고 있는 수많은 강력한 코어 중 하나가 바로 OP Stack이다.

OP Stack이란 무엇인가?

OP Stack은 누구나 옵티미스틱 롤업(Optimistic Rollups)을 이용해 이더리움 위에 자체 레이어2 블록체인을 구축할 수 있도록 해주는 오픈소스 소프트웨어 구성 요소들의 집합이다. 대부분의 계산과 저장을 체외(off-chain)로 이전하면서도, 보안성과 최종성을 위해 이더리움에 의존한다. 기술적으로 보면, Optimism은 사용자가 체인 상의 비용을 크게 절감할 수 있게 해준다. OP Stack은 다음과 같은 네 가지 주요 구성 요소로 이루어져 있다:

메인넷: OP 메인넷은 저렴하고 빠른 이더리움 레이어2 네트워크이며, EVM(이더리움 가상 머신)과 호환된다;
컨트랙트: OP Stack의 핵심 로직과 기능을 구현하는 스마트 컨트랙트. 여기에는 상태 전이 시스템(STS), 사기 증명자(FP), 상태 커밋 체인(SCC), 표준 트랜잭션 체인(CTC) 등이 포함된다;
서비스: 레이어1과 레이어2 간의 데이터 가용성, 데이터 동기화 및 통신 서비스를 제공;
도구: OP Stack 기반 블록체인의 개발, 테스트, 배포, 모니터링, 디버깅을 지원한다.

강력한 개방성:

OP Stack은 포크 가능한 모듈형 확장 블록체인 인프라로 개발될 예정이며, 이를 실현하기 위해 다양한 레이어2들을 하나의 단일 초기체인(Superchain)으로 통합해야 한다. 원래 서로 고립되어 있던 레이어2들을 상호 운용성과 조합성이 가능한 시스템 안에 통합함으로써, 레이어2 구동을 오늘날 이더리움에 스마트 컨트랙트를 배포하는 것처럼 쉽게 만들고자 한다. 즉, 서사가 '한 번에 토큰 발행'에서 '한 번에 체인 발행'으로 전환되는 것이다. 본질적으로 초기체인은 수평적으로 확장 가능한 블록체인 네트워크이며, 각 체인은 이더리움의 보안성, 통신 계층 및 개발 키트를 공유한다.

YBB Capital 리서처 Ac-Core 제작

OP Stack (Over Powered Stack)은 초기체인 뒤에 있는 통합된 모듈형 개발 스택이 되며, 이들 사이에는 수없이 연결되고 소통할 수 있는 블록체인들이 존재한다. OP Stack은 전담된 Optimism Collective가 전체 개발 및 유지 관리를 담당하며, 새로운 롤업 네트워크 배포를 위한 공유 오픈소스 시스템을 지원한다. 동시에 이는 표준화된 오픈소스 모듈의 집합이기도 하다. 이렇게 보면 완전히 이더리움 보안성 위에 구축된 코스모스(Cosmos)가 아닌가? 예전에 ETH와 ATOM이 서로 보완한다고 말했지만, 지금은 오히려 OP Stack이 코스모스 킬러가 되고 있는가? 이제 OP Stack의 정의를 좀 더 자세히 나누어보자:

모듈은 어떤 개발자든 OP Stack에 삽입할 수 있는 데이터 조각이다. 이 초기체인의 '표준화'란 모듈에 대한 표준에 대해 합의가 이루어졌으며, 모두가 이를 구현할 수 있다는 의미다. 또한 완전한 오픈소스란 누구에게나 무료로 개발 반복 및 메시지 요청이 가능하다는 것을 의미한다. 개발자는 특정 체인의 실행 계층, 합의 계층, 결제 계층, 데이터 가용성 계층에서 자유롭게 모듈을 교체할 수 있다.

예를 들어 dYdX가 이더리움을 떠나 코스모스 앱체인으로 전향한 근본적인 이유는 자신들의 체인에서 합의 계층에 더 큰 모듈성을 원했기 때문이다. 나는 이것이 좋은 출발점이라고 생각한다. 독립된 Dapp들이 자신에게 더 적합한 공용체를 선택해 개발하도록 하는 추세가 더욱 강화되고 있으며, 대표적인 사례로는 루나(Luna)가 있다. 비록 일부 이유로 파괴되었지만 말이다. 다행히 OP Stack은 이 문제를 해결했다. OP Stack의 설계는 코드 포크를 보다 쉽게 만들어 개발자가 블록체인의 다양한 구성 요소를 쉽게 추상화하고 다른 모듈을 삽입하여 수정할 수 있도록 한다.

OP Stack 설계 원칙:

효율성: OP Stack을 사용하면 무엇이든 구축하고 한 번에 블록체인을 발행할 수 있다;
간결성: 재사용 가능한 코드와 기성 개발 키트를 활용해 보안성을 강화하고 유지 관리 복잡성을 낮춰 전반적인 진입 장벽을 낮춘다;
확장성: Optimism Collective는 OP Stack의 주요 코드를 완전히 오픈소스로 공개할 예정이다.

아키텍처 측면에서 OP Stack은 아래에서 위로 DA 계층(Data Availability Layer), 순서화 계층(Sequencing Layer), 파생 계층(Derivation Layer), 실행 계층(Execution Layer), 결제 계층(Settlement Layer), 거버넌스 계층(Governance Layer)의 6단계로 나눌 수 있다. OP Stack의 각 계층은 모듈형 API 구성 요소로서 자유롭게 조합하거나 분리할 수 있다. 그 중 가장 중요한 것은 DA 데이터 가용성 계층, 실행 계층, 결제 계층으로, 이 세 가지가 OP Stack의 주요 작업 흐름을 구성한다.

DA 데이터 가용성 계층: OP Stack의 원시 데이터 출처로, 하나 또는 여러 개의 데이터 가용성 모듈을 사용해 입력 데이터를 가져올 수 있다. 현재는 이더리움이 주요 DA 계층이지만, 앞으로 더 많은 체인이 추가될 수 있다;
실행 계층: OP Stack 내 상태 구조로, EVM 또는 기타 VM을 지원하며 이더리움에서 시작된 레이어2 트랜잭션을 지원한다. 각 트랜잭션에는 추가적인 레이어1 데이터 비용이 부과되며, 이더리움에 트랜잭션을 게시하는 종합 비용을 의미한다;
결제 계층: OP Stack 상의 레이어2 트랜잭션 데이터가 최종적으로 도달하는 곳으로, 레이어2에서 확인 후 정보를 대상 블록체인으로 전송하여 최종 정산한다. 미래에는 ZK 등의 유효성 증명 메커니즘이 도입되어 서로 다른 체인 간 격차를 해소하고, OP 계열 레이어2와 ZK 계열 레이어2 간의 고립된 섬도 연결할 수 있을 것으로 기대된다.

OP Stack 법칙:

YBB Capital 리서처 Ac-Core 제작

무한한 블록 공간은 대규모 애플리케이션 구현의 핵심 단계이지만, 이러한 확산은 분열을 가져오며, 무허가 배포는 새로운 도전을 맞이한다. 현재 각 새로운 OP Stack 체인은 자신의 영역에서 독립적으로 성장하고 있으며, 표준과 개선사항을 공유할 직접적인 방법이 없다. 사용자와 개발자들도 엄청난 도전에 직면한다: 다수의 서로 다른 체인을 보안성, 품질, 중립성 측면에서 개별적으로 평가해야 하기 때문이다. 초기체인을 실현하기 위해 OP Stack은 독립적이고 분산된 블록 공간에서 통합된 체인 컬렉티브(chain collective)로 전환해야 하며, 개방적이고 탈중앙화된 블록 공간을 공동으로 추구해야 한다. '체인 법칙(chain law)'은 낙관주의적 거버넌스와 초기체인을 위한 지침을 제시한다. 낙관주의 거버넌스는 단일 체인 관리에서 다중 체인이 공유하는 표준 관리로 전환되며, 초기체인의 일부가 되기 위해 필요한 속성을 정의하고, 초기체인에서 거래하는 사용자의 보호를 우선시한다. 근본적으로 '체인 법칙'은 사회적 계약(social contract)이지 법적 계약이 아니므로, 활발한 커뮤니티 논의가 필수적이다. 이 법칙의 존재는 초기체인이 다음 특성을 보장할 수 있게 한다:

블록 공간이 동질적, 중립적, 개방적으로 유지됨을 보장: 체인 법칙에 대한 약속은 체인의 사용자, 개발자 및 이해관계자를 보호하겠다는 약속이다. 크기에 관계없이 초기체인의 일부라면, 낙관주의 거버넌스의 지원 하에 신뢰성 있게 자신의 블록 공간이 동질적, 중립적, 개방적임을 입증할 수 있다;
끊임없는 개선의 혜택을 받음: 공유 업그레이드 덕분에 초기체인은 자체 유지 관리 없이도 항상 최고의 기술을 누릴 수 있다;
더 나은 인프라 제공: 초기체인의 모든 체인이 신뢰성 있게 표준을 준수하므로, 인덱싱 및 정렬과 같은 핵심 서비스의 가용성과 경제성을 함께 보장할 수 있다.

고민해볼 문제:

OP Stack이 OP를 다시 살릴 수 있을까?

OP 토큰은 도대체 어떤 용도가 있는가? Basechain 방식을 따르면, 그들은 일부 수익을 Optimism Collective에 환원할 것이며, 이 경우 '국고'의 수입원은 자체 '가치'에 의존하게 되고, 더 많은 서사를 창출함으로써 궁극적으로 가격에 반영되는 구조가 된다. 이는 OP의 2차 시장에서의 논리가 ATOM과 유사해진다는 의미다. 그러나 이런 방식이 현재로서는 최선의 선택일 수 있으며, 더 많은 체인들이 Basechain 방식을 따라 환원한다면 Optimism Collective는 결국 혜택을 받게 될 것이다. 이 느낌이 UNI를 떠올리게 하지 않는가? 두 프로젝트 모두 강력한 실력을 갖추고 있지만 토큰 자체는 투표 및 거버넌스 외에는 다른 가치가 없다는 점에서 유사하다. 하지만 차이점은, 현재 모든 레이어2가 중앙화된 순서화기(sequencer) 문제에 직면해 있다는 점이다. 레이어2 토큰이 일종의 리더 선출(leadership selection)(합의 투표가 아님)에만 사용되더라도, 순서화 권한의 가치는 여전히 Rollops 토큰에 축적된다.

동시에 OP 팀은 7월 25일 '체인 법칙(Law of Chain)' 제안을 발표하며, 모든 OP Stack 기반 체인들이 공유 거버넌스 모델과 순서화기를 도입하고 '수익 환원' 모델을 표준화할 것을 제안했다. 이를 통해 전체 OP 생태계에 더 많은 수익을 가져다주기를 기대하고 있으며(앞서 언급한 OP Stack 법칙 참조), 코스모스의 공유 보안 모델과 비교해볼 때 거의 동일한 효과를 낼 수 있다.

OP Stack과 ZK Stack의 차이점:

OP Stack: 다중 체인, 단일 선택

앞서 살펴본 바와 같이 OP Stack은 코스모스와 유사한 다중 체인 구조를 취하지만, 선택지는 하나뿐이다. 왜냐하면 OP Stack은 각 체인이 다른 체인의 트랜잭션을 검증하기를 요구하기 때문이다. 그렇지 않으면 레이어1에서 며칠씩 기다려야 결과를 얻을 수 있기 때문이다. 따라서 단일하고 공유되는 순서화기, 중앙화된 MEV 배분, 법적 규약과 관리의 보호는 서로 다른 체인 간에 옵티미스틱 롤업이 원활한 상호 운용성을 실현할 수 있는 유일한 방법이다.

ZK Stack: 다중 체인, 다중 선택

OP Stack과 달리 ZK Stack도 여러 체인을 가질 수 있지만, 다양한 선택지를 제공한다. 자기만의 순서화기를 선택할 수 있고, 자신만의 방식으로 MEV를 처리할 수 있으며, 수학과 코드의 보호를 받는다(참고: OP Stack은 법적 규약과 관리의 보호를 받는다). 만약 ZK가 지정된 공유 또는 극소수의 스레드 집합을 채택한다면, 서로 간에 수학적으로 맹목적으로 신뢰하게 되고, 제로지식 증명의 가치를 상실하게 되기 때문이다.

OP Stack 내의 ZK 요소

YBB Capital 리서처 Ac-Core 제작

OP Stack이 완전히 개방된 아키텍처이기 때문에, 생태계 내에서 zkvm, zkmips, zkwasm, zkevm 등의 존재가 가능해진다. 하지만 '정통적인 ZK'와 비교하면 OP Stack 내에서는 약간 다른 형태의 ZK 요소들이 나타난다. 우리는 자연스럽게 머지않아 OP 롤업과 ZK 롤업이 환상적인 연동을 이루는 날이 올지도 모른다고 상상하게 된다.

OP에 제로지식 증명(ZKP) 적용:

최근의 진행 상황에 따르면, Mina의 개발팀은 자체 plonk 시스템 + kzg 커밋 + folding 알고리즘 nova를 활용해 OP Stack 상의 zkmips vm을 구현할 계획이다. 아직 초기 제안 단계여서 미숙한 부분이 많지만, 매우 탐구할 가치가 있다. 이 팀의 미션은 레이어2와 레이어1, 그리고 OP 각 체인 간에 제로지식 증명을 통해 안전하고 지연 시간이 낮은 크로스체인 커뮤니케이션을 실현하는 것이다. 이것은 잘 지원되는 명령어 세트 아키텍처(ISA)에 대한 제로지식 증명(ZKP)으로, Optimism의 오류 감지 프로그램의 동작을 증명할 수 있으며, OP Stack 기반의 모든 블록체인 시스템을 증명할 수 있는 기반을 마련한다.

YBB Capital 리서처 Ac-Core 제작

이 과업을 완수한다는 것은 golang 컴파일러(MIPS, RISC-V 또는 WASM 등)가 지원하는 명령어 세트 아키텍처(ISA)를 사용해 OP 오류 감지 프로그램의 동작을 증명할 수 있는 제로지식 증명(ZKP) 시스템을 구현해야 함을 의미한다. 또한 이 증명 시스템은 표준 설정 OP Stack 체인의 두 블록 사이 상태 전이를 증명할 수 있어야 하며, 실용성도 입증되어야 한다. ISA의 표준 실행 궤적을 증명하는 것 외에도, 오류 감지 프로그램 지원은 추가적인 요구사항을 도입한다.

구체적으로, 오류 감지 프로그램은 특수한 System call을 사용해 외부 데이터를 프로그램에 로드하는 Pre-image Oracle 개념을 도입한다. 각 Fault Proof VM은 메모리의 특정 위치에 데이터의 해시값을 배치하고 시스템 호출을 실행한 후, 해당 해시값의 원상(pre-image)을 메모리에 로드하여 프로그램이 사용할 수 있도록 하는 메커니즘을 구현해야 한다. Pre-image Oracle은 프로그램의 초기 입력을 부팅하는 데에도 사용된다.

탈중앙화 순서화기의 시도:

Espresso Systems는 2023년 7월 21일 트위터를 통해 OP Stack 리더 선출을 위한 탈중앙화 순서화 검증 구축 제안이 수락되었으며, OP Stack 및 Superchain의 기여자가 되었다고 발표했다. 이 프로젝트의 주요 프로토콜인 HotShot은 고속 합의 프로토콜로, 재스테이킹(re-staking)을 통해 이더리움 검증자가 이 프로토콜에 참여할 수 있도록 하며, 이더리움 검증자 집합과 동일한 규모에 도달하는 것을 목표로 한다. 또한 Espresso Sequencer도 개발했는데, 이는 완전한 ZK 롤업과 통합되어 특히 Polygon zkEVM의 분기와 연동된다.

리더 선출이란 무엇인가?

리더 선출은 분산 시스템에서 다른 리더가 다음 공식 상태 전이를 생성하는 능력을 갖도록 하는 것이다. 블록체인에서 리더 선출은 서로 다른 블록 생산자가 서로 다른 시간에 블록을 생성하게 하며, 리더 선출 알고리즘은 경쟁적일 수도 있고 비경쟁적일 수도 있다.

작업증명(PoW)의 경우, 경쟁적 리더 선출 알고리즘은 동시에 많은 잠재적 주체들이 리더가 되기 위해 경쟁하는 것을 의미한다. 비경쟁적 리더 선출 알고리즘은 특정 시점에 알려진 리더가 하나뿐이라는 것을 의미한다. 이더리움의 Gasper에서는 비경쟁적 리더 선출이 특정 시점에 알려진 주체가 하나뿐이며, 다른 잠재적 주체가 그 순간에 리더가 되는 다른 방법이 없다는 것을 의미한다.

제안자 네트워크와 빌더 네트워크를 분리하는 경우(즉, 블록 빌더 네트워크는 트랜잭션 순서만 선택하고, 제안자 네트워크는 블록 서명만 담당), 특정 시점에 블록을 생성하는 단일 실체를 대신해 여러 잠재적 실체로 전환하며, 이들은 특정 시간 내에 가장 수익성 있는 블록을 만들기 위해 경쟁한다. 동시에 MEV의 존재로 인해 이러한 경쟁이 다시 부활하게 된다.

현재로서는 서로 다른 OP Stack 체인 간 리더 선출 메커니즘의 다양한 2차 효과를 이해하는 것은 매우 어렵다. 그러나 현재로서는 리더 선출을 메커니즘으로 삼는 것이 가장 인기가 있으며, 이는 순서화를 더욱 탈중앙화할 수 있기 때문이다. 그러나 이 방식도 순서화기가 절대적으로 탈중앙화된다는 보장을 할 수 없으므로, 탈중앙화 순서화기 문제를 고려할 때는 특히 신중해야 한다.

롤업들은 정말 안전한가?

이더리움 작동 원리:

이더리움의 원리는 각 노드가 사용자가 제출한 모든 트랜잭션을 저장하고 실행하는 것이다. 이러한 고도의 보안 방식은 네트워크 전체를 매우 비싸게 만들며, 따라서 네트워크 확장을 위해 롤업 솔루션이 필요하다. 간단히 말해 롤업 = 레이어1의 일련의 컨트랙트 + 레이어2 자체 네트워크 노드, 즉 체인 상의 스마트 컨트랙트 + 체인 외 집계기(aggregator)이며, 결제, 합의, 데이터 가용성 모두 이더리움에 의존하고, 자신은 실행만 담당한다.

체인 상의 스마트 컨트랙트: 이는 신뢰 모델이 이더리움 상의 스마트 컨트랙트이며, 이더리움의 보안성을 빌린다는 것을 의미한다;
체인 외 집계기: 체인 외에서 트랜잭션을 실행하고 집계하며, 대량의 트랜잭션을 압축한 후 최종적으로 이더리움 메인넷에 올려 더 빠르고 저렴한 목적을 달성한다.

레이어2 네트워크 노드는 여러 부분으로 구성되며, 그 중에서도 순서화기(Sequencer)가 가장 중요하다. 순서화기는 레이어2 상의 트랜잭션 요청을 받아 실행 순서를 결정하고 트랜잭션 시퀀스를 배치(batch)로 묶은 후, 최종적으로 롤업 프로젝트의 레이어1 컨트랙트에 전달한다. 다음 내용을 설명하기 전에 한 가지 사실을 분명히 해두어야 한다: 아래 참고 이미지에서 알 수 있듯이, 현재 이더리움의 모든 레이어2 롤업의 순서화기는 중앙화되어 있다.

이미지 출처: 공식 트위터 캡처

중앙화된 순서화기 문제:

레이어2의 풀노드는 두 가지 방식으로 트랜잭션 시퀀스를 획득할 수 있다. 첫째, 순서화기로부터 직접 가져오는 것, 둘째, 순서화기가 레이어1에 전송한 트랜잭션 배치(batch)를 읽는 것이다. 후자는 더 강한 불변성(immutability)을 가진다. 트랜잭션 실행은 블록체인 원장 상태를 변경하기 때문에, 일관성을 보장하기 위해 레이어2 풀노드는 트랜잭션 순서뿐만 아니라 순서화기와 원장 상태를 동기화해야 한다. 따라서 순서화기의 임무는 트랜잭션 배치를 레이어1의 롤업 컨트랙트에 전송하는 것뿐만 아니라, 트랜잭션 실행 후의 상태 업데이트 결과인 StateRoot/StateDiff를 레이어1에 전송하는 것이다. 일반적으로 말해, 순서화기는 트랜잭션을 처리하고 정렬하여 블록체인에 추가할 블록으로 만드는 역할을 하며, 트랜잭션을 대량 처리하여 레이어1 스마트 컨트랙트에 게시한다.

레이어2 풀노드 입장에서, 레이어1의 롤업에서 트랜잭션 시퀀스와 초기 StateRoot만 얻으면 레이어2 블록체인 원장을 재현할 수 있으며, 최신 StateRoot를 계산해낼 수 있다. 반대로, 레이어2 풀노드가 자체적으로 계산한 StateRoot와 순서화기가 레이어1에 게시한 StateRoot가 일치하지 않으면, 이는 순서화기가 사기 행위를 하고 있다는 것을 의미한다. 요약하면, 레이어2 자체 네트워크보다 레이어1이 더욱 탈중앙화되고, 신뢰 불필요(trustless), 안전하다.

OP Stack:

문제는, 레이어2가 존재하지 않거나 잘못된 트랜잭션을 위조해, 레이어2의 토큰 자산을 순서화기 운영자 주소로 이전한 후, 이 토큰 자산을 레이어1으로 옮겨 사용자 자산을 훔쳐갈 수 있는가? 답은 그렇다, 가능하다. 따라서 순서화기의 사기 위험에 대응하기 위해 다양한 유형의 롤업은 서로 다른 방식을 채택한다.

옵티미스틱 롤업을 예로 들면, 레이어2 풀노드가 사기 증명(Fraud Proof)을 제공해 순서화기가 레이어1에 게시한 데이터가 잘못되었다는 것을 증명할 수 있다. 그러나 사기 증명이 없는 Optimism의 경우, 실제로 순서화기를 통해 레이어2 사용자 자산을 훔치고자 한다면, 순서화기 운영자가 트랜잭션 명령을 위조하고 레이어2의 다른 사람 자산을 자신의 주소로 이전한 후, 롤업 자체의 브릿지 컨트랙트를 통해 훔친 코인을 레이어1으로 이전하면 된다.

이러한 문제를 해결하기 위한 현재의 해결책은 하나는 커뮤니티 구성원과 소셜 미디어 등을 통한 여론 감시로 형성된所谓 '합의', 다른 하나는 OP의 공식 신용 보증에 의존하는 것이다. 따라서 이론적으로 OP 롤업의 보안성은 적어도 하나의 사기 증명을 게시할 수 있는 성실한 레이어2 풀노드에 의해 보장되어야 하며, 앞서 'OP Stack과 ZK Stack의 차이점' 섹션에서 언급한 'OP Stack은 다중 체인, 단일 선택'이라는 주장과 일치한다.

YBB Capital 리서처 Ac-Core 제작

ZK Stack:

다음으로 ZK Stack을 살펴보자. ZK 롤업 네트워크에는 Prover 노드가 존재하며, 이는 순서화기가 트랜잭션 배치를 게시하고 유효성 증명(validity proof)을 생성하는 것을 전담한다. 이러한 유효성 증명은 레이어1에 전용 검증 컨트랙트가 있다. 트랜잭션 배치와 해당 StateRoot/StateDiff의 증명이 Verifier 컨트랙트를 통해 검증되면, 트랜잭션은 최종 승인된다. OP Stack과 다른 점은, ZK 롤업이 순서화기 사기 문제를 해결할 때 레이어2 풀노드에 의존할 뿐 아니라 유효성 증명(Validity Proof)을 활용한다는 점이다. ZK 롤업의 공식 브릿지는 유효성 증명을 통과한 인출 거래만 실행을 허용하므로, 보안 측면에서 이는 Optimism보다 훨씬 더 신뢰할 수 있다. 이는 앞서 'OP Stack과 ZK Stack의 차이점' 섹션에서 언급한 'ZK Stack은 다중 체인, 다중 선택'과 일치한다.

이론적으로 보면, ZK 롤업의 보안은 레이어1의 Verifier 컨트랙트에 의해 보장되거나, 레이어1 노드가 트랜잭션 최종 승인을 완료한다고 말할 수 있다. OP 롤업의 보안성이 최소한 하나의 사기 증명을 게시할 수 있는 성실한 레이어2 풀노드에 의존하는 것과 비교하면, 둘 다 레이어1(ETH)의 보안성을 계승하지만, 철저한 의미에서 반드시 그렇다고 볼 수는 없다. 그러나 이는 현재로서 최선의 해결책이며, 다른 공용체들과 비교할 때 이더리움은 오랜 발전 역사 덕분에 보안성이 가장 신뢰할 만하다.

블록체인 트라이앵글 문제처럼, 어떤 '제품'의 종합적 사용자 경험도 마찬가지로 트라이앵글 문제가 존재할 수 있다: 보안, 간편성, 효율성. ZK Stack은 OP Stack보다 수학과 코드에 의존해 전반적인 보안성을 크게 향상시키지만, 이로 인해 전반적인 복잡성이 크게 증가한다. 따라서 ZK에 대해서는 오래된 몇 가지 주제들이 계속 회자된다: