스마트 컨트랙트 재진입 공격(Reentrancy) 차단하는 보안 코딩 습관
중첩된 강철 자물쇠와 맞물린 기어, 유리 프리즘이 대리석 미로 및 어두운 나무와 어우러진 복잡한 기계 장치.
안녕하세요, 10년 차 생활 밀착형 블로거 김창수입니다. 요즘 코인 시장이 다시 들썩이면서 블록체인 개발이나 스마트 컨트랙트에 관심을 가지는 분들이 부쩍 늘어난 것 같아요. 저도 예전에 호기심에 간단한 댑(DApp)을 만들어보려다 보안의 벽에 부딪혀서 꽤 고생했던 기억이 납니다.
스마트 컨트랙트 세계에서는 코드 한 줄의 실수가 수십억 원의 자산 손실로 이어지기도 하거든요. 그중에서도 가장 악명 높은 녀석이 바로 재진입 공격(Reentrancy Attack)입니다. 이더리움 역사상 가장 큰 사건이었던 DAO 해킹 사건의 주범이기도 한데, 원리만 알면 충분히 막을 수 있는 부분이라 오늘 자세히 풀어보려고 해요.
처음 접하면 용어가 생소해서 어렵게 느껴질 수 있지만, 사실 우리가 은행에서 돈을 찾는 과정과 비슷하다고 생각하면 이해가 빠르더라고요. 개발자뿐만 아니라 투자를 하시는 분들도 내가 맡긴 자금이 어떤 방식으로 보호되는지 알면 훨씬 안심이 되실 겁니다.
목차
재진입 공격의 기본 원리와 발생 이유
재진입 공격은 쉽게 말해서 "돈을 다 줬다는 장부 기록을 남기기 전에, 다시 돈을 달라고 요청하는 행위"라고 보시면 됩니다. 컨트랙트가 외부로 이더(ETH)를 송금할 때, 수신 측이 일반 지갑이 아니라 또 다른 컨트랙트라면 문제가 복잡해지거든요. 수신 측 컨트랙트의 fallback 함수가 실행되면서 원래의 송금 함수가 끝나기도 전에 다시 함수를 호출해버리는 식입니다.
이런 상황이 발생하면 잔액 업데이트 로직이 실행되지 않은 상태에서 계속 출금이 반복되게 됩니다. 공격자는 자신의 잔액은 그대로인데 금고의 돈은 바닥날 때까지 인출할 수 있게 되는 것이죠. 솔리디티(Solidity) 언어의 특성상 외부 호출이 제어권을 넘겨준다는 점을 악용한 아주 고전적이면서도 치명적인 수법이에요.
최근에는 라이브러리들이 좋아져서 많이 예방되긴 하지만, 여전히 복잡한 로직 사이에서 틈새가 발견되곤 합니다. 특히 여러 컨트랙트가 얽혀 있는 디파이(DeFi) 서비스에서는 한 곳의 허점이 전체 시스템의 붕괴로 이어질 수 있어서 정말 주의가 필요하더라고요.
보안 패턴별 장단점 비교 분석
재진입 공격을 막기 위한 방법은 크게 세 가지 정도로 나뉩니다. 각각의 방식이 장단점이 뚜렷해서 상황에 맞게 골라 쓰는 재미가 있더라고요. 제가 실무에서 느꼈던 점들을 토대로 표를 만들어 보았습니다.
| 방어 기법 | 주요 원리 | 장점 | 단점 |
|---|---|---|---|
| Checks-Effects-Interactions | 상태 변경 후 외부 송금 | 가스비 효율적, 직관적 | 개발자 실수 가능성 존재 |
| Reentrancy Guard | 뮤텍스(Mutex) 락 사용 | 가장 확실한 보안성 | 추가 가스비 발생 |
| Pull over Push | 사용자가 직접 인출 유도 | 리스크 전이 방지 | 사용자 경험(UX) 저하 |
개인적으로는 Checks-Effects-Interactions 패턴을 기본으로 깔고 가되, 중요한 자산 이동이 있는 함수에는 Reentrancy Guard를 이중으로 걸어두는 편이 가장 마음 편하더라고요. 가스비 몇 백 원 아끼려다 큰 화를 부를 수 있으니까요.
김창수의 뼈아픈 코딩 실패담
블로그 생활 10년 하면서 이런 치부까지 드러내게 될 줄은 몰랐네요. 예전에 지인들과 소규모 계모임용 스마트 컨트랙트를 짠 적이 있었어요. 그때 저는 "내가 짠 코드가 설마 뚫리겠어?"라는 안일한 생각에 빠져 있었죠.
당시 저는 출금 함수를 만들면서 msg.sender.call을 먼저 호출하고, 그 밑에 잔액을 0으로 만드는 코드를 넣었습니다. 테스트넷에서는 잘 돌아가길래 안심하고 있었는데, 보안 공부를 하던 친구가 제 컨트랙트를 보더니 5분 만에 제 모의 자산을 싹 털어가더라고요. 재진입 공격용 컨트랙트를 만들어서 제 출금 함수를 무한 반복시킨 것이었죠.
그때 정말 등골이 오싹했습니다. 다행히 실제 돈이 오가는 메인넷이 아니었기에 망정이지, 아니었다면 제 신용은 바닥을 쳤을 거예요. 그날 이후로 저는 "외부 호출은 무조건 마지막에"라는 철칙을 가슴에 새기게 되었습니다. 여러분은 저 같은 실수 절대 하지 마세요.
⚠️ 경고: 외부 호출의 위험성
.call() 함수를 사용하여 이더를 전송할 때는 제어권이 수신자에게 넘어갑니다. 이때 수신자가 악의적인 코드를 실행할 수 있다는 점을 항상 명심해야 합니다. 가급적 .transfer()나 .send() 보다는 .call()을 권장하지만, 반드시 보안 패턴을 동반해야 합니다.
실전에서 바로 쓰는 보안 코딩 습관
가장 먼저 익혀야 할 습관은 Checks-Effects-Interactions 순서를 지키는 것입니다. 첫째, 조건 확인(require)을 하고, 둘째, 컨트랙트 내부의 상태 변수(잔액 등)를 먼저 수정한 뒤, 셋째, 마지막에 외부와 상호작용(송금)을 하는 방식입니다. 이렇게 하면 송금이 실행되는 도중에 다시 들어와도 이미 잔액이 깎여 있어서 공격이 불가능해집니다.
두 번째는 검증된 라이브러리를 적극 활용하는 것이에요. 오픈제플린(OpenZeppelin)에서 제공하는 ReentrancyGuard를 상속받아 nonReentrant 제어자를 붙여주는 것만으로도 대부분의 위협에서 벗어날 수 있습니다. 직접 락(Lock) 로직을 짜는 것보다 훨씬 안전하고 검증된 방법이라고 생각합니다.
마지막으로 가스 제한(Gas Limit)에 대한 이해도 필요합니다. 최근에는 이더리움 업데이트로 인해 가스비 계산 방식이 달라지기도 하지만, 기본적으로 외부 호출 시에 과도한 가스를 넘겨주지 않도록 설정하는 것도 하나의 방어선이 될 수 있습니다. 하지만 이는 근본적인 해결책은 아니니 보조적인 수단으로만 생각하시는 게 좋습니다.
💡 김창수의 꿀팁: 보안 감사 도구 활용
코드를 다 짠 후에는 Slither나 Mythril 같은 정적 분석 도구를 꼭 돌려보세요. 사람이 눈으로 찾기 힘든 재진입 경로를 기가 막히게 찾아내 주더라고요. 무료 도구들이니 귀찮더라도 배포 전 필수 코스로 넣어두시길 추천합니다.
자주 묻는 질문
Q. .transfer() 함수를 쓰면 재진입 공격을 자동으로 막아주나요?
A. .transfer()는 가스 사용량을 2,300으로 제한해서 재진입을 어렵게 만들긴 합니다. 하지만 이더리움 가스 정책 변경 시 문제가 생길 수 있어 요즘은 .call()과 보안 패턴 조합을 더 권장하는 추세입니다.
Q. nonReentrant 제어자는 모든 함수에 붙이는 게 좋나요?
A. 상태를 변경하거나 외부 호출이 있는 주요 함수에만 붙이는 것이 좋습니다. 모든 곳에 붙이면 가스비 낭비가 심해지고 로직이 꼬일 수 있거든요.
Q. 재진입 공격은 이더리움에서만 발생하나요?
A. 아니요, EVM 호환 체인은 물론이고 스마트 컨트랙트 구조를 가진 대부분의 블록체인에서 논리적으로 발생할 수 있는 취약점입니다.
Q. 읽기 전용(Read-only) 재진입 공격도 있다던데 사실인가요?
A. 네, 맞습니다. 상태를 바꾸진 않지만 잘못된 상태 값을 다른 컨트랙트가 읽어가게 해서 오작동을 유도하는 방식인데, 이는 오라클 등에서 특히 주의해야 합니다.
Q. 프라이빗 블록체인에서도 보안 코딩이 필요한가요?
A. 내부자 공격이나 실수로 인한 버그를 방지하기 위해서라도 보안 표준은 반드시 지키는 것이 원칙입니다.
Q. Checks-Effects-Interactions 패턴에서 Effects가 정확히 뭔가요?
A. 컨트랙트 내의 변수 값을 업데이트하는 것을 말합니다. 예를 들어 사용자의 매핑(mapping)된 잔액을 줄이는 행위가 대표적입니다.
Q. 오픈제플린 외에 추천할 만한 라이브러리가 있나요?
A. Solmate 같은 라이브러리도 가스 효율성이 좋아 많이 쓰입니다. 다만 초보자라면 문서화가 잘 된 오픈제플린을 먼저 추천드려요.
Q. 보안 독학하기에 좋은 사이트가 있을까요?
A. Ethernaut나 Damn Vulnerable DeFi 같은 게임 형식의 사이트들을 추천합니다. 직접 해킹해보면서 배우는 게 제일 빠르더라고요.
스마트 컨트랙트 보안은 한 번의 실수도 용납되지 않는 냉혹한 세계 같지만, 기본 원칙만 철저히 지키면 의외로 견고한 성을 쌓을 수 있습니다. 오늘 공유해 드린 내용들이 여러분의 소중한 자산과 프로젝트를 지키는 데 작은 보탬이 되었으면 좋겠네요.
기술은 계속 발전하고 새로운 공격 기법도 나오겠지만, 기본을 중시하는 습관은 변하지 않는 가치를 지닌다고 믿습니다. 다음에도 실생활에 도움 되는 유익한 개발 이야기로 찾아오겠습니다. 궁금한 점은 언제든 댓글 남겨주세요!
작성자: 생활 블로거 김창수
10년 차 블로거이자 IT 트렌드 세터. 복잡한 기술을 일상의 언어로 풀어나가는 것을 즐깁니다.
댓글
댓글 쓰기