본문으로 이동
Financial Context Wiki

모듈형 블록체인 아키텍처

실행, 순서 결정, 데이터 가용성, 합의, 결제, 증명, 브리지, 거버넌스와 아카이브 책임의 분리를 의존 관계 중심으로 설명합니다.

업데이트

교육 목적의 정보이며 프로토콜, 브리지 또는 보안 조언이 아닙니다. 모듈형이라는 명칭만으로 시스템의 보장이 정해지지는 않습니다. 해당 버전과 자산에 대해 배포된 각 구성 요소, 데이터 경로, 증명, 시간표, 관리자, 브리지와 복구 경로를 확인하십시오.

직접 답변

모듈형 블록체인 아키텍처는 시스템이 책임을 어떻게 배분하는지 분석하는 방법이지 표준화된 상품 분류가 아닙니다. 실행, 트랜잭션 순서 결정, 상태 커밋먼트, 증명 또는 분쟁, 데이터 게시와 합의, 결제, 브리지, 거버넌스와 장기 아카이브는 하나의 프로토콜에 결합되거나 여러 시스템에 나뉘거나 여러 제공자에 중복될 수 있습니다. 한 계층이 여러 역할을 수행할 수도 있고, 한 역할이 여러 계층에 의존할 수도 있습니다.

따라서 유용한 질문은 프로젝트가 ‘모듈형’인지가 아니라 어느 구성 요소가 어떤 대상을 검증하고, 누가 이를 제어하며, 중단되면 어떤 일이 생기고, 사용자가 상태나 자산을 어떻게 독립적으로 복구하는가입니다. 시퀀서 영수증은 데이터 가용성이나 최종성이 아닙니다. 유효성 증명은 데이터를 제공하지 않고, 결제 체인의 커밋먼트는 영구 검색 가능성을 증명하지 않으며, 공유 결제는 롤업 간 동기식 조합성을 만들지 않습니다.

작동 방식

  1. 배포된 시스템을 고정합니다. 실행·결제 체인 ID, 프로토콜 버전, 가상 머신, 컨트랙트, 브리지와 자산 주소, 데이터 가용성 방식, 운영자, 관리자, 관측 블록 또는 시각을 기록합니다. 마케팅 분류가 배포 설정을 대신할 수는 없습니다.
  2. 책임 매트릭스를 작성합니다. 트랜잭션 유입과 순서 결정, 결정론적 실행, 상태 커밋먼트와 증명 또는 결함 분쟁, DA 게시와 그 합의, 결제 수용과 최종성, 브리지와 도메인 간 메시지, 업그레이드와 일시 중지, 과거 데이터 저장을 구분합니다. 한 책임을 한 계층에 억지로 넣지 말고 중복을 기록합니다.
  3. 트랜잭션과 배치 하나를 처음부터 끝까지 추적합니다. 서명된 입력, 시퀀서 또는 로컬 영수증, 순서대로 실행, 인코딩·압축된 배치, calldata·Blob·외부 DA 게시, 상태 주장과 증명 또는 분쟁, 결제 최종성, 마지막으로 메시지나 출금 실행까지 이어집니다. 각 경계에서 해시, 버전, 영수증과 시간표를 보존합니다.
  4. 검증 대상과 신뢰 가정을 식별합니다. 데이터 커밋먼트와 실제 바이트, 프로토콜 기간 중 가용성과 이후 검색 가능성, 실행 유효성과 합의 최종성, 브리지 회계와 자산 유동성을 구분합니다. 각 대상을 누가 재실행, 증명, 이의 제기, 검열, 업그레이드, 일시 중지 또는 은폐할 수 있는지 기록합니다.
  5. 용량과 수수료 원장을 재구성합니다. 원시·압축 바이트, 배치 점유율, DA 가격, 증명·결제 공통 비용, 실행·운영 수수료, 브리지 gas와 유동성 수수료를 측정합니다. 배치 평균 배분액은 사용자의 실제 청구액이나 트랜잭션 하나를 더 넣는 한계 비용과 같지 않습니다.
  6. 정상 경로의 처리량만 보지 말고 장애를 훈련합니다. 시퀀서, 배치 게시자, 증명자, 이의 제기자, DA 서비스, 결제 RPC와 브리지 릴레이를 중단하고, 혼잡 및 업그레이드 경계에서 강제 포함, 독립 파생, 데이터 복원, 증명 또는 이의 제기, 재시도, 탈출과 아카이브 복구를 시험합니다.
  7. 정규 증거와 대조합니다. 실행 영수증과 상태 루트를 배치 커밋먼트, DA 포함, 증명 또는 분쟁 게임 상태, 결제 최종성, 브리지 메시지와 최종 자산 잔액에 맞춥니다. 재구성, 매개변수 변경, 컨트랙트 업그레이드 또는 DA 이전 뒤에는 의존 관계 검토를 반복합니다.

