Celestia 연구원이 6가지 Rollup 변형을 분석하다: Sequencer=집합기+헤더 생성기

저자: NashQ, Celestia 연구원
원문 제목: Redefining Sequencers: Understanding the Aggregator and the Header Producer
편집: Faust, 극객Web3

번역자 주: Rollup 모델을 더 쉽게 이해하고 분석할 수 있도록, Celestia 연구원 NashQ는 Rollup의 정렬기(Sequencer)를 두 개의 논리적 실체인 집계기(Aggregator)와 헤더 생성자(Header Producer)로 나누었습니다. 동시에 그는 거래 정렬 과정을 포함(Inclusion), 정렬(Ordering), 실행(Execution)의 세 가지 논리적 단계로 나누었습니다.

이러한 분석적 사고에 따라 주권 Rollup의 6대 중요한 변형이 더욱 명확해졌습니다. NashQ는 다양한 Rollup 변형의 검열 저항성과 활성화에 대해 자세히 논의했으며, 각 Rollup 변형의 노드가 신뢰 최소화 상태에서 최소한으로 요구되는 구성(즉, Trustless 상태에 도달하기 위해 Rollup 사용자가 최소한 어떤 유형의 노드를 운영해야 하는지)을 탐구했습니다.

비록 이 글이 Celestia의 관점에서 Rollup을 분석하고 있지만, 이더리움 커뮤니티의 Rollup 모델 분석 방식과는 다르지만, 이더리움 Rollup과 Celestia 주권 Rollup 간의 많은 상호 연결점과 후자의 영향력이 점점 커지고 있는 점을 고려할 때, 이더리움 애호가들에게도 이 글은 매우 읽을 가치가 있습니다.

Rollup이란 무엇인가?

Rollup은 "거래 데이터"를 다른 블록체인에 게시하고 그 블록체인의 합의 및 데이터 가용성을 상속받는 블록체인입니다.

왜 "거래 데이터"라는 용어를 사용하고 "블록"이라는 용어를 사용하지 않았을까요? 이는 Rollup 블록과 Rollup 데이터 간의 차이와 관련이 있으며, 가장 간단한 Rollup은 아래에서 설명하는 첫 번째 변형과 같은 Rollup 데이터만 필요합니다.

Rollup 블록은 특정 블록 높이에서 블록체인 장부를 나타내는 데이터 구조입니다. Rollup 블록은 Rollup 데이터와 Rollup 헤더로 구성됩니다. 여기서 Rollup 데이터는 일련의 거래 또는 거래 간의 상태 변화일 수 있습니다.

변형 1: 비관적 Rollup / 기반 Rollup

Rollup을 구축하는 가장 간단한 방법은 사용자가 거래를 다른 블록체인에 게시하도록 하는 것입니다. 우리는 후자를 합의 및 데이터 가용성 계층(DA - Layer)이라고 부릅니다. 아래에서는 DA 계층이라고 줄여서 부르겠습니다(번역자 주: 이더리움 커뮤니티에서 흔히 말하는 Layer1에 해당).

내가 소개할 첫 번째 Rollup 변형에서 Rollup 네트워크의 노드는 DA 계층에 포함된 Rollup 거래를 다시 실행해야 최종 장부 상태를 확인할 수 있습니다. 이것이 바로 비관적 Rollup입니다!

비관적 Rollup은 전체 노드만 지원하는 Rollup입니다. 이러한 전체 노드는 Rollup 장부에 포함된 모든 거래를 다시 실행하여 유효성을 확인해야 합니다.

그런데 이 경우 Rollup의 정렬기(Sequencer)는 누가 맡고 있을까요? 실제로 Rollup의 전체 노드 외에는 아무런 실체가 Rollup 장부에 포함된 거래를 실행하지 않았습니다. 일반적으로 정렬기는 거래 데이터를 집계하고 Rollup 헤더를 생성합니다. 그러나 위에서 언급한 비관적 Rollup에는 Rollup 헤더가 없습니다!

