522. 블록체인/스마트 컨트랙트 (Smart Contract) 보안 감사 (Reentrancy 공격 방어 등)

핵심 인사이트 (3줄 요약)

1. 본질: 스마트 컨트랙트 보안 감사는 한 번 배포(Deploy)하면 우주가 멸망할 때까지 코드 1줄도 수정(Patch)할 수 없는 블록체인의 불변성(Immutability) 딜레마 속에서, 코드 안에 도사린 취약점(재진입, 정수 오버플로우)이 단 1초 만에 100억 원의 고객 돈을 증발시키는 파멸적 사태를 막기 위해 배포 전에 현미경으로 코드를 난도질하는 영혼의 무결성 검증이다.
2. 가치: 기존 웹 서버 해킹은 DB가 털려도 백업본으로 롤백하면 그만이지만, 블록체인 해킹은 해커의 계좌로 돈이 이체되는 순간 블록에 영구 각인되어 전 세계 경찰이 와도 장부를 되돌릴 수 없는 '돌이킬 수 없는 죽음'을 뜻한다. 보안 감사는 이 "실수=파산"이라는 무자비한 세계에서 회사의 숨통을 지켜주는 유일한 생명 보험이다.
3. 융합: 앞서 배운 상태 기반 설계의 한계를 파고드는 **Race Condition(동시성 공격)**과 메모리 구조 결함을 악용하는 CWE 코드 룰셋이 솔리디티(Solidity) 문법과 융합되어, CEI(Checks-Effects-Interactions) 패턴이라는 블록체인만의 독자적이고 폐쇄적인 방어 아키텍처 절대 헌법을 창조해 냈다.

Ⅰ. 개요 및 필요성 (Context & Necessity)

• 개념: 블록체인 위의 프로그램(스마트 컨트랙트)은 이더리움(Ethereum) EVM 같은 가상 머신 위에서 도는 자판기다. "100원 넣으면 커피 줄게"라는 코드를 올린다. 그런데 코드를 멍청하게 짜서 해커가 "100원 넣고, 커피가 나오기 0.001초 직전에 동전을 실에 묶어 다시 빼기(Reentrancy 재진입 공격)"를 1만 번 반복하면, 자판기는 커피 1만 개를 뱉고 돈은 100원도 못 받는 지옥이 펼쳐진다. 이걸 막기 위한 방어 코딩과 검수 과정이다.

• 필요성: 2016년, 이더리움 역사상 최악의 참사인 'The DAO 해킹 사건'이 터졌다. 펀드 모금 컨트랙트에 코드 단 1줄의 허점(재진입 취약점)이 있었는데, 해커가 이 구멍을 통해 단 며칠 만에 600억 원 치의 이더리움을 싹 다 훔쳐 갔다. 기존 서버(AWS)였다면 서버 끄고 코드를 고치면 되지만, 블록체인은 '수정 불가(Immutable)' 룰 때문에 개발자도 코드를 멈출 권한이 없어서 두 눈 뜨고 600억이 빨리는 걸 구경만 해야 했다(결국 하드포크라는 억지 꼼수로 롤백하긴 했다). 코드 배포가 곧 돌이킬 수 없는 '신계약(God's Contract)'이 되는 세상에서, 배포 전 단 1줄의 논리적 결함도 허락하지 않는 1000% 무결점 테스팅의 족쇄가 절대적으로 필요해졌다.

• 💡 비유: 스마트 컨트랙트는 우주로 쏘아 올린 **'보이저 탐사선의 핵심 엔진 코드'**와 똑같습니다. 일반 웹 서버는 우리 집 거실에 있는 컴퓨터라 고장 나면 뚜껑 열고 고치면(패치 배포) 됩니다. 하지만 스마트 컨트랙트는 1번 배포(Deploy)하는 순간 지구에서 수억 킬로미터 떨어진 우주(블록체인 네트워크)로 날아가 버립니다. 우주에서 버그(해킹 구멍)가 발견되면? 고칠 방법이 없습니다. 그냥 그 1,000억짜리 탐사선이 우주 미아가 되는 걸 눈물 흘리며 지켜봐야 합니다. 그래서 우주로 쏘기 전 랩실에서 현미경으로 코드를 1만 번 뜯어보는 극한의 보안 감사(Audit)만이 유일한 생존법입니다.

