[논문 리뷰] SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks

Sung-Shine Lee, Alexandr Murashkin외 2명|arXiv (Cornell University)|2022. 10. 28.

Blockchain Technology Applications and Security인용 수 14

한 줄 요약

이 논문은 블록체인 생태계 내 크로스체인 브리지 해킹 사례에 대한 체계적인 분석을 제공하며, 예금자 시스템, 믹싱 메커니즘, 크로스체인 커뮤니케이션과 같은 브리지 구성 요소의 근본 원인을 규명한다. 개선된 설계 패턴과 표준을 통해 대응 조치를 제안하며, 개발자 가이드라인의 필요성을 강조하여 총 10억 달러 이상의 손실을 야기한 반복적인 악용을 방지하고자 한다.

ABSTRACT

The blockchain ecosystem has evolved into a multi-chain world with various blockchains vying for use. Although each blockchain may have its own native cryptocurrency or digital assets, there are use cases to transfer these assets between blockchains. Systems that bring these digital assets across blockchains are called bridges, and have become important parts of the ecosystem. The designs of bridges vary and range from quite primitive to extremely complex. However, they typically consist of smart contracts holding and releasing digital assets, as well as nodes that help facilitate user interactions between chains. In this paper, we first provide a high level breakdown of components in a bridge and the different processes for some bridge designs. In doing this, we identify risks associated with bridge components. Then we analyse past exploits in the blockchain ecosystem that specifically targeted bridges.

연구 동기 및 목표

• 10억 달러 이상의 손실을 야기한 실제 브리지 해킹 사례를 분석하기 위해.
• 예금자, 믹싱 로직, 크로스체인 커뮤니케이션과 같은 브리지 구성 요소의 아키텍처적 및 구현 결함을 규명하기 위해.
• 잘못된 함수 호출 및 인터페이스 검증 부족과 같은 일반적인 취약점에 대한 실용적인 대응 조치를 제안하기 위해.
• 기존의 알려진 해킹 사례의 재발 방지를 위해 표준화된 보안 패턴과 개발자 가이드라인을 홍보하기 위해.
• 과거 공격 사례에 대한 지식을 체계화하여 기존 이론 문헌의 격차를 메우기 위해.

제안 방법

• 아키텍처 패턴에 기반해 브리지 구성 요소를 예금자, 믹싱, 커뮤니케이션 레이어로 분류하기.
• 10건 이상의 실제 브리지 해킹 사례를 분석하여 각 사례를 특정 구성 요소의 취약점과 연결하기.
• 존재하지 않는 함수에 대한 복귀하지 않는 호출 및 잘못된 허가 처리와 같은 공통된 공격 벡터 식별하기.
• 오프체인 토큰 호환성 목록과 인터페이스 인식 브리지 로직과 같은 솔루션 제안하여 잘못된 호출 방지하기.
• 기존 이론적 프레임워크와 실제 해킹 사례를 비교하여 현재 보안 지침의 격차를 드러내기.
• 예금자 및 부채 발행를 위한 ERC-20 유사 표준을 향한 향후 표준 제안하여 일관성과 보안 향상하기.

실험 결과

연구 질문

• RQ1 크로스체인 브리지의 주요 아키텍처 구성 요소 중에서 악용에 취약한 것은 무엇인가요?
• RQ2 스마트 계약의 특정 구현 결함이 어떻게 브리지 해킹을 성공으로 이끄는가요?
• RQ3 기존 이론적 모델은 왜 실제 브리지 해킹 사례를 방지하지 못합니까?
• RQ4 토큰 인터페이스 처리 및 크로스체인 커뮤니케이션과 관련된 브리지 해킹의 반복 패턴은 무엇인가요?
• RQ5 표준화된 인터페이스와 개발자 가이드라인이 알려진 브리지 취약성의 재발을 줄일 수 있나요?

주요 결과

• 지난 1년간 브리지 해킹으로 인해 10억 달러 이상의 디지털 자산이 손실되었으며, 이는 체계적 위험을 보여줍니다.
• 주요 취약점은 이더리움의 온체인 인터페이스 검사 기능 부재로 인해 브리지 계약이 존재하지 않는 함수를 호출해도 복귀하지 않는 데 기인합니다.
• 폴리 네트워크 해킹은 자금 손실을 야기하지는 않았지만, 크로스체인 커뮤니케이션과 신뢰 가정에 치명적인 결함을 드러냈습니다.
• 많은 공격가들은 인터페이스 검증 부재를 악용하여, 실제로는 호환되지 않는 구현을 가정한 채로 브리지가 토큰 호환성을 가정했습니다.
• 오프체인 토큰 호환성 목록과 인터페이스 인식 로직과 같은 솔루션은 잘못된 호출을 방지하고 공격 표면을 줄일 수 있습니다.
• 예금자 및 믹싱 구성 요소에 대해 ERC-20 유사 표준화된 보안 패턴이 반드시 필요하며, 이는 장기적인 브리지 보안 향상에 기여합니다.