논의를 쉽게 하기 위해 정렬기를 두 개의 논리적 실체로 나눌 수 있습니다: 집계기(Aggregator)와 헤더 생성자(Header Producer). Rollup 헤더를 생성하려면 먼저 거래를 실행하고 상태 변환을 완료한 후 해당 헤더를 계산해야 합니다. 그러나 집계기는 상태 변환을 완료하지 않고도 집계 단계를 수행할 수 있습니다.

정렬(Sequencing)은 "집계 + Rollup 헤더 생성"의 과정입니다.

집계(Aggregation) *은 거래 데이터를 일괄적으로 패키징하여 하나의 배치(Batch)로 만드는 단계입니다. 하나의 배치에는 일반적으로 많은 거래가 포함됩니다(번역자 주: Batch는 Rollup 블록에서 헤더를 제외한 부분의 데이터입니다).

헤더 생성 단계는 Rollup 헤더를 생성하는 과정입니다. Rollup 헤더는 Rollup 블록에 대한 메타데이터로, 최소한 해당 블록의 거래 데이터에 대한 커밋먼트(번역자 주: 여기서 말하는 커밋먼트는 거래 처리 결과의 정확성에 대한 약속)를 포함합니다.

위의 관점을 통해 Rollup의 각 구성 요소가 누가 맡고 있는지를 알 수 있습니다. 먼저 집계기(Aggregator) 부분을 살펴보겠습니다. 앞서 언급한 비관적 Rollup은 헤더 생성 과정이 없으며, 사용자가 거래를 DA 계층에 직접 게시하므로 DA 계층 네트워크가 실질적으로 집계기 역할을 합니다.

따라서 비관적 Rollup은 집계 단계를 DA 계층에 위임한 Rollup 변형으로, 정렬기(Sequencer)가 없습니다. 때때로 이러한 Rollup은 "기반 Rollup(based rollup)"이라고 불립니다.

기반 Rollup은 DA 계층과 동일한 검열 저항성과 활성화를 가지고 있습니다(활성화는 시스템이 사용자 요청에 응답하는 속도를 측정합니다). 이러한 Rollup의 사용자가 신뢰 최소화(Trustless)에 도달하려면 최소한 DA 계층 네트워크의 경량 노드와 Rollup 네트워크의 전체 노드를 운영해야 합니다.

변형 2: 공유 집계기를 사용하는 비관적 집계

공유 집계기를 사용하는 비관적 집계에 대해 논의해 보겠습니다. 이 개념은 Evan Forbes가 공유 정렬기 설계에 대한 포럼 게시물에서 제안했습니다. 핵심 가정은 공유 정렬기가 거래를 정렬하는 유일한 정규 방법이라는 것입니다. Evan은 공유 정렬기의 이점을 다음과 같이 설명합니다:

"Web2와 동등한 사용자 경험을 달성하기 위해, 공유 정렬기는 빠르게 생성된 소프트 커밋먼트(신뢰할 수 없는 보장)를 제공합니다. 이러한 소프트 커밋먼트는 최종 거래 순서에 대한 일부 보장을 제공하며(즉, 거래 순서가 변경되지 않을 것에 대한 약속), Rollup 장부 상태 업데이트 단계를 미리 진행할 수 있게 해줍니다(하지만 이 시점에서는 최종 확정(Finalize)이 완료되지 않았습니다)."

Rollup 블록 데이터가 기본 계층(Base Layer, 여기서는 DA 계층을 의미)에서 확인되면, Rollup 장부의 상태 업데이트가 최종 확정(Finalize)됩니다."

위의 Rollup 변형은 여전히 비관적 Rollup 범주에 속합니다. 왜냐하면 이러한 Rollup 시스템에는 전체 노드만 존재하고 경량 노드는 없기 때문입니다. 각 Rollup 노드는 모든 거래를 실행하여 장부 상태 업데이트의 유효성을 보장해야 합니다. 이러한 Rollup에는 경량 노드가 없으므로 Rollup 헤더가 필요하지 않으며, 헤더 생성자도 필요하지 않습니다(번역자 주: 일반적으로 블록체인의 경량 노드는 전체 블록을 동기화할 필요 없이 블록 헤더만 수신하면 됩니다).

