Celestia Namespaced Merkle Tree: 특정 롤업 데이터 포함을 증명하는 법

네임스페이스 머클 트리(Namespaced Merkle Tree)는 각 잎 노드의 데이터 앞에 네임스페이스 식별자를 붙이고, 잎을 네임스페이스 순서대로 정렬하며, 내부 노드 해시에 하위 네임스페이스의 최소·최대 범위를 함께 담습니다. 덕분에 특정 롤업은 자기 몫의 연속된 조각(share)과 경계 증명만 받아도 그 데이터가 루트에 포함됐는지, 같은 네임스페이스의 일부가 빠지지 않았는지 확인할 수 있습니다. 이 증명은 블록 전체 데이터가 네트워크에 공개돼 있는지를 따지는 데이터 가용성 샘플링(DAS) 판단과는 별개입니다.

일반 머클 루트에 네임스페이스 범위를 더합니다

일반 머클 트리는 잎과 형제 노드 해시만으로 어떤 데이터가 루트 아래에 포함됐음을 효율적으로 증명합니다. 하지만 특정 앱의 데이터가 여러 잎에 흩어져 있을 때 제공자가 일부만 골라 건네면, 단순 포함 증명을 여러 개 모아도 ‘이것이 전부’라고 확인하기 어렵습니다. Celestia는 조각을 네임스페이스 식별자 순서로 배치하는 NMT를 씁니다.

각 내부 노드는 요약 해시와 함께 하위 잎의 최소·최대 네임스페이스 범위를 커밋합니다. 검증자는 자기 네임스페이스 조각 양쪽 경계 노드의 범위를 보고, 같은 네임스페이스 데이터가 숨을 틈이 없는지 확인할 수 있습니다. 정렬 규칙과 범위 커밋이 완전성 증명의 핵심입니다.

NMT는 데이터가 있는 가지뿐 아니라 같은 이름표 데이터가 더 숨어 있을 수 있는 범위까지 커밋합니다.

JOBCOIN 해설

그림으로 보기체인 사이의 검증 과정

1. 01
   일반 머클 루트에 네임스페이스 범위를 더합니다

   일반 머클 트리는 잎과 형제 노드 해시만으로 어떤 데이터가 루트 아래에 포함됐음을 효율적으로 증명합니다.

2. 02
   포함·완전성·부재는 서로 다른 질문입니다

   포함 증명은 특정 조각이 NMT 루트에 들어 있는지에 답합니다.

3. 03
   행과 열 커밋먼트 구조 안에서 쓰입니다

   Celestia는 블록 데이터를 조각으로 나누고 2차원 리드-솔로몬 부호화로 확장한 뒤, 각 행과 열에 커밋먼트를 만듭니다.

설명을 위한 개념도 · 실제 가격·거래 내역·통계가 아닙니다.

포함·완전성·부재는 서로 다른 질문입니다

포함 증명은 특정 조각이 NMT 루트에 들어 있는지에 답합니다. 네임스페이스 증명은 연속 구간의 조각과 양쪽 형제 노드를 써서 해당 네임스페이스의 전체 범위를 검증합니다. 부재 증명은 대상 네임스페이스가 없을 때 인접 범위가 그 식별자를 건너뛴다는 사실을 보여 줍니다.

어떤 증명도 원문 의미가 올바르거나 롤업 상태 전이가 유효하다고 자동으로 보장하지 않습니다. 증명이 확인하는 것은 네임스페이스 식별자가 붙은 바이트가 커밋된 데이터 안에 있다는 구조적 사실뿐입니다. 앱은 조각 해석, 블롭 커밋먼트, 거래 유효성을 별도 규칙으로 검사해야 합니다.

행과 열 커밋먼트 구조 안에서 쓰입니다

Celestia는 블록 데이터를 조각으로 나누고 2차원 리드-솔로몬 부호화로 확장한 뒤, 각 행과 열에 커밋먼트를 만듭니다. NMT는 네임스페이스 데이터를 다루는 행 구조와 결합되고, 상위 데이터 루트가 행·열 루트를 다시 커밋합니다. 앱의 증명은 이 여러 층의 경로를 정확한 루트까지 이어 붙여야 합니다.

증명 검증기는 네임스페이스 버전과 식별자 길이, 조각 위치, 행 루트와 데이터 루트의 연결을 확인해야 합니다. base64 바이트를 문자열 네임스페이스처럼 비교하거나 최소·최대 필드 순서를 뒤바꾸면 잘못된 증명을 통과시킬 수 있습니다. 공식 라이브러리와 시험 벡터를 재사용하는 이유가 여기에 있습니다.

• 요청할 네임스페이스의 버전과 식별자 바이트를 정확히 고정합니다
• 돌려받은 조각이 네임스페이스 순서대로 연속인지 확인합니다
• 측면 노드의 최소·최대 범위와 요약 해시를 루트까지 다시 계산합니다
• 행 루트가 해당 블록 데이터 루트에 포함된다는 상위 증명을 검증합니다

선택 조회와 데이터 가용성을 섞지 않습니다

NMT 덕분에 롤업은 다른 앱의 블롭까지 통째로 내려받지 않고 자기 네임스페이스 조각만 조회할 수 있습니다. 그러나 제공자가 응답하지 않으면 NMT가 없는 바이트를 만들어 주지는 못합니다. 블록 전체 데이터가 충분히 공개됐는지는 소거 부호화와 데이터 가용성 샘플링, 그리고 풀 노드·브리지 노드의 제공 경로가 답합니다.

반대로 DAS가 높은 확률로 블록 가용성을 뒷받침해도, 특정 앱이 받은 블롭이 자기 네임스페이스 전체인지는 NMT 증명으로 따로 검증해야 합니다. 두 장치는 서로 보완하지만 같은 증명은 아닙니다. 운영 지표도 네임스페이스 조회 성공률과 DAS 표본 신뢰도를 분리해 봅니다.

롤업 통합은 루트의 출처까지 기록합니다

증명이 의미를 지니려면 검증자가 신뢰하는 정식 블록 헤더의 데이터 루트와 연결돼야 합니다. 아무 제공자나 건넨 루트에 증명이 들어맞는다고 해서 정식 체인에 포함됐다고 볼 수는 없습니다. 헤더의 높이·해시·최종 확정 출처를 저장하고, 증명 바이트와 네임스페이스도 함께 보관합니다.

실무에서 NMT를 읽는 순서는 정렬, 범위, 해시 경로, 정식 루트입니다. 이 네 단계를 모두 통과한 뒤에야 특정 네임스페이스 데이터가 해당 블록 커밋먼트 아래 포함됐다고 말할 수 있습니다. 데이터를 영구 보존하거나 과거 데이터를 다시 꺼낼 수 있는지는 별도의 운영 정책 문제입니다.

자주 묻는 질문