• 등장 배경 및 발전 과정:

  1. 무정부 상태의 도래 (2015): 이더리움이 스마트 컨트랙트를 들고나오자 누구나 돈 복사 기계를 짰다. 솔리디티(Solidity)라는 신생 언어의 맹점을 몰라 수천억 원의 코인이 매일 털렸다.
  2. The DAO 사태와 피의 각성 (2016): 재진입(Reentrancy) 공격으로 600억이 증발하며 코인 시장 전체가 박살 날 뻔했다. "아, 블록체인은 코딩 1줄 실수하면 끝이구나"를 깨달은 전 세계 천재들이 보안 감사(Audit) 회사(CertiK, Quantstamp 등)를 떼돈 벌며 차리기 시작했다.
  3. 디파이(DeFi) 해킹의 고도화 (현재): 단순 문법 에러를 넘어, 0.1초 만에 1,000억을 빌려서 시세를 조작하고 갚는 플래시론(Flash Loan) 공격 등, 코드는 완벽한데 '경제학적 비즈니스 로직(설계)'을 비틀어버리는 초고도화 해킹이 폭발하며 감사(Audit)의 난이도가 신의 경지로 치솟았다.

• 📢 섹션 요약 비유: 기존 웹 해킹이 은행 도둑이 들어와서 **'금고의 돈을 주머니에 훔쳐 도망가는 물리적 범죄'**라면, 스마트 컨트랙트 해킹은 변호사가 들어와서 은행 약관(코드)의 띄어쓰기 맹점을 파고들어 **'내 통장 잔고를 100배로 불려달라고 합법적인 계약(Contract) 소송을 걸어 은행을 통째로 파산시키는 치명적 지능 범죄'**입니다. 약관(코드)이 한 번 등록되면 우주 끝날 때까지 안 바뀌기 때문에, 도장을 찍기 전 변호사 10명(보안 감사팀)이 약관을 분자 단위로 뜯어보는 수밖에 없습니다.

Ⅱ. 아키텍처 및 핵심 원리 (Deep Dive)

1. 절대 멸망의 주문: 재진입 공격 (Reentrancy Attack) 해부

스마트 컨트랙트 보안 면접 1순위. 이 개념을 모르면 블록체인 아키텍트 명함을 찢어야 한다.

[ 💥 해커의 먹잇감이 된 바보 코드 (The DAO 취약점) ]

function withdraw() public {
    uint balance = userBalances[msg.sender]; // 1. 내 잔고(100원) 확인
    require(balance > 0); 
    
    // 2. 💥 치명적 실수! 돈부터 보낸다 (Interaction)
    (bool success, ) = msg.sender.call{value: balance}(""); 
    
    // 3. 돈을 무사히 보내면, 내 장부 잔고를 0으로 지운다 (Effect)
    userBalances[msg.sender] = 0; 
}

• 해커의 마술: 해커가 이 출금 함수(withdraw)를 찌른다. 서버는 100원을 해커에게 보낸다(2번). 그런데 3번(잔고 0원 깎기)으로 넘어가기 찰나의 0.001초 순간! 해커가 돈을 받는 자기 지갑에 특별한 덫(Fallback 함수)을 깔아놔서, 돈이 닿자마자 자동으로 1번(출금 함수)을 또다시 호출(재진입)해버리게 짰다!
• 결과: 서버의 장부 잔고는 아직 3번 코드를 안 타서 100원이 그대로 남아있다. 시스템은 또 100원을 준다. 해커 지갑에 닿자마자 또 재진입! 100번이 반복된다. 내 잔고는 100원인데 시스템 돈 1만 원이 해커 통장으로 줄줄 새어 나간다.

2. 구원의 아키텍처 패턴: CEI (Checks - Effects - Interactions)

위의 대참사를 막는 블록체인 코딩의 절대 헌법 3원칙이다.

[ 🛡️ CEI 패턴이 적용된 절대 방어 코드 ]

function withdraw() public {
    // 1. Checks (검사): 돈이 있냐?
    uint balance = userBalances[msg.sender]; 
    require(balance > 0); 

    // 2. Effects (내 장부부터 고치기 💥 핵심): 돈을 주기도 전에 내 잔고부터 0원으로 깎아버림!
    userBalances[msg.sender] = 0; 

    // 3. Interactions (돈 보내기): 마지막에 진짜 돈을 쏨
    (bool success, ) = msg.sender.call{value: balance}(""); 
}