Rollup 헤더 생성 단계가 없기 때문에 위의 Rollup의 공유 정렬기는 상태 업데이트를 위해 거래를 실행할 필요 없이(헤더 생성을 위한 선결 조건) 거래 데이터를 집계하는 과정만 포함할 수 있습니다. 그래서 저는 이를 공유 집계기(shared aggregator)라고 부르는 것이 더 적절하다고 생각합니다.

이 변형에서 Rollup 사용자는 신뢰 최소화 상태에서 최소한 다음을 운영해야 합니다:

DA 계층 경량 노드 + 공유 집계기 네트워크의 경량 노드 + Rollup 전체 노드.

이때, 공유 집계기 네트워크의 경량 노드를 통해 게시된 집계기 헤더(여기서는 Rollup 헤더가 아님)를 검증해야 합니다. 위에서 언급한 바와 같이, 공유 집계기는 거래 정렬 작업을 수행하며, 게시된 집계기 헤더에는 DA 계층에서 게시한 배치에 해당하는 암호학적 커밋먼트가 포함되어 있습니다.

이렇게 하면 Rollup 노드 운영자는 DA 계층에서 수신한 배치가 공유 집계기에 의해 생성된 것임을 확인할 수 있습니다.

(위의 내용이 다소 난해하므로, 도식도를 다시 한 번 살펴보시기 바랍니다)

포함(Inclusion)은 거래를 블록체인에 포함하는 과정입니다.

정렬(Ordering)은 거래를 특정 순서로 블록체인에 배열하는 과정입니다.

실행(Execution)은 블록체인에서 거래를 처리하고 상태 업데이트를 완료하는 과정입니다.

공유 집계기가 포함 및 정렬 작업을 수행하므로 Rollup의 검열 저항성은 그것에 달려 있습니다.

Lss가 공유 집계기의 활성화, Lda가 DA 계층의 활성화라고 가정하면, 이 Rollup 모델의 활성화는 L = Lda && Lss입니다. 즉, 두 부분 중 어느 하나에라도 활성화 오류가 발생하면 Rollup에도 활성화 오류가 발생합니다.

간단히 말해, 저는 활성화를 불리언 값으로 고려합니다. 공유 집계기가 오류가 발생하면 Rollup은 계속 작동할 수 없습니다. DA 계층 네트워크에 오류가 발생하면 공유 집계기는 Rollup 블록에 소프트 커밋먼트를 계속 제공할 수 있습니다. 그러나 이 경우 Rollup의 모든 속성은 완전히 공유 집계기 네트워크에 의존하게 되며, 후자의 속성은 종종 원래 DA 계층보다 훨씬 떨어집니다.

이제 위의 Rollup 솔루션의 검열 저항성에 대해 계속 논의해 보겠습니다:

이 솔루션에서 DA 계층은 특정 거래를 검열할 수 없습니다(번역자 주: 거래 검열은 특정 거래가 블록체인에 올라가는 것을 거부하는 경우를 말합니다). DA 계층은 공유 집계기가 제출한 전체 거래 배치에 대해 거래 검열을 수행할 수 있습니다(특정 배치가 DA 계층에 포함되는 것을 거부).

그러나 Rollup의 작업 흐름에 따르면, 공유 집계기는 DA 계층에 거래 배치를 제출할 때 이미 거래 정렬을 완료했으며, 서로 다른 배치 간의 순서도 정해졌습니다. 따라서 DA 계층의 이러한 거래 검열은 Rollup 장부의 최종성 확인을 지연시키는 것 외에는 다른 효과가 없습니다.

결론적으로, 저는 검열 저항성의 핵심이 시스템 내의 정보 흐름을 제어하거나 조작할 수 있는 실체가 없도록 보장하는 것이라고 생각하며, 활성화는 네트워크 중단 및 저항 행동이 있더라도 시스템의 기능과 가용성을 유지하는 것과 관련이 있습니다. 비록 이것이 현재 주류 학술 정의와 충돌하지만, 저는 제가 설명한 개념을 정의하는 데 여전히 사용할 것입니다.