계산 예시

  • 배치 비용과 압축. 한 배치에 트랜잭션 5,000개와 원시 입력 2,400 KB가 있고 압축 후에는 300 KB입니다. 압축 비율은 2,400 / 300 = 8.0x이고 바이트는 87.5% 감소합니다. DA 비용이 0.020 ETH, 공통 증명·결제 비용이 0.005 ETH이면 공통 평균 비용은 (0.020 + 0.005) / 5,000 = 0.000005 ETH/tx입니다. 실행·운영 비용 0.000020 ETH/tx를 더하면 총평균은 0.000025 ETH/tx입니다. 이는 비용 배분액이지 보장된 청구액이 아닙니다.
  • 샘플링 모델의 경계. 교육용 모델에서 공격자가 share의 25%를 숨기고 클라이언트가 복원 추출 방식으로 독립적이고 균일한 샘플을 20번 뽑는다고 합시다. 숨긴 share를 모두 놓칠 확률은 0.75^20 = 0.003171211939 = 0.3171211939%, 탐지 확률은 99.6828788061%입니다. 피어 간 상관관계, 적응형 제공, 소거 코딩과 실제 프로토콜의 샘플링 규칙은 이 단순 모델을 무효화할 수 있습니다.
  • 위원회 안전성과 가용성. 5-of-7 DA 위원회는 최대 2명이 이용 불가능해도 새 임계값 증명을 만들 수 있습니다. 3명이 이용 불가능하면 4 < 5명만 남습니다. 서명만 고려하는 교육용 규칙에서는 권한 있는 서명자 5명을 통제하면 임계값을 충족할 수 있습니다. 그래도 인증서는 내구성 있는 사본이 다섯 개 존재하는지, 사용자가 지금 바이트를 가져올 수 있는지, 실행과 결제가 유효한지를 증명하지 않습니다.
  • 여러 시간표와 빠른 출금. 교육용 임시 확인이 2 seconds 후, 배치 게시가 8 minutes 후, 결제 최종성이 그로부터 13 minutes 후에 도달하면 정확한 경과 시간은 21 minutes 2 seconds입니다. 낙관적 출금에 가정상의 7 days가 추가되면 총시간은 10,101 minutes 2 seconds입니다. 빠른 브리지가 0.15%의 요율로 10,000 USDC를 처리하면 수수료는 15 USDC, 수령액은 9,985 USDC입니다. 속도는 프로토콜 시간표를 줄이는 대신 브리지, 유동성 제공자와 재구성에 대한 가정을 더합니다.

위험

  • 실제 책임이나 계층 경계를 잘못 파악한다.
  • 시퀀서 검열, 순서 변경 또는 중단.
  • 강제 포함을 사용할 수 없거나 허가가 필요하거나 너무 느리다.
  • 배치 게시자 또는 상태 제안자의 중단.
  • 중앙화된 증명자의 고장 또는 증명 적체.
  • 활동 중이고 자격과 자금이 충분한 결함 이의 제기자가 없다.
  • 분쟁 게임 시간표, 보증금, 오라클 또는 검증 로직의 고장.
  • 유효성 회로, 증명 시스템 또는 검증 키 결함.
  • 필수 가용 기간 중 데이터 은폐.
  • 상관된 샘플링, 이클립스 또는 네트워크 관측 실패.
  • DA 위원회 임계값 공모 또는 키 탈취.
  • 프로토콜 데이터가 당시에는 가용했지만 내구성 있는 독립 아카이브가 없다.
  • 결제 계층 재구성 또는 최종성 오분류.
  • 브리지, 메시지 전달자, 재생 또는 목적지 실행 실패.
  • 빠른 브리지의 지급 불능, 재고 부족 또는 불리한 가격.
  • 관리자, 다중 서명 또는 보안 위원회 탈취.
  • 즉시 업그레이드, 비호환 버전 또는 부족한 탈출 유예 기간.
  • DA 수수료 급등, Blob 혼잡, 배치 축소 또는 보조금 종료.
  • 상태, 데이터, 증명, 컨트랙트 또는 클라이언트 버전 불일치.
  • 비동기 도메인 간 순서, 부분 완료 또는 조합성 실패.

흔한 오해

  • 모듈형 아키텍처는 모놀리식 설계보다 자동으로 더 분산화된다.
  • 유효성 증명은 데이터 가용성과 과거 데이터 검색을 대체한다.
  • 이더리움에서 결제하면 모든 구성 요소가 이더리움의 모든 보안 속성을 가져온다.
  • 시퀀서 성공 메시지는 최종 결제와 실행 가능한 출금을 뜻한다.
  • 더 높은 TPS, 공유 DA 또는 공유 결제는 더 낮은 비용과 동기식 조합성을 보장한다.

관련 주제

출처

탐색

위키 검색...