• 원리: 돈을 주기 전(3번)에, 장부부터 가차 없이 0으로 지워버린다(2번). 해커가 돈을 받고 0.001초 만에 악의적으로 다시 withdraw를 찔러(재진입)도, 이미 장부 잔고가 0으로 지워져 있으므로 1번 Checks 단계에서 "잔고 부족"으로 컷(Fail) 당하며 해킹의 루프가 물리적으로 끊어진다.

• 📢 섹션 요약 비유: 바보 코드(재진입 취약점)는 은행원이 손님에게 **'100만 원 현찰 묶음을 먼저 손에 쥐여주고, 영수증(장부)에 사인(잔고 차감)을 하려고 고개를 숙이는 짓'**입니다. 고개 숙이는 0.1초 찰나에 손님은 돈을 들고 도망갑니다. CEI 패턴(정답)은 무조건 '영수증(장부 잔고)에 손님 사인부터 쾅! 100% 받아내고 나서야(Effect), 금고 문을 열어 돈을 건네주는(Interaction)' 피도 눈물도 없는 절대적 순서(Sequence) 통제입니다.

Ⅲ. 융합 비교 및 다각도 분석

1. 일반 웹 보안 (OWASP) vs 스마트 컨트랙트 보안

둘 다 프로그램이지만, 코드가 돌아가는 우주(환경)의 결이 완전히 다르다.

과목 융합 관점

• 소프트웨어 공학 (Formal Verification, 정형 검증의 귀환): 일반 앱 만들 때 "이 코드가 100% 무결하다"고 수학적으로 증명하는 짓(정형 검증)은 항공우주(NASA)나 원자력 발전소에서만 쓰던 수십억짜리 노가다였다. 웹에선 스캐너(SAST) 대충 돌리고 말았다. 그런데 블록체인이 터지면 1,000억 원이 1초 만에 증발한다. 그래서 아키텍트들은 죽은 줄 알았던 이 '정형 검증(Mathmatical Proving)' 기술의 무덤을 파헤쳐 되살려 냈다. Certora나 Mythril 같은 도구를 써서 코드의 모든 상태(State) 공간을 텐서 수학으로 풀어, "우주가 멸망할 때까지 이 변수 값이 마이너스(-)가 될 확률은 수학적으로 0%다"라는 완벽한 논리적 증명 도장을 찍어내야만 배포를 허락하는 초극강의 백색 테스팅 융합이 부활했다.

• 아키텍처 (Proxy Contract / 업그레이더블 패턴): "한 번 올리면 못 고친다며? 그럼 버그 났을 때 진짜 다 죽어?" 이 끔찍한 불변성(Immutability) 딜레마를 뚫기 위해 천재 아키텍트들이 꼼수를 냈다. 바로 **Proxy Pattern(대리자 패턴)**이다. 껍데기 주소(Proxy Contract)만 유저에게 알려준다. 실제 비즈니스 로직(Logic Contract)은 다른 주소에 띄운 뒤 프록시가 가리키게(DelegateCall) 엮는다. 로직 코드에 600억짜리 버그가 터졌다! 아키텍트는 재빨리 버그 고친 'V2 로직 컨트랙트'를 허공에 새로 띄우고, 프록시의 '연결 손가락'만 V2로 쓱 바꿔치기해버린다. 불변성의 족쇄를 시스템 포인터 분리 아키텍처로 우아하게 박살 내버린 블록체인 버전의 '무중단 배포(Zero Downtime Deployment)'다.

• 📢 섹션 요약 비유: 일반 웹 방어는 **'플라스틱 성벽 쌓기'**입니다. 해커가 대포로 구멍을 내면, 다음 날 인부들을 불러 실리콘으로 막으면(패치) 그만입니다. 스마트 컨트랙트 방어는 **'티타늄 용접'**입니다. 불을 대고 한 번 굳어버리면 우주 끝날 때까지 뜯어고칠 수 없습니다. 만약 안에 뾰족한 가시(버그)가 남은 채로 굳어버렸다면 평생 피를 흘려야 합니다. 유일한 해결책(프록시 패턴)은 그 티타늄 방 옆에 아예 새로운 방을 하나 더 짓고, 겉에 달린 간판(Proxy)만 슬쩍 새 방으로 옮겨 달아 손님들을 구출해 내는 신들린 이사 기술뿐입니다.

Ⅳ. 실무 적용 및 기술사적 판단

