탈중앙화 금융(DeFi)의 폭발적인 발전으로 인해 '스마트 계약'이라는 개념이 디지털 경제의 핵심 기반이 되었습니다. 전통적인 프로그래밍 사고에서 보안은 구문 오류나 기술적 구현 오류를 제거하는 것으로 이해되는 경우가 많습니다. 그러나 Tan Phat Digital의 전문가가 지적한 바와 같이, 블록체인 역사상 가장 큰 금전적 손실은 특히 2025년과 2026년 초에 발생하는 손실이 항상 프로그래밍 "버그"에서 비롯되는 것은 아닙니다. 대신, "깨끗한" 소스 코드를 갖춘 프로토콜은 구조적 위험과 경제적 설계의 실수로 인해 여전히 붕괴될 수 있습니다.
이 보고서는 기술적으로 완벽한 스마트 계약이 여전히 극도로 위험할 수 있는 이유를 분석합니다. 이는 경제적 가정이 종종 간과되는 소스 코드와 블록체인 운영 환경 간의 복잡한 상호 작용에서 비롯됩니다. Web3 시대에는 "코드 안전성"과 "시스템 안전성" 사이의 경계를 이해하는 것이 필수적입니다.
비즈니스 로직 취약성과 경제적 불변성 위반
비즈니스 로직 오류는 프로그래밍 언어의 규칙을 위반하지는 않지만 프로토콜의 설계 의도를 위반하기 때문에 가장 어려운 문제 중 하나를 나타냅니다. 자동화된 버그 스캐닝 도구는 프로젝트의 구체적인 경제적 목표에 대한 맥락이 부족하기 때문에 이러한 유형의 위험을 놓치는 경우가 많습니다.
프로그래밍 오류와 논리 결함의 차이
위험의 본질을 더 잘 이해하려면 다음 두 가지 개념을 구별해야 합니다.
전통적인 프로그래밍 오류(버그): 일반적으로 구문 또는 코드 실행 오류입니다. 재진입 공격이나 오버플로 공격 등이 있습니다. 이러한 유형의 오류는 자동화된 검색 도구를 통해 쉽게 감지할 수 있으며 종종 계약이 중단되거나 거래가 취소되는 결과를 낳습니다.
비즈니스 논리 취약점: 자산 공유 비율을 잘못 계산하는 등 프로세스 설계 또는 수학적 계산에 오류가 있습니다. 이러한 유형의 오류를 감지하는 능력은 매우 낮고 깊은 비즈니스 이해가 필요하며 그 결과 자산 가치 하락 또는 불법적인 토큰 인플레이션이 발생하는 경우가 많습니다.
상태 업데이트의 불일치
상태 변수의 정확한 제어는 안전을 위한 전제 조건입니다. 개발자가 변수 간의 절대적인 동기화를 보장하지 못하는 경우(예: 사용자 잔액을 변경하지만 총 공급량을 업데이트하지 않음) 취약점이 발생합니다. 일관되지 않은 상태 업데이트와 관련된 악용은 이제 실제 공격의 약 11%를 차지하며, 이는 표준을 준수하는 코드라도 논리적 검사가 부족하면 여전히 허점을 만들 수 있음을 보여줍니다.
경제적 불변성 위반
경제적 불변성은 모든 시나리오에서 항상 유지되어야 하는 수학적 속성입니다. 예를 들어, 대출 프로토콜에서 담보 가치는 항상 대출 금액보다 커야 합니다. 대표적인 예가 2025년 11월 발생한 Balancer V2 익스플로잇으로, 약 1억 2,800만 달러의 피해를 입혔습니다. 공격자는 안정적인 풀의 수학 공식에 있는 반올림 오류를 이용했습니다. 소스 코드는 완전히 원활하게 실행되었지만 결함이 있는 수학적 논리로 인해 공격자는 연속적인 입출금 순서를 통해 가치를 추출할 수 있었습니다.
또한 참조: 이란 무엇입니까? 토큰경제학?
거래 주문(MEV)으로 인한 선행 공격 및 위험
스마트 계약은 완벽하게 프로그래밍될 수 있지만 공개 거래 대기열(mempool)을 운영하는 방식으로 인해 여전히 사용자에게 손실을 입힐 수 있습니다. 선행 공격은 공격자가 수익성 있는 거래를 관찰하고 더 높은 가스 요금을 지불하여 자신의 거래를 먼저 삽입할 때 발생합니다.
샌드위치 공격 메커니즘
이것은 DEX 거래소에서 가장 인기 있는 MEV 형태입니다. 공격자는 가격을 올리기 위해 미리 매수하고, 피해자가 비싼 가격에 주문을 매칭한 후 즉시 매도한다. 사용자는 최대 슬리피지를 감수하는 반면, 공격자는 인위적인 가격 차이로 이익을 얻습니다. 구체적인 예로 2025년 3월에 거래자는 Uniswap v3에 대한 파괴적인 샌드위치 공격으로 인해 220,000 USDC를 USDT로 교환할 때 거의 모든 가치를 잃었습니다.
네트워크 계층의 MEV 위험
MEV 위험 수준은 구조마다 크게 다릅니다. 네트워크:
이더리움 레이어 1: Mempool은 완전히 공개되어 있으며 가스 요금 우선 순위(Priority Gas Auction)에 따라 정렬됩니다. 주요 공격 형태는 샌드위치와 원자 차익거래입니다.
레이어 2(롤업): 일반적으로 개인 멤풀과 중앙 집중식 시퀀서를 사용합니다. 주요 정렬 메커니즘은 FCFS(선착순)입니다. 그러나 MEV 위험은 여전히 확률적 공격이나 타이밍 공격의 형태로 존재합니다.
외부 데이터에 대한 의존성 및 Oracle 조작
스마트 계약은 외부 데이터 자체에 접근할 수 없으므로 Price Oracle에 의존해야 합니다. Oracle의 입력 데이터가 잘못된 경우(예: Flash Loan을 통해) 계약은 해당 잘못된 정보를 기반으로 치명적인 조치를 실행합니다.
1억 1,700만 달러의 손실을 초래한 Mango Markets 공격이 대표적인 예입니다. 공격자는 자체 관리 계정 간에 대규모 매수 및 매도 주문을 실행하여 MNGO 토큰의 가격을 조작했습니다. 가상 가격이 급등하면 공격자는 이 MNGO 번호를 담보로 사용하여 플랫폼의 다른 귀중한 자산을 빌립니다. 스마트 계약은 담보를 확인하는 올바른 작업을 수행했지만 쉽게 조작되는 가격 소스를 너무 많이 신뢰하는 데 위험이 있습니다.
자세히 보기: DeFi가 사람들에게 미치는 위험은 무엇입니까? new
불변성 역설과 업그레이드 메커니즘(프록시)의 위험
불변성은 안정성을 제공하지만 오류를 수정해야 할 때 장벽이 됩니다. 이를 해결하기 위해 프로젝트에서는 프록시 디자인 패턴을 사용하여 로직을 업그레이드합니다. 그러나 이는 스토리지 충돌의 위험을 초래합니다. 업그레이드가 변수 순서를 올바르게 지정하지 않으면 데이터가 잘못된 위치에 덮어쓰여 시스템 충돌이 발생하게 됩니다.
2022년 Audius 해킹이 한 예입니다. 업데이트가 실수로 관리 변수를 덮어써서 공격자가 600만 달러 상당의 커뮤니티 자금을 탈취할 수 있었습니다. 또한 프록시를 사용하면 다음과 같은 장단점이 발생합니다.
불변 모델: 절대적으로 안정적이지만 오류를 수정할 수 없으며 데이터 마이그레이션 비용이 많이 듭니다.
업그레이드 가능한 프록시 모델: 유연성, 빠른 오류 수정이 가능하지만 중앙 집중화 및 저장소 충돌 위험이 높습니다.
하이브리드 모델 (골화):처음에는 업그레이드를 허용한 다음 프로토콜이 성숙해지면 영구적으로 잠깁니다.
거버넌스 및 DAO 공격 위험
DAO를 통한 분산형 거버넌스는 종종 권력 탈취 공격(거버넌스 탈취)의 표적이 됩니다. 공격자는 코드에서 오류를 찾는 것이 아니라 선거 시스템을 "하이재킹"하려고 합니다.
탈취 공격 및 "상속" 오류
1억 8,200만 달러의 피해를 입힌 2022년 Beanstalk 공격은 타임아웃 없음(Timelock)의 위험성을 보여줍니다. 공격자는 Flash Loan을 사용하여 과반수 표를 얻고 동일한 블록에서 바로 출금 명령을 실행합니다.
2026년에는 전문가들이 레거시 코드의 위험에 더 많은 관심을 기울일 것입니다. 2026년 1월 2,640만 달러의 손실을 입은 Truebit 해킹은 더 이상 사용되지 않지만 체인에 남아 공격자가 무료로 토큰을 발행할 수 있는 오래된 계약의 버그에서 비롯되었습니다. 이는 새로운 코드뿐만 아니라 정리되지 않은 "레거시" 부분에도 위험이 있다는 점을 강조합니다.
실용 가이드: 투자자의 관리 권한을 확인하는 방법
Tan Phat Digital의 권장 사항에 따르면 투자자는 Etherscan에서 다음 실사 단계를 수행해야 합니다.
관리자를 보유하는 엔터티를 확인하세요. 권리:
소유자또는관리자와 같은 기능을 찾으세요. 반송 주소가 개인지갑(EOA)인 경우 이는 궁극적인 위험입니다. 이상적으로는 다중 서명 또는 Timelock 지갑의 주소여야 합니다.다중 서명 지갑 식별(Multi-sig): 관리자 주소가 안전한 지갑(Gnosis Safe)인지 확인하세요. 서명자(
getOwners) 목록과 승인 기준(getThreshold)을 확인하세요. 하나의 지갑이 5/9인데 5개의 주소가 모두 같은 사람의 소유라면 탈중앙화는 환상일 뿐입니다.Timelock 메커니즘 분석:
minDelay함수를 찾으세요. 이 기간(보통 24시간~7일)은 악의적인 제안이 감지될 경우 사용자에게 자본을 인출할 수 있는 시간을 제공하는 "긴급 브레이크"입니다.피해야 할 위험 신호:
관리자는 개인 지갑(EOA)입니다.
중요한 경우에는 타임락 메커니즘이 없습니다. 변경 사항.
TWAP 대신 Oracle 현물 가격(Spot)을 사용합니다.
블록 탐색기에서 확인되지 않은 소스 코드.
초기화되지 않은 프록시로 누구나 원래 소유권을 가질 수 있습니다.
런타임 모니터링 및 불변의 중요성 테스트
2026년 3년 동안 웹 보안은 사전 대응 모델로 전환되고 있습니다. 단일 감사만으로는 충분하지 않습니다.
불변 테스트: 개발자는 불변 규칙(예: 총 부채가 담보를 초과하지 않음)을 정의하고 퍼징 도구를 사용하여 수백만 개의 시나리오를 테스트하여 해당 규칙을 어깁니다.
실시간 모니터링: Forta Firewall과 같은 도구를 사용하여 가상 환경에 미치는 영향을 시뮬레이션하여 악성 트랜잭션이 실행되기 전에 차단합니다. 환경.
Bridge를 위한 새로운 솔루션: ASAS-BridgeAMM 프로젝트와 같은 "Contained Degradation"에 대한 새로운 연구는 시스템이 완전히 충돌하는 대신 Oracle 또는 네트워크 대기 시간의 비정상적인 신호를 감지할 때 자동으로 제한 모드(수수료 인상, 제한 강화)로 전환하는 데 도움이 됩니다.
자주 묻는 질문 (FAQ)
초기화되지 않은 프록시 계약이 위험한 이유는 무엇입니까? 배포 후
initialize()함수가 즉시 호출되지 않으면 중요한 상태 변수(예: 소유자)가 기본값인 0이 됩니다. 공격자는 이 함수를 직접 호출하여 전체 계약을 제어할 수 있습니다.재초기화 공격이란? 이는 공격자가 중요한 매개변수를 덮어쓰거나 프로젝트 관리 권한을 변경하기 위해 초기화 기능을 다시 활성화하려고(보통 새 버전 V2로 업그레이드한 후) 시도할 때 발생하는 위험입니다.
저장소 충돌은 언제 발생합니까? 새 논리 계약의 변수 구조가 이전 프록시 계약의 변수 순서와 일치하지 않을 때 발생합니다. 그런 다음 변수에 데이터를 쓰면 실수로 논리 주소나 기타 중요한 매개변수를 덮어쓸 수 있습니다.
샌드위치 공격이 레이어 2에서 발생할 수 있나요? 레이어 2에는 종종 MEV를 줄이는 개인용 멤풀과 중앙 집중식 시퀀서가 있지만 샌드위치 공격은 여전히 블록 시간 예측 및 시퀀서 정책에 따라 확률적으로 발생할 수 있습니다.
Etherscan에서 다중 서명 지갑을 식별하는 방법은 무엇입니까? 탐색기에서 지갑 주소를 확인할 수 있습니다. 스마트 계약이고 Gnosis Safe와 같은 프레임워크의 소스 코드가 포함되어 있으며
getOwners및getThreshold와 같은 기능이 있는 경우 다중 서명 지갑입니다.ASAS-BridgeAMM의 "Contained Degradation"은 무엇입니까? 이는 "제한된" 작동 상태로, 시스템이 자동으로 거래 수수료(헤어컷)를 늘리고 인출 한도를 좁히고 네트워크 대기 시간 증가와 같은 위험 신호를 감지할 때 미끄러짐을 증가시킵니다.
완전히 안전한 언어임에도 불구하고 Rust가 여전히 위험할 수 있는 이유는 무엇입니까? Rust가 메모리를 방지하지만 오버플로되면 비즈니스 로직 오류, 시스템 간 상태 차이 또는 시스템 충돌로 이어지는 동기화 오류를 방지할 수 없습니다.
플래시 대출을 통한 거버넌스 인수는 어떻게 작동합니까? 공격자는 단일 거래에서 대량의 토큰을 빌려 투표 임계값에 도달하고 악의적인 제안을 전달한 후 즉시 실행하고 동일한 블록에서 대출금을 상환합니다.
Timelock은 Flash Loan 공격을 방지하는 데 어떻게 도움이 됩니까? 폴링과 실행 사이에 대기 시간(예: 48시간)을 강제함으로써 공격자가 며칠 동안 대출을 보유할 수 없기 때문에 Timelock은 Flash Loan 주기를 중단시킵니다.
Flash Loan Oracle Manipulation이란 무엇입니까? 공격자는 대규모 차입 자본을 사용하여 유동성 풀의 가격을 즉시 왜곡시키는 대규모 구매/판매 거래를 만듭니다. DeFi 프로젝트가 해당 풀에서 직접 가격을 가져오면 왜곡된 가격이 기록됩니다.
TWAP는 가격 조작으로부터 절대적으로 안전한가요? 아니요. 공격자가 전체 평균 기간(예: 30분) 동안 가격 편차를 유지할 만큼 강력하다면 TWAP 지수는 여전히 조작된 결과를 반환합니다.
고정 테스트와 단위 테스트의 차이점은 무엇입니까? 단위 테스트는 특정 상황(A가 B인 경우)을 테스트하는 반면, 고정 테스트는 수백만 개의 무작위 시나리오를 테스트하여 모든 경우에 항상 참이어야 하는 속성(예: 총 부채가 항상 담보보다 적음)을 테스트합니다.
OpSec 감사는 어떤 요소에 중점을 두나요? 코드 감사와 다른 점, OpSec 감사는 사람과 프로세스(키 관리, 직원 액세스, 사고 대응 프로세스, 서버 인프라 보안)에 중점을 둡니다.
Flash Loan은 성공적인 거래를 위해 어떤 조건을 요구하나요? 유일하고 가장 중요한 조건은 단일 블록의 동일한 거래에서 전체 대출 금액과 수수료를 대출 기관에 반환해야 한다는 것입니다.
프로젝트의 Timelock 주소를 확인하는 방법은 무엇입니까? Etherscan의 Contract 탭에 액세스하고 Contract 읽기를 선택한 후
owner기능을 찾으세요. 결과가 계약 주소인 경우 이를 클릭하여getMinDelay와 같은 Timelock 기능이 있는지 확인하세요.
Tan Phat Digital의 다층 보안 사고
프로그래밍 오류가 없는 스마트 계약은 보안이 경제, 거버넌스 및 인프라 간의 상호 작용에 달려 있기 때문에 여전히 매우 위험할 수 있습니다. Tan Phat Digital은 이상적인 안전 시스템에는 깨끗한 소스 코드, 탄탄한 경제 설계(지속적인 스트레스 테스트), 투명한 거버넌스(다중 서명 + 시간 잠금) 및 사전 예방적 운영(실시간 모니터링)이라는 4가지 보호 계층이 포함되어야 한다고 믿습니다.
분산 세계에서는 "신뢰하지 말고 검증하라"는 원칙이 항상 배후에 숨겨진 위험으로부터 자신의 자산을 보호하기 위한 지침입니다. 완벽한 코드 라인.
공유
