A Systematic Taxonomy and Risk-Scoring Framework for Cross-Chain Bridge Security: Design, Retrospective Validation, and Comparative Analysis

디지털 화폐의 세계를 각기 다른 규칙, 통화, 법률을 가진 고립된 섬들의 집합체라고 상상해 보십시오. 오랫동안, 한 섬에서 다른 섬으로 보물을 옮기고자 한다면 당신은 꼼짝달싹 못 하는 처지였습니다. 물이 너무 깊고 조류가 너무 위험해서 그냥 헤엄쳐 건널 수도 없었습니다. 이를 해결하기 위해 엔지니어들은 "브리지(bridge)"를 건설했습니다. 이는 한 섬에 코인을 잠가두면 다른 섬에서 그와 일치하는 복사본을 받을 수 있게 해주는 특별한 디지털 터널입니다. 이 브리지들은 디지털 경제의 고속도로가 되어 사람들이 서로 다른 네트워크를 가로질러 거래하고, 게임을 즐기고, 투자할 수 있게 해주었습니다. 하지만 여기 함정이 있습니다. 브리지를 건설하는 것은 믿을 수 없을 정도로 어렵습니다. 만약 브리지의 잠금장치가 약하거나, 경비원이 졸고 있거나, 설계도에 실수가 있다면, 도둑들이 바로 걸어 들어와 모든 것을 훔쳐갈 수 있습니다. 실제로 이러한 브리지들은 해커들의 가장 인기 있는 표적이 되었으며, 불과 몇 년 만에 수십억 달러가 손실되었습니다.

개발자와 감사인들이 직면한 큰 질문은 이것입니다: "새로운 브리지를 구축하기 전에 그것이 안전한지 어떻게 알 수 있을까?" 현재 브리지의 안전성을 점검하는 것은 마치 서로 다른 사람들이 작성한 수천 개의 서로 다른 화재 보고서를 읽으며 집이 불에 탈지 아닐지 추측하는 것과 같습니다. "이 브리지 설계는 위험하다"라거나 "이것은 안전하다"라고 말해줄 단 하나의 단순한 체크리스트나 점수표가 존재하지 않습니다. 당신은 엉망진창인 기술 보고서들을 파헤치고, 해커가 무엇을 할지 추측하며, 그저 운이 좋기를 바라야 합니다. 이 논문은 명확하고 사용하기 쉬운 "리스크 점수(risk score)"를 만들어 이 혼란을 해결함으로써, 구축하기도 전에 개발자들이 위험 신호를 포착할 수 있도록 돕기 위해 등장했습니다.

브리지 안전 점수표

이 논문은 **브리지 보안 리스크 점수(Bridge Security Risk Score, BSRS)**라는 새로운 도구를 소개합니다. 이것을 롤러코스터의 안전 등급이라고 생각해보십시오. 타기 전에 당신은 트랙이 튼튼한지, 브레이크가 작동하는지, 안전벨트가 강한지 알고 싶을 것입니다. 사고가 발생하기를 기다리는 대신, 이 점수표는 설계도를 살펴보고 해당 놀이기구에 '낮음, 중간, 높음, 또는 치명적 위험'이라는 등급을 매길 수 있게 해줍니다.

Aritrik Ghosh가 이끄는 저자들은 이를 단순히 즉흥적으로 만들어낸 것이 아닙니다. 그들은 먼저 과거의 브리지 재난에 관한 방대한 양의 연구 논문과 보고서들을 검토했습니다. 그들은 대부분의 연구가 너무 광범위하거나(브리지가 일반적으로 어떻게 작동하는지에 대해 다룸), 혹은 너무 구체적(발생한 특정 해킹 사건 하나만을 조사함)이라는 것을 발견했습니다. 브리지가 실제로 사용되기 전에 그 설계를 보고 해킹 가능성을 예측할 수 있는 도구를 만든 사람은 아무도 없었습니다.

점수표의 작동 방식
BSRS는 간단한 수학 공식입니다. 작동하는 데 슈퍼컴퓨터나 인공지능이 필요하지 않습니다. 대신, 자동차를 점검하는 정비사처럼 브리지의 설계에 대해 일곱 가지 구체적인 질문을 던집니다:

1. 얼마나 많은 경비원이 지키고 있는가? (검증인 세트 크기 - Validator Set Size)
2. 문을 열기 위해 얼마나 많은 경비원의 동의가 필요한가? (서명 임계치 - Signature Threshold)
3. 어떤 종류의 잠금장치를 사용하는가? (검증 모델: 신뢰받는 위원회인가, 수학적 증명인가, 아니면 라이트 클라이언트인가?)
4. 누가 마스터 키를 보유하는가? (업그레이드 키 관리 - Upgrade-Key Custody)
5. 실수를 잡아낼 수 있는 "냉각 기간"이 있는가? (프라우드 프루프 윈도우 - Fraud-Proof Window)
6. 브리지는 얼마나 많은 외부 조력자에게 의존하는가? (오라클/릴레이어 의존성 - Oracle/Relayer Dependencies)
7. 전문가에게 검증을 받았는가? (감사 성숙도 - Audit Maturity)

각 답변에는 숫자가 부여됩니다. 만약 브리지에 경비원이 너무 적거나, 잠금장치가 약하거나, 한 사람이 즉시 변경할 수 있는 마스터 키를 가지고 있다면 높은 리스크 점수를 받게 됩니다. 반대로 독립적인 경비가 많고, 강력한 수학적 잠금장치를 갖추고 있으며, 변경 사항에 대해 긴 대기 기간을 둔다면 낮은 리스크 점수를 받게 됩니다.

점수표 테스트
그들의 새로운 점수표가 실제로 작동하는지 확인하기 위해, 저자들은 열 개의 실제 브리지를 가져와 테스트를 진행했습니다. 이 중 8개의 브리지는 이미 해킹을 당해 수백만 달러를 잃었습니다. 나머지 2개(LayerZero와 Axelar)는 주요 해킹을 당하지 않았습니다.

결과는 놀라웠습니다. Ronin Bridge(6억 2,500만 달러 손실)와 Harmony Horizon Bridge(1억 달러 손실)처럼 해킹을 당했던 브리지들은 모두 '높음' 또는 '치명적' 리스크 점수를 받았습니다. 점수표는 경비원이 너무 적거나 서명 규칙이 취약한 것과 같이 그들의 설계에 구멍이 많다는 것을 정확히 식별해냈습니다.

반면에, 해킹을 당하지 않은 두 개의 브리지는 '낮음'에서 '중간' 정도의 점수를 받았습니다. 이는 그들의 설계가 더 나은 경비 시스템과 강력한 검증 방법을 갖춘, 더 견고하다는 것을 시사합니다.

점수표의 한계
저자들은 자신들의 도구가 가진 한계에 대해 매우 솔직합니다. 그들은 BSRS가 집의 설계도를 확인하는 것과 같다고 설명합니다. 설계도는 기초가 흔들리는지 혹은 문이 약한지는 알려줄 수 있습니다. 하지만 배관공이 벽 안에 파이프를 제대로 설치했는지는 볼 수 없습니다. 만약 브리지의 설계는 완벽하지만 프로그래머가 코드에 아주 작은 오타(즉, "로직 버그")를 냈다면, 점수표는 여전히 좋은 등급을 줄 수도 있습니다. 예를 들어, Qubit Finance 브리지는 중간에서 높은 점수를 받았음에도 불구하고, 점수표의 설계 파라미터가 잡아낼 수 없는 특정 코딩 오류 때문에 해킹을 당했습니다.

이것이 중요한 이유
이 논문은 브리지 보안 문제를 영원히 해결했다고 주장하는 것이 아닙니다. 대신, 명확하고 투명한 출발점을 제공합니다. 우리는 다음 디지털 고속도로를 건설하기 전에, 설계가 안전한지 확인하기 위해 간단한 체크리스트를 사용해야 한다고 제안합니다. 이는 대화의 흐름을 "해킹당하지 않기를 기도하자"에서 "리스크를 측정하고 약점을 먼저 고치자"로 바꿉니다.

저자들은 향-후 더 많은 데이터와 자동화된 도구를 통해 이 점수표가 개선되기를 희망하지만, 현재로서는 누구나 브리지를 보고 근거 없는 추측이 아닌 사실에 기반하여 "이것은 위험해 보인다" 또는 "이것은 안전해 보인다"라고 말할 수 있게 해주는 필수적이고 이해하기 쉬운 방법을 제공합니다.