기술 요약: 이더리움 L2를 위한 안전한 AltDA 통합

문제 정의

Alternative Data Availability (AltDA) 시스템은 이더리움 레이어 2(L2) 롤업이 외부 네트워크(예: Celestia, EigenDA, Avail)에 대량의 데이터를 게시하면서 이더리움에는 압축된 참조값만을 게시함으로써 확장성을 확보할 수 있게 한다. 비록 이러한 방식이 네이티브 이더리움 데이터 가용성(DA)의 처리량 병목 현상을 완화해주기는 하지만, 통합 경계에서 치명적인 보안 격차를 유발한다.

기존의 생태계 프레임워크들은 DA 제공자에 대한 신뢰 가정이나 DA 검증자의 존재와 같은 고수준의 리스크를 식별하고 있다. 그러나 이들은 L2가 AltDA와 어떻게 통합되어야 하는지에 대한 완전한 명세를 제공하지 못한다. 이러한 엄격한 엔드 투 엔드(end-to-end) 명세의 부재는 다음과 같은 "지식 격차(knowledge gaps)"를 생성한다:

1. DA 검증자가 특정 데이터로부터 L2 상태가 유도되었음을 증명하지 못한 채, 외부 데이터에 대한 진술만을 인증할 수 있음.
2. **커밋먼트(Commitments)**가 생성 시점에는 유효하더라도, DA 시스템이 데이터를 삭제(pruning)하거나 데이터 검색 가능 시간이 만료될 경우 나중에 소비하기에 안전하지 않을 수 있음.
3. 유효한 커밋먼트가 여러 개 또는 비정형(non-canonical)의 롤업 페이로드로 디코딩되는 블롭(blob)에 바인딩될 수 있는 모호함이 존재할 수 있음.

이러한 격차는 L2 중단(halts), 정직한 노드 간의 불일치 있는 유도(derivation), 잘못된 상태 단언(state assertions), 그리고 검증되지 않았거나 상충하는 상태 전환을 바탕으로 자금을 인출하는 브릿지 공격과 같은 심각한 실패 모드로 이어질 수 있다.

방법론

본 논문은 AltDA 통합 경계를 타입이 지정되고 결정론적이며 전사적인(total) 변환 파이프라인으로 모델링하는 **정형 검증 프레임워크(canonical validation framework)**를 제안한다. 저자들은 이 흐름을 다음과 같이 정의한다:
$$\text{InboxBytes} \rightarrow \text{AltDACommitment} \rightarrow \text{Blob} \rightarrow \text{RollupPayload}$$

핵심 방법론은 L1 인박스(inbox)로부터 오는 임의의 바이트 문자열을 정확히 세 가지 결과 중 하나로 매핑하는 전사적 검증 함수(Total Validation Function) ($F$)를 정의하는 것이다:

1. RollupPayload(p): L2 실행 로직을 위한 고유하고 유효한 페이로드.
2. Drop: 반드시 결정론적으로 거부되어야 하는 유효하지 않은 입력.
3. Stall: 처리를 중단시키지만 합의 실패를 일으키지는 않는 일시적인 상태(예: 데이터 가용성 문제)로, 재시도/타임아웃 정책의 대상이 됨.

프레임워크는 이 파이프라인 전반에 걸쳐 강제되어야 할 여섯 가지 **의미론적 의무(semantic obligations)**를 식별한다:

• 정형 파싱(Canonical Parsing): 구현 특정적인 크래시 없이 임의의 인박스 바이트를 처리함.
• DA 검증(DA Verification): 커밋먼트가 외부 DA 시스템 하에서 정당한지 검증함.
• 최신성(Recency): 커밋먼트가 정산 윈도우(settlement window) 내에 정직한 당사자들이 여전히 데이터를 검색할 수 있을 만큼 최신임을 보장함.
• 커밋먼트-블롭 바인딩(Commitment-to-Blob Binding): 검색된 블롭이 커밋먼트에 고유하게 대응함을 증명함.
• 페이로드 유일성(Payload Uniqueness): 블롭이 정확히 하나의 정형 롤업 페이로드로 디코딩됨을 보장함.
• 결정론적 실패 처리(Deterministic Failure Handling): 모든 유효하지 않은 입력이 정의되지 않은 동작이 아닌, 정의된 Drop 또는 Stall 결과로 이어지도록 보장함.

저자들은 이 의무들이 어디에서 강제될 수 있는지 확인하기 위해 세 가지 통합 패턴을 분석한다:

1. 대화형 결함 증명(Interactive Fault Proof): 분쟁 해결 과정 내에서 DA 검증을 강제함.
2. 유효성 증명(Validity Proof): DA 관계(검증, 바인딩, 최신성)를 간결한 증명 문구(succinct proof statement) 내에 포함함.
3. 조기 인박스 검증(Eager Inbox Verification): 유도 파이프라인에 진입하기 전, L1 인박스 컨트랙트 수준에서 커밋먼트를 검증함.

