DeFi의 숨겨진 위험을 겨냥한 새로운 프레임워크

탈중앙화 금융(DeFi)은 전통적인 은행이나 중개인과 같은 금융 기관 대신 자체 실행 코드를 사용하는 공개 블록체인 위에 구축된 개방형 금융 시스템입니다. 이는 전통 금융 시스템에 대한 효율성과 독립성을 크게 향상시킬 수 있지만, 새로운 위험도 동반합니다.

첫 번째 위험 유형은 DeFi의 핵심을 이루는 이른바 “스마트 계약”에 연결됩니다. 부실하게 작성되었거나 악의적인 스마트 계약 하나가 재정 손실을 초래할 수 있습니다. 그리고 DeFi 사용자를 보호할 기관이나 규제자가 거의 없기 때문에, 분실되거나 도난당한 자금을 회수하기가 어렵습니다.

다행히 DeFi가 성숙해짐에 따라 안전한 스마트 계약 설계를 위한 표준이 등장했고, 이러한 위험으로부터의 안전성이 크게 향상되었습니다.

하지만 DeFi가 복잡해짐에 따라 다양한 스마트 계약이 서로 결합되어 새로운 DeFi 프로토콜을 구축하게 되었습니다. 이로 인해 새로 배포된 계약과 기존 블록체인 간의 상호작용을 이용해 경제적 손실을 초래하는 새로운 유형의 위험이 발생합니다.

University of Cagliari와 University of Trento의 이탈리아 연구진이 발표한 새로운 논문은 이러한 위험을 다루기 위한 새로운 프레임워크를 제안합니다. 이 논문은 Journal of Logical and Algebraic Methods in Programming에 게재 승인되었으며, 제목은 “DeFi 구성의 경제적 보안을 위한 형식적 프레임워크”입니다.

DeFi 및 Maximal Extractable Value (MEV)

MEV 설명

스마트 계약과 DeFi 상황을 이해하려면 Maximal Extractable Value (MEV) 개념을 알아야 합니다.

MEV는 공격자가 블록체인 시스템과 전략적으로 상호작용함으로써 추출할 수 있는 최대 가치를 의미합니다. 이는 일반적으로 검증자, 채굴자, 시퀀서가 트랜잭션을 재배열하거나 선택할 때 발생하지만, 일반 사용자가 스마트 계약 로직, 프로토콜 의존성, 가격 차이, 혹은 일시적인 자본 접근을 이용할 때도 발생할 수 있습니다.

“MEV는 사용자를 불리하게 만들고 인센티브를 왜곡시킬 수 있는 역학을 도입하지만, 동시에 공개 블록체인 인프라에 내재된 투명하고 관찰 가능한 현상이기도 합니다.”

Pranav Garimidi and Joseph Bonneau

새로운 계약으로 변화하는 MEV

MEV는 새로운 스마트 계약이 기존 계약과 통합될 때 발생하는 새로운 위험 벡터의 근원입니다.

“공격자는 프로토콜 간 의도치 않은 상호작용을 이용해 정직한 사용자에게 손해를 끼치는 경제적 이익을 얻을 수 있습니다.

DeFi가 확장되고 새로운 솔루션이 등장함에 따라 이 문제는 점점 커지고 있습니다.

“이러한 위험은 사용자가 DeFi 프로토콜을 자유롭게 조합할 수 있게 하는 신흥 플랫폼에 의해 더욱 악화됩니다.”

따라서 DeFi가 안전하다는 근본적인 질문에 대한 확실한 답이 필요합니다: 어떤 조건에서 DeFi 조합이 안전한가?

이러한 이유로, 이 연구를 수행한 연구자들은 DeFi 조합성을 위한 새로운 개념인 “MEV non-interference”를 제안한다. 이는 기존 블록체인 상태와의 상호작용이 새로 배포된 계약 집합에서 얻을 수 있는 Maximal Extractable Value (MEV)를 증가시키지 않아야 함을 요구한다.

그들은 이 프레임워크를 대표적인 DeFi 조합(거래소, 자동화된 마켓 메이커, 옵션, 대출 풀, 라우터, 차익거래 계약)에 적용했으며, 이를 통해 안전한 조합과 취약한 조합을 구분할 수 있음을 보여주었습니다.

블록체인 수준에서 계약 수준 분석으로

MEV 비간섭을 판단하려면 블록체인 수준의 MEV만 살펴보면 충분하지 않습니다. 대신 기존 계약과의 비간섭 원칙을 확인해야 합니다.