변형 3: 기반 Rollup과 공유 집계기를 기반으로 한 비관적 Rollup

공유 집계기가 사용자와 커뮤니티에 이점을 제공하지만, 우리는 여전히 그것에 과도하게 의존하는 것을 피하고 사용자가 공유 집계기에서 DA 계층으로 철회할 수 있도록 해야 합니다. 우리는 앞서 소개한 두 가지 Rollup 변형을 결합하여 공유 집계기를 사용하는 동시에 사용자가 DA 계층에 직접 거래를 제출할 수 있도록 허용할 수 있습니다.

우리는 최종 Rollup 거래 순서가 공유 집계기가 제출한 거래 순서와 사용자가 DA 계층 블록에 직접 제출한 Rollup 거래에 따라 결정된다고 가정합니다. 우리는 이를 Rollup의 분기 선택 규칙이라고 부릅니다.

여기서 집계는 두 단계로 나뉩니다. 먼저, 공유 집계기가 작동하여 일부 거래를 집계합니다. 그런 다음 DA 계층은 공유 집계기가 제출한 배치와 사용자가 직접 제출한 거래를 집계할 수 있습니다.

이때 검열 저항성 분석은 더 복잡해집니다. DA 계층 네트워크 노드는 다음 DA 계층 블록이 생성되기 전에 공유 집계기가 제출한 배치를 검열할 수 있으며, 배치 내의 거래 데이터를 알게 되면 DA 계층 노드는 MEV 가치를 추출하여 자신의 Rollup 네트워크 계정을 사용하여 선행 거래를 시작하고 이를 DA 계층 블록에 먼저 포함시킨 다음 Rollup 공유 집계기가 제출한 배치를 포함시킬 수 있습니다.

명백히도, 세 번째 Rollup 변형의 소프트 커밋먼트가 보장하는 거래 순서의 최종 확정성은 앞서 언급한 두 번째 Rollup 변형보다 더 취약합니다. 이 경우 공유 집계기는 MEV 가치를 DA 계층 노드에 제공하게 됩니다. 이에 대해 저는 독자들에게 유리한 검열 MEV를 활용하는 연구 강의를 시청할 것을 권장합니다.

현재 DA 계층 네트워크 노드가 이러한 MEV 거래를 실행하는 능력을 줄이기 위한 몇 가지 설계 솔루션이 등장했습니다. 예를 들어 "재구성 윈도우" 기능은 Rollup 네트워크 사용자가 DA 계층에 직접 제출한 거래가 지연 실행되도록 합니다. Sovereign Labs는 "Soft Confirmations를 통한 기반 정렬(Based Sequencing with Soft Confirmations)"이라는 설계 제안에서 이를 자세히 설명했으며, "우선 정렬기(Preferred Sequencer)" 개념을 제안했습니다.

MEV 문제는 Rollup이 선택한 집계기 솔루션과 Rollup 분기 선택 규칙에 따라 달라지며, 일부 솔루션은 MEV를 DA 계층에 누출하지 않지만, 일부 솔루션은 일부 또는 전체 MEV를 DA 계층에 누출합니다. 그러나 이는 또 다른 주제입니다.

활성화에 관해서는, 이러한 Rollup 솔루션은 공유 집계기만 DA 계층에 거래를 제출할 수 있도록 허용하는 솔루션보다 더 유리합니다. 공유 집계기에 활성화 오류가 발생하더라도 사용자는 DA 계층에 거래를 제출할 수 있습니다.

마지막으로, 신뢰 최소화 상태에서 Rollup 사용자의 최소 구성에 대해 이야기해 보겠습니다:

최소한 DA 계층 경량 노드 + 공유 집계기 경량 노드 + Rollup 전체 노드를 운영해야 합니다.

이때 여전히 공유 집계기가 게시한 집계기 헤더를 검증해야 하며, Rollup 전체 노드는 분기 선택 규칙에 따라 거래 배치를 구분할 수 있습니다.