주요 기여

1. 타입 지정 검증 모델: 본 논문은 L1 인박스 바이트, AltDA 커밋먼트, 외부 블롭, 롤업 페이로드를 분리하는 정형 모델을 도입하여, 한 도메인에서의 유효성이 다른 도메인에서의 유효성을 의미하지 않음을 명확히 한다.
2. 의미론적 의무: 고수준의 리스크 분류를 넘어 구체적인 의미론적 요구사항으로서 여섯 가지 핵심 의무를 명시적으로 정의한다.
3. 공격 так소노미(Attack Taxonomy): 누락된 의무로 인해 발생하는 구체적인 공격 벡터를 도출한다:
   • 제약이 부족한 정산(Under-constrained settlement): 상태 전환이 인증된 데이터에 바인딩되지 않은 채 수용되는 경우.
   • 유도 중단(Derivation halts): 유효하지 않은 입력이 정직한 노드를 충돌시키거나 분기(diverge)하게 만드는 경우.
   • 브릿지 안전성 실패(Bridge safety failures): 모호한 데이터 바인딩으로 인해 상충하는 상태 주장이 수용되는 경우.
4. 대표적 아키텍처 평가: 이 프레임워크를 Celestia-Blobstream (OP 및 Arbitrum), EigenDA (OP 및 Arbitrum), Avail-ZKsync를 포함한 실제 세계의 통합 사례에 적용한다. 분석 결과, 어떤 구성 요소(예: DA 브리지, 인박스 컨트랙트, 증명 시스템)가 어떤 의무를 수행하는지 밝혀내며, 현재 명세가 "식별되지 않음"으로 되어 있거나 추가적인 감사가 필요한 영역을 식별한다.

결과

기존 통합 사례들에 대한 평가는 DA 검증자나 브리지가 존재하는 것만으로는 충분하지 않음을 보여준다.

• Celestia 통합: Blobstream이 인증을 제공하지만, 분석 결과 일부 설계(예: Hana/OP)에서는 인증된 커밋먼트와 유도에 사용되는 데이터 사이의 바인딩 관계에 대한 엔드 투 엔드 강제가 명시적으로 결여되어 있었다. 최신성 규칙 또한 검토된 자료에서 명시적으로 식별되지 않았다.
• EigenDA 통합: 이러한 설계들(예: Hokulea/OP 및 Arbitrum)은 프레임워크와 더 높은 일치도를 보였다. Arbitrum 통합은 인박스에서 "조기 검증"을 사용하며, OP 통합은 DA 술어(predicate)를 강제하기 위해 유효성 증명에 의존한다. 저자들은 검토된 패턴에서 누락된 체크를 발견하지 못했으나, 이것이 완전한 보안의 증명은 아니라고 언급했다.
• Avail-ZKsync: EigenDA와 유사하게 인박스에서 조기 검증을 사용한다. 그러나 Celestia의 사례와 마찬가지로, 정산 윈도우와 연결된 명시적인 최신성 조건이 공개된 명세에서 식별되지 않았다.

결과는 안전한 AltDA 통합이 단순히 DA 제공자에 의해 결정되는 것이 아니라, L2 통합 스택 전체의 속성임을 확인시켜 준다.

의의 및 주장

본 논문은 안전한 AltDA 통합이 DA 제공자나 단일 검증자 호출의 속성이 아니라, 인박스, 유도, 증명 및 정산 경로의 엔드 투 엔드 속성이라고 주장한다.

저자들은 업계가 "DA 검증자"(외부 시스템에 대한 사실이 참인지 답변하는 것)에 너무 치중한 나머지, "통합 관계"(L2 경계의 모든 적대적 입력이 결정론적이고 정산이 강제되는 결과로 이어지는지 답변하는 것)를 소홀히 했다고 주장한다.

본 연구의 의의는 보안 패러다임을 전환하는 데 있다:

• 초점을 "신뢰 가정"에서 "검증 의무"로 옮긴다.
• 감사자와 개발자가 L2 정산 계층이 L1 입력과 수용된 L2 상태 사이의 전체 관계를 강제하도록 보장하기 위한 엄격한 명세를 제공한다.
• 이러한 전사적 검증 의미론을 강제하지 않으면, 기반이 되는 DA 시스템의 암호학적 강도와 무관하게 L2가 제약이 부족한 정산 및 브릿지 공격의 위험에 직면하게 된다는 점을 강조한다.

논문은 AltDA 기반 L2가 점점 더 많은 가치를 보호함에 따라, 통합 경계 또한 롤업의 실행 및 정산 시스템과 동일한 엄격함으로 명세화되고 감사되어야 한다고 결론짓는다.