실무 시나리오

1. 시나리오 — 언어 레벨의 함정, 정수 오버플로우(Integer Overflow)의 핵폭탄: 주니어 개발자가 토큰 전송 로직을 짰다. require(balances[msg.sender] - amount >= 0); 내 잔고에서 보낼 금액을 빼서 0보다 크면 통과시키는 당연한 로직이다. 해커의 잔고는 0원이었다. 해커가 보낼 금액(amount)에 10을 넣고 전송 버튼을 눌렀다. 0 - 10 = -10 이니까 튕겨야 정상이다. 그런데 서버가 "통과! 잔고는 1157경(京) 원입니다!"라며 우주 최강의 부자로 만들어줬다.

   • 아키텍트의 해결책: 하위 레벨 메모리 자료형(uint256)의 순환(Wrap-around) 속성 망각이다. uint(Unsigned Integer, 음수 없음) 변수는 0에서 1을 빼면 마이너스가 안 되고 지구 한 바퀴를 돌아 최고값(MAX_VALUE, 1157경)으로 미친 듯이 뻥튀기 점프를 해버린다(언더플로우). 아키텍트는 개발자들이 쌩으로 덧셈 뺄셈 기호(+, -)를 쓰는 타자 습관을 린터(Linter)로 찍어 눌러 사형시켜야 한다. 오직 이 오버플로우를 100% 감지하고 에러 뱉고 죽어버리는 SafeMath.sub() 같은 안전한 수학 라이브러리만을 템플릿으로 강제 융합해야 코인 복사 버그를 멸종시킬 수 있다. (참고로 Solidity 0.8 버전부터는 컴파일러 언어 레벨에서 이걸 아예 디폴트로 잡아주어 구원받았다. 언어 아키텍처의 위대한 진화다.)

2. 시나리오 — 플래시 론(Flash Loan) 공격, 코딩은 완벽한데 경제학이 박살 남: 디파이(DeFi) 대출 플랫폼. 코드 보안 감사(Audit)를 100점 맞아서 해킹 구멍은 0(Zero)이었다. 그런데 해커가 담보 0원으로 1,000억 원을 1초 만에 무담보 대출(Flash Loan)을 받더니, 옆동네 거래소에 그 1,000억을 쏟아부어 코인 시세를 90% 폭락시켰다. 폭락한 코인으로 내 시스템의 담보물을 똥값에 다 싹쓸이 청산(매입)한 뒤, 아까 빌린 1,000억을 1초 만에 이자 쳐서 갚고 떠났다. 단 10초, 트랜잭션 1번 만에 우리 회사의 금고 500억이 해커 주머니로 증발했다. 코드는 1줄도 안 틀렸다.

   • 아키텍트의 해결책: 스마트 컨트랙트의 블라인드 스팟, 비즈니스 융합 취약점(Economic Exploit)의 파국이다. SAST 툴이나 CEI 패턴은 이런 '시세 조작'을 절대 못 잡는다. 아키텍트는 "내 가격 책정 로직(Oracle)이, 방금 들어온 미친듯한 1,000억짜리 폭격 1방에 휘청거리는 얇은 귀(AMM)를 가졌는가?"를 설계 도면 단계에서 위협 모델링(Threat Modeling) 해야 한다. 가격을 매길 때 내부 풀(Pool)만 보지 말고, 체인링크(Chainlink) 같은 분산형 오라클(Decentralized Oracle) 기술을 융합시켜 외부 10개 거래소의 평균 가격을 가져와 1000억 폭격 1방에 시세가 1초 만에 뒤집히지 못하게 콘크리트 완충 지대(TWAP)를 설계해 두어야만 무자비한 자본 폭격을 방어할 수 있다.

도입 체크리스트