변형 4: 낙관적 기반 Rollup과 중앙집중화된 헤더 생성자

기반 낙관적 Rollup 변형과 중앙집중화된 헤더 생성자에 대해 논의해 보겠습니다. 이 솔루션은 DA 계층에서 Rollup 거래를 집계하지만, Rollup 헤더를 생성하기 위해 중앙집중화된 헤더 생성자를 도입하여 Rollup 경량 노드를 활성화합니다.

Rollup 경량 노드는 단일 라운드 사기 증명을 통해 Rollup 거래의 유효성을 간접적으로 확인할 수 있습니다. 경량 노드는 Rollup 헤더 생성자를 낙관적으로 신뢰하며, 사기 증명 윈도우가 끝난 후 최종 확인을 수행합니다. 또 다른 가능성은, 경량 노드가 정직한 전체 노드로부터 사기 증명을 수신하여 헤더 생성자가 잘못된 데이터를 제출했다는 것을 알게 되는 것입니다.

저는 이 글에서 단일 라운드 사기 증명의 작동 원리를 자세히 설명할 생각은 없습니다. 이는 이 글의 범위를 초과하기 때문입니다. 단일 라운드 사기 증명의 장점은 사기 증명 윈도우 기간을 7일에서 어느 정도 단축할 수 있다는 것입니다. 구체적인 수치는 아직 확정되지 않았지만, 전통적인 낙관적 Rollup보다 훨씬 작은 수치입니다. 경량 노드는 Rollup 전체 노드로 구성된 P2P 네트워크를 통해 사기 증명을 얻을 수 있으며, 후속 논쟁 과정을 기다릴 필요가 없습니다. 모든 기준이 단일 사기 증명에서 완전하게 제공되기 때문입니다.

위의 Rollup 모델은 DA 계층을 집계기로 사용하고 그 검열 저항성을 상속받습니다. 이때 DA 계층은 거래를 포함하고 정렬하는 역할을 합니다. 중앙집중화된 헤더 생성자는 DA 계층에서 Rollup 거래 순서를 읽고 이를 기반으로 해당 Rollup 헤더를 구축합니다. 헤더 생성자는 헤더와 상태 루트를 DA 계층에 게시합니다. 이러한 상태 루트는 사기 증명을 생성하는 데 필요합니다. 간단히 말해, 집계기는 거래를 포함하고 정렬하는 역할을 하며, 헤더 생성자는 거래를 실행하여 상태를 업데이트하고 상태 루트를 얻습니다.

DA 계층(이때 DA 계층은 Rollup의 집계기 역할도 수행함)이 충분히 탈중앙화되어 있고 좋은 검열 저항성을 가지고 있다고 가정해 보겠습니다. 또한 헤더 생성자는 집계기가 게시한 Rollup 거래 순서를 변경할 수 없습니다. 이제 헤더 생성자를 탈중앙화하면 유일한 이점은 더 나은 활성화가 되지만, Rollup의 다른 속성은 첫 번째 변형인 기반 Rollup과 동일합니다.

헤더 생성자에 활성화 오류가 발생하면 Rollup에도 활성화 오류가 발생합니다. 경량 노드는 Rollup 장부의 진행 상황을 따라갈 수 없지만, 전체 노드는 따라갈 수 있습니다. 이때 변형 4에서 설명한 Rollup은 변형 1에서 설명한 기반 Rollup으로 퇴화합니다. 명백히도, 변형 4에서 설명한 신뢰 최소화 최소 구성은 다음과 같습니다:

DA 계층 경량 노드 + Rollup 경량 노드.

변형 5: 기반 ZK-Rollup과 탈중앙화된 증명자 시장

우리는 비관적 Rollup(기반 Rollup)과 낙관적 Rollup을 논의했습니다. 이제 ZK-Rollup을 고려할 때입니다. 최근 Toghrul은 집계기(Sequencer)와 헤더 생성자(Prover)를 분리하는 것에 대한 발표를 했습니다(Zero-Knowledge Rollups에서의 Sequencer-Prover Separation). 이 모델에서는 거래를 상태 차이(State Diff)가 아닌 Rollup 데이터로 게시하는 것이 더 쉽게 처리되므로, 저는 전자를 중심으로 논의하겠습니다. 변형 5는 zk-rollup 기반의 탈중앙화된 증명자 시장입니다.