연구자들은 local MEV. 이것은 피해자 계약 집합에 대해 적대자가 가할 수 있는 최대 손실을 정량화하는 새로운 경제적 공격 측정 기준이다.

“전통적인 MEV가 전체 블록체인 상태를 대상으로 정의되는 반면, local MEV는 분석 대상 계약에 초점을 맞춥니다. 전역 관점에서 지역 관점으로의 전환이 우리 접근법의 핵심 요소입니다.”

이 프레임워크를 통해 연구진은 거래소, AMM, 바이너리 옵션, 대출 풀, 스왑 라우터, 차익거래 프로토콜 등 대표적인 DeFi 조합을 분석할 수 있었습니다.

경제적 상호작용 감사로 나아가며

연구진은 오라클 조작, flash‑loan attacks와 같이 새 계약에서 발생할 수 있는 취약점과 위험을 탐지하는 데 이 분석 프레임워크를 활용하는 구체적인 사례들을 다수 제시했습니다.

이때는 더 강력한 적대 모델(부유한 공격자)을 적용했으며, 공격자는 피해 계약에 대해 가능한 최대 손실을 입힐 만큼 충분한 토큰을 항상 보유하고 있다고 가정합니다.

전반적으로, 이는 개발자들에게 새로운 통합이 기존 스마트 계약에 미치는 영향을 이용한 간접 공격을 통해 사용자 자본을 노출시키는지를 테스트하기 위한 보다 실용적인 기반을 제공합니다.

하지만 이 프레임워크는 실제 운영 가능한 보안 시스템이 아니라 단지 형식적인 기반에 불과하다는 점에 유의해야 합니다. 또한 메모풀 활동, 가스 비용, 토큰 동결 공격, 동적 가격 책정 및 일부 이더리움을 제외합니다. (ETH ) 재진입 및 순환 의존성 같은 동작들.

따라서 DeFi에서 흔히 그렇듯, 보안을 향상시키는 것은 완벽한 알고리즘과 수학적으로 안전한 구성에서만 오는 것이 아니라 실제 이더리움 배포에 대한 적응에서도 비롯됩니다.

탈중앙화 금융에 투자하기

Chainlink

Chainlink (LINK ) Chainlink은 블록체인 스마트 계약을 실제 데이터, 외부 API 및 전통적인 결제 시스템과 연결하는 탈중앙화 네트워크입니다. Chainlink은 주요 시장 인프라, 금융 기관 및 DeFi 프로토콜에 널리 채택되어 Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido 등을 포함한 고급 사용 사례를 구현합니다.

출처: Chainlink

Chainlink은 블록체인 DeFi 프로토콜의 근본적인 문제를 해결합니다: 블록체인은 격리된 환경이며 기본적으로 외부 정보를 접근할 수 없습니다.

이는 스마트 계약이 잘못된 데이터에 따라 실행되는, 예를 들어 증권의 잘못된 가격과 같은 “가격 오라클 조작”에 취약하게 만듭니다. Chainlink을 사용하면 이러한 스마트 계약은 검증된 실제 이벤트를 기반으로 자동으로 실행되어야 합니다.

따라서 Chainlink은 이러한 형태의 조합성 위험을 직접 해결합니다. 이는 Chainlink을 여러 사용 사례에 유용하게 만듭니다:

• 암호화폐, 상품 및 주식에 대해 매우 정확하고 변조 방지된 시장 가격을 제공합니다.
• 블록체인 게임 및 NFT 배포를 위해 온체인에서 직접 암호학적으로 안전한 무작위 숫자를 제공합니다.
• 블록체인 네트워크 간 또는 SWIFT와 같은 전통적인 은행 인프라와의 통신을 위한 교차 체인 상호운용성 프로토콜 (CCIP).

하지만 LINK 토큰 투자자는 개발자들이 LINK 토큰을 사용해 Chainlink 노드 운영자에게 데이터 수집, 검증 및 전달 비용을 지불한다는 점을 인지해야 합니다.

그들은 또한 LINK가 직접적인 주식 소유권을 제공않는다, 대신 관련 인프라에 대한 참여를 제공한다는 점을 알아야 합니다.

최신 Chainlink (LINK) 주식 뉴스 및 개발

참조된 연구

^{1. Massimo Bartoletti, Riccardo Marchesin, and Roberto Zunino. A formal framework for the economic security of DeFi compositions. Journal of Logical and Algebraic Methods in Programming. 23 2026년 9월. 논문: 101171. 10.1016/j.jlamp.2026.101171}