[논문 리뷰] Flashot: A Snapshot of Flash Loan Attack on DeFi Ecosystem

Yixin Cao, Chuanwei Zou외 1명|arXiv (Cornell University)|2021. 02. 01.

Blockchain Technology Applications and Security참고 문헌 11인용 수 9

한 줄 요약

이 논문은 DeFi에서 플래시 루프 공격 동안 자산 유동을 캡처하고 다이어그램화하는 표준화된 시각화 도구인 Flashot을 소개한다. 이는 복잡한 스마트 컨트랙트 상호작용의 투명한 분석을 가능하게 하며, 공격자가 유동성이 낮은 AMM 풀을 통해 정렬 및 조작을 통해 이득을 취하는 방식을 드러낸다. 플래시 루프는 상태가 급격히 변화하는 원자적이고 빠른 이벤트로서 '시간 팽창'을 유도하며, 이는 수익 추출을 가능하게 한다. 이는 강력한 프로토콜 설계와 유동성 기준 설정의 필요성을 강조한다.

ABSTRACT

Flash Loan attack can grab millions of dollars from decentralized vaults in one single transaction, drawing increasing attention from the Decentralized Finance (DeFi) players. It has also demonstrated an exciting opportunity that a huge wealth could be created by composing DeFi's building blocks and exploring the arbitrage change. However, a fundamental framework to study the field of DeFi has not yet reached a consensus and there's a lack of standard tools or languages to help better describe, design and improve the running processes of the infant DeFi systems, which naturally makes it harder to understand the basic principles behind the complexity of Flash Loan attacks. In this paper, we are the first to propose Flashot, a prototype that is able to transparently illustrate the precise asset flows intertwined with smart contracts in a standardized diagram for each Flash Loan event. Some use cases are shown and specifically, based on Flashot, we study a typical Pump and Arbitrage case and present in-depth economic explanations to the attacker's behaviors. Finally, we conclude the development trends of Flash Loan attacks and discuss the great impact on DeFi ecosystem brought by Flash Loan. We envision a brand new quantitative financial industry powered by highly efficient automatic risk and profit detection systems based on the blockchain.

연구 동기 및 목표

• DeFi에서 점점 더 복잡하고 영향력이 큰 플래시 루프 거래를 분석하고 시각화하기 위한 표준화된 도구의 부족을 해결하기 위해.
• 플래시 루프 이벤트 동안 스마트 컨트랙트 간 자산 유동을 투명하고 다이어그램 기반으로 표현하여 공격 메커니즘의 이해를 향상시키기 위해.
• 특히 펌프 및 아르비트 전략을 포함한 실제 플래시 루프 공격 패턴을 세부적인 경제적 및 기술적 분석을 통해 연구하기 위해.
• 특히 유동성 깊이가 얕은 자동시장제작자(AMM) 유동성 풀에서 발생하는 체계적 취약점을 규명하기 위해.
• 플래시 루프 공격가 프로토콜 설계의 약점을 드러내며, 이는 향후 유동성 및 리스크 제어 최적화를 위한 설계 지침을 제공하기 위해.

제안 방법

• Flashot은 단일 원자적 트랜잭션 내에서 여러 스마트 컨트랙트를 통해 자산 유동을 캡처하는 표준화된 시각적 다이어그램을 생성하는 프로토타입 시스템이다.
• 이 도구는 빌리기에서 아르비트 실행, 상환에 이르기까지 플래시 루프의 전체 수명 주기를 단일 블록체인 트랜잭션 내에서 모델링한다.
• 스마트 컨트랙트 상호작용의 형식화된 표현을 사용하여 자금이 DeFi 프로토콜, 특히 AMM 및 대출 풀 간에 어떻게 이동하는지 매핑한다.
• 이 프레임워크는 bZx 펌프 공격과 같은 실제 공격 사례에 적용되어, 저유동성 풀이 가격 오라클 조작을 통해 어떻게 악용되는지 설명한다.
• 플래시 루프 공격의 핵심 공격 벡터, 예를 들어 AMM의 자산 예비를 조작하는 방식을 정밀한 시점과 상태 변화 순서를 시각화함으로써 특정화할 수 있다.
• 시스템은 향후 리스크 및 수익 탐지 자동화를 지원하도록 설계되어, 시스템 분석을 위한 정량적이고 시각적인 기반을 제공한다.

실험 결과

연구 질문

• RQ1 플래시 루프 공격는 스마트 컨트랙트 상호작용과 자산 유동 수준에서 어떻게 체계적으로 시각화되고 이해될 수 있는가?
• RQ2 특히 AMM 기반 DeFi 프로토콜에서 플래시 루프 공격에 사용되는 공통 패턴과 메커니즘은 무엇인가?
• RQ3 저유동성 풀은 플래시 루프 이벤트 동안 어떻게 조작 가능해지며, 가격 오라클은 이러한 악용에서 어떤 역할을 하는가?
• RQ4 플래시 루프 공격는 DeFi 프로토콜 설계 및 유동성 관리에서 체계적 약점을 얼마나 드러내는가?
• RQ5 표준화된 시각화 도구인 Flashot은 더 강력하고 효율적인 DeFi 시스템 개발에 어떻게 기여할 수 있는가?

주요 결과

• Flashot은 플래시 루프 거래 동안 자산 이동 및 스마트 컨트랙트 상호작용의 정확한 순서를 캡처하는 표준화되고 투명한 다이어그램을 성공적으로 생성한다.
• bZx 펌프 공격는 저유동성 AMM 풀을 조작함으로써 예비 비율을 조작하여 심각한 가격 왜곡과 수익 추출이 가능함을 입증하였다.
• 플래시 루프 공격는 종종 단일 자산의 예비를 조작하여 가격 오라클을 조작함으로써 성립하며, 이는 거래 쌍의 인식 가격에 직접적인 영향을 미친다.
• 이 연구는 플래시 루프가 '시간 팽창' 이벤트로 작용함을 확인한다. 즉, 블록체인 상태가 얼어붙은 것처럼 보일 정도로 트랜잭션이 매우 빠르게 실행되어 감지되지 않는 상태 변화가 가능하다.
• 유동성이 충분하지 않은 프로토콜는 이러한 공격에 매우 취약하며, 이는 유동성 깊이가 사실상 플래시 루프 공격에 대한 '방어성'을 형성함을 시사한다.
• 플래시 루프 공격의 등장은 정반전 피드백 루프를 유도한다. 이는 취약점을 드러내며, 그 결과 프로토콜 개선, 유동성 통합, 생태계의 성숙을 이끈다.