지금까지 Rollup의 작동 원리에 대해 비교적 익숙해졌을 것입니다. 변형 5는 집계기 역할을 DA 계층 노드에 위임하여 거래를 포함하고 정렬하는 작업을 수행합니다. 저는 Sovereign-Labs의 문서를 인용하여 변형 5에서 거래의 생애 주기를 잘 설명합니다:

사용자는 L1 체인(DA 계층)에 새로운 데이터 블록을 게시합니다. 이러한 데이터 블록이 L1 체인에서 최종 확정되면, 이는 논리적으로 최종성(변경 불가능성)을 갖게 됩니다. L1 체인의 블록이 최종 확정 단계(즉, 롤백 불가능)로 들어가면, Rollup의 전체 노드는 이러한 블록을 스캔하여 Rollup과 관련된 모든 데이터 블록을 순서대로 처리하여 최신 Rollup 상태 루트(Stateroot)를 생성합니다. 이때 Rollup 전체 노드의 관점에서 이러한 데이터 블록은 이미 최종 확정되었습니다.

이 모델에서 헤더 생성자는 탈중앙화된 증명자 시장이 맡습니다.

증명자(Prover) 노드(즉, ZK VM 내에서 실행되는 전체 노드)의 작업 과정은 일반 Rollup 전체 노드와 유사합니다. 즉, DA 계층 블록체인을 스캔하고 모든 Rollup 거래 배치를 순서대로 처리하여 해당하는 제로 지식 증명을 생성하고 이를 DA 계층 체인에 게시합니다. (Rollup 시스템이 증명자(Prover)를 유도하려면 후자가 생성한 ZK 증명을 DA 계층 체인에 제출해야 하며, 그렇지 않으면 어떤 증명자가 ZK 증명을 먼저 제출했는지 확인할 수 없습니다). 특정 거래 배치에 해당하는 ZK 증명이 체인에 게시되면, 해당 거래 배치는 모든 Rollup 노드(경량 노드 포함)에게 최종 확정된 것으로 간주됩니다.

(여기에는 많은 개념이 포함되어 있으므로, 도식도를 다시 한 번 살펴보시기 바랍니다)

변형 5는 DA 계층과 동일한 검열 저항성을 가지고 있습니다. 탈중앙화된 증명자 시장은 Rollup 거래를 검열할 수 없습니다. 왜냐하면 DA 계층에서 이미 규정된 거래 순서가 확정되었기 때문입니다. 단지 더 나은 활성화와 인센티브 시장을 만들기 위해 헤더 생성자(여기서는 증명자)를 탈중앙화한 것입니다.

여기서 활성화는 L = Lda && Lpm(증명자의 활성화)입니다. 만약 증명자 시장의 인센티브가 일관되지 않거나 활성화 오류가 발생하면, Rollup 경량 노드는 블록체인 진행 상황을 동기화할 수 없지만 Rollup 전체 노드는 가능합니다. 전체 노드의 경우, 이는 단순히 변형 1에서 언급한 기반 Rollup/비관적 Rollup으로 돌아가는 것입니다. 여기서 신뢰 최소화 최소 구성은 낙관적 Rollup의 경우와 동일합니다:

DA 계층 경량 노드 + Rollup 경량 노드.

변형 6: 혼합형 기반 Rollup + 중앙집중화된 낙관적 헤더 생성자 + 탈중앙화된 증명자

우리는 여전히 DA 계층 노드가 Rollup의 집계기로 작용하도록 하고, 거래 포함 및 정렬 작업을 위임합니다.

아래 그림에서 보시다시피, ZK Rollup과 낙관적 Rollup은 DA 계층에서 동일한 순서의 거래 배치를 사용하여 Rollup 장부의 출처로 삼습니다. 이는 우리가 두 가지 증명 시스템을 동시에 사용할 수 있는 이유입니다. DA 계층의 순서 거래 배치는 증명 시스템의 영향을 받지 않습니다.