• 비즈니스적: 글로벌 1티어 보안 감사 업체(Audit Firm)의 인증 마크가 꽂혀 있는가? 스마트 컨트랙트 비즈니스는 '신뢰(Trust)' 그 자체다. 아무리 내부 개발팀이 "버그 0개 완벽해요!" 우겨도 투자자(고객)는 1원도 돈을 넣지 않는다. 런칭 전 무조건 수천만 원을 들여 CertiK, Hacken 같은 글로벌 ऑडिट 업체에 코드를 던져줘야 한다. 그들이 2주간 코드를 현미경으로 씹어 먹고 뱉어낸 **"Audit Report (취약점 없음 인증서)"**를 홈페이지 대문짝만하게 박아놓는 것 자체가 마케팅이자 비즈니스 컴플라이언스의 절대 허들이다.
• 기술적: tx.origin 을 인증(Auth) 수단으로 쓴 미친 코드가 있는가? 개발자가 "나를 호출한 놈이 사장님 지갑 주소(tx.origin)면 통과!"라고 짰다. 최악의 안티패턴. 해커가 사장님에게 피싱 메일을 보내, 사장님이 낚시 컨트랙트(A)를 누르게 속인다. A가 사장님 권한을 입고 살짝 은행 컨트랙트(B)를 찌른다. 은행 입장에선 릴레이로 넘어온 패킷의 맨 앞 출발지(tx.origin)가 사장님이니까 "오 사장님 어서오쇼!" 하고 해커 지갑으로 돈을 다 빼준다(피싱 우회). 아키텍트는 린터로 tx.origin 텍스트 자체를 사형 선고하고, 무조건 직전 단계 호출자만 보는 msg.sender 만을 권한 체크의 유일신으로 강제해야 한다.

안티패턴

• "코드 보안은 테스트넷(Testnet)에서 1달 돌려봤으니 안전해!" (블랙박스 맹신주의): 블록체인을 웹 개발처럼 하려는 무지한 안티패턴. 테스트넷(Ropsten 등)에서 마우스 1,000번 클릭해 보며 "버그 없네 배포!" 하는 짓. 해커는 마우스로 클릭하지 않는다. 그들은 봇(Bot)을 짜서 디컴파일(Decompile)된 당신의 바이트코드를 수학적으로 물어뜯는다. 블록체인은 런타임(DAST) 테스트보다 정적 분석(SAST)과 정형 검증(Formal Verification)으로 뼈대 자체의 수학적 무결성을 증명(Proof)하는 것이 생존율 99%를 좌우하는 학문적 극단주의의 세계다.

• 📢 섹션 요약 비유: 테스트넷에서 마우스만 클릭해보는 짓은, 우주선을 쏠 때 **'운동장에서 종이비행기 100번 잘 날았으니 대기권 돌파도 안전하겠지!'**라고 착각하는 꼴입니다. 우주는 공기 저항이 다르고 무중력(블록체인 특수 환경)입니다. 종이비행기를 날려보는 게 아니라, 우주선의 추진력과 마찰열을 **'수퍼 컴퓨터의 바람 시뮬레이터(정형 검증 및 AI Audit)'**에 집어넣고 수억 번의 미분 적분 수학 계산을 돌려서 철판(코드)이 안 녹는다는 걸 숫자로 증명해 내야만 우주에 쏠 자격이 주어집니다.

Ⅴ. 기대효과 및 결론

정량/정성 기대효과

미래 전망

• AI(LLM) 기반 자율 주행 컨트랙트 감사 (AI Smart Audit): 지금은 글로벌 감사 회사(CertiK)에 코드를 주면 인간 연구원들이 2주 동안 눈으로 파헤치며 3천만 원을 뜯어간다. 3년 뒤 미래엔 깃허브 코파일럿 같은 초거대 AI가 .sol 코드를 1초 만에 씹어 먹는다. "야, 너 여기 재진입 뚫리고, 플래시론 공격당하면 100억 날아가는 구조야. 내가 CEI 패턴으로 완벽하게 다 뜯어고친 패치 코드 짰으니 승인 눌러!" 라며 인간 보안 전문가 수백 명의 지능을 0.1초 만에 압살하는 AI 무료 해킹 방어 시대가 블록체인 생태계를 완전 평정할 것이다.
• ZKP (Zero-Knowledge Proof, 영지식 증명)의 궁극적 융합: 스마트 컨트랙트는 100% 투명해서 누구나 다 까볼 수 있는 게 장점이자 최악의 단점(프라이버시 멸망)이다. 이제 ZK-Rollups 같은 신기술이 융합된다. 해커가 체인을 까봐도 안에는 *&^#@ 같은 미친 암호화 쓰레기만 들어있다. 하지만 수학적으로는 "이 고객이 100만 원 이상 통장에 돈이 있음!"을 100% 팩트로 증명(연산)해 주는 기적. 보안 감사(Audit)의 초점은 이제 코드가 안전한가를 넘어, "ZKP 수학 회로(Circuit)에 빵꾸가 없는가?"를 검증하는 고등 암호학 수학자들의 전쟁터로 판이 바뀌고 있다.