먼저 최종성에 대해 이야기해 보겠습니다. Rollup 전체 노드의 관점에서 볼 때, DA 계층 자체의 블록이 최종 확정되면, 그 포함된 Rollup 거래 배치도 최종 확정되어 변경 불가능하게 됩니다. 그러나 우리는 경량 노드 관점에서의 최종성을 더 중요하게 생각합니다. 중앙집중화된 헤더 생성자가 일부 자산을 담보로 제공하고 생성된 Rollup 헤더에 서명한 후, 계산된 상태 루트를 DA 계층에 제출한다고 가정해 보겠습니다.

변형 4와 마찬가지로, 경량 노드는 헤더 생성자를 낙관적으로 신뢰하며, 그가 게시한 헤더가 잘못되지 않았다고 믿고 전체 노드 네트워크의 사기 증명을 기다립니다. 만약 사기 증명 윈도우가 끝났는데 전체 노드 네트워크가 사기 증명을 게시하지 않았다면, Rollup 경량 노드의 관점에서 Rollup 블록은 최종 확정된 것으로 간주됩니다.

핵심은, 만약 우리가 ZK 증명을 얻을 수 있다면, 사기 증명 윈도우가 끝날 때까지 기다릴 필요가 없다는 것입니다. 단일 라운드 사기 증명 외에도, 우리는 ZK 증명으로 사기 증명을 대체하고 악의적인 헤더 생성자가 생성한 잘못된 헤더를 제거할 수 있습니다!

경량 노드가 특정 Rollup 거래 배치에 해당하는 ZK 증명을 수신하면, 해당 배치는 최종 확정됩니다.

이제 우리는 빠른 소프트 커밋먼트와 빠른 최종성(Finality)을 갖게 되었습니다.

변형 6은 여전히 DA 계층과 동등한 검열 저항성을 가지고 있습니다. 왜냐하면 DA 계층을 기반으로 하고 있기 때문입니다. 활성화에 대해서는 L = Lda && (Lop || L_pm)로, 이는 우리가 활성화 보장을 추가했음을 의미합니다. 만약 중앙집중화된 헤더 생성자 또는 탈중앙화된 증명자 시장 중 하나에 활성화 오류가 발생하면, 우리는 다른 솔루션으로 퇴화할 수 있습니다.

이 변형에서 사용자 신뢰 최소화의 최소 구성은 다음과 같습니다:

DA 계층 경량 노드 + Rollup 경량 노드.

요약:

1. 우리는 Rollup의 핵심 역할인 정렬기(Sequencer)를 두 개의 논리적 구성 요소로 나누었습니다:

집계기와 헤더 생성자.

2. 우리는 정렬기의 작업을 세 가지 논리적 과정으로 나누었습니다: 포함, 정렬 및 실행.

3. 비관적 Rollup과 기반 Rollup은 동일한 것입니다.

4. 필요에 따라 다양한 집계기 및 헤더 생성자 솔루션을 선택할 수 있습니다.

5. 이 글에서 소개된 각 Rollup 변형은 동일한 설계 패턴을 따릅니다:

마지막으로, 저는 몇 가지 생각이 있습니다. 다음을 고려해 보시기 바랍니다:

고전적인 Rollup(즉, 이더리움 Rollup)은 위의 변형 중 어떻게 분류될 수 있을까요?

모든 변형에서 우리는 집계기가 포함 + 정렬을 담당하고 헤더 생성자가 거래를 실행하도록 했습니다. 만약 집계기가 거래 포함만 담당하고 헤더 생성자가 거래 정렬 및 실행을 담당한다면 어떻게 해야 할까요? 온체인 경매 단계를 도입하는 것을 고려할 때, 이 세 단계를 완전히 분리할 수 있을까요?

공유 헤더 생성자/헤더 생성자 시장이란 무엇인가요?

누가 MEV 가치를 포착하나요? 사용자가 그것을 되찾을 수 있을까요?