참고 표준

• SWC Registry (Smart Contract Weakness Classification): 웹 해킹에 CWE(488번) 족보가 있다면, 블록체인엔 SWC가 있다! 전 세계 이더리움 천재들이 "너네 이따위로 코드 짜면 전 재산 날아간다"라고 모아놓은 블록체인 전용 136개 해킹 족보의 절대 성서.
• OpenZeppelin Contracts: "제발 니들 손으로 인증/암호화 로직 짜지 마!" 전 세계 블록체인 생태계에서 점유율 99%를 찍는 '안전한 복붙용 레고 블록' 라이브러리. 여기 들어있는 ReentrancyGuard(재진입 방지 자물쇠) 딱 하나만 상속받아 꽂아도 회사 재산의 90%를 방어할 수 있는 은혜로운 오픈소스 프레임워크.

스마트 컨트랙트(Smart Contract) 보안 감사는 소프트웨어 공학이 도달한 **'가장 잔인하고 되돌릴 수 없는 신의 영역(God's Realm)에서의 사투'**다. 일반 서버 백엔드 개발은 실수하면 "점검 중입니다" 팻말을 걸고 새벽에 몰래 패치하면 끝나는 인간계의 싸움이다. 하지만 블록체인의 Deploy(배포) 버튼을 누르는 순간, 당신의 코드는 영원불멸의 화석이 되어 우주 박물관에 박제된다. 전 세계 수백만 명의 해커들이 그 투명한 유리 상자 속 코드를 24시간 현미경으로 쳐다보며 단 1개의 띄어쓰기 맹점을 찾기 위해 눈에 불을 켠다. 뚫리면 자비 없는 사형(파산)뿐이다. 기술사는 이 버튼을 누르기 전, 뼈를 깎는 SAST 린팅, 정형 검증 수학 증명, 그리고 피도 눈물도 없는 외부 Audit(감사)이라는 3중의 용광로 속에 코드를 집어넣어 악마적 찌꺼기 1바이트조차 100% 소각해 내는 극도의 결벽증 아키텍트가 되어야만 한다. '코드가 곧 법(Code is Law)'인 세상에서 법전의 오타는 용서받을 수 없는 대역죄이기 때문이다.

• 📢 섹션 요약 비유: 스마트 컨트랙트 배포는 **'스페이스X 로켓 발사 카운트다운'**과 같습니다. 로켓이 우주로 솟아오르고 나면, 엔진이 고장 났다고 우주선 뚜껑을 열고 스패너로 나사를 다시 조일 수 없습니다(수정 불가). 폭발하면 수천억이 날아갑니다. 그래서 우주로 쏘기 전 1년 내내 지구 랩실에서 바람을 불고, 진공 상태를 만들고, AI로 수억 번의 추락 시뮬레이션(보안 감사 및 정형 검증)을 돌려서 단 0.0001%의 균열도 없음을 우주국(Audit 기관)이 도장을 찍어줘야만 비로소 빨간 발사 버튼을 누를 수 있는, 가장 가혹하고 완벽주의적인 초정밀 안전 점검의 정점입니다.

📌 관련 개념 맵 (Knowledge Graph)

👶 어린이를 위한 3줄 비유 설명

1. 내가 레고로 '100원 넣으면 장난감 나오는 자동판매기(스마트 컨트랙트)'를 만들어서 동네 한가운데 콘크리트로 딱! 굳혀놨어요. (배포 완료)
2. 그런데 어떤 나쁜 꼬마(해커)가 100원을 넣고 장난감이 톡 떨어지는 0.1초 찰나에 동전에 묶은 실을 확 잡아당겨(재진입 공격) 돈은 안 내고 장난감을 만 개나 훔쳐 가버렸어요! 콘크리트라 다시 고칠 수도 없어서 난리가 났죠.
3. 그래서 다음 자판기를 굳히기 전에는, **"무조건 돈이 확실하게 뱃속으로 꿀꺽 떨어진 걸 100% 확인한 다음(검사)에, 장난감 문을 열어준다(실행)!"**라는 엄청 깐깐한 순서(CEI 패턴)로 설계하고, 경찰 아저씨(보안 감사관)한테 100번 점검받는 걸 **'스마트 컨트랙트 보안 감사'**라고 부른답니다!