OpenZeppelin CEO "DeFi는 안전하지 않다": 감사 모델의 종말

Manuel Aráoz, OpenZeppelin의 공동 창업자는 지난 주 청중에게 AI가 스마트 컨트랙트 취약점을 찾는 데 있어 초인적인 수준에 도달했기 때문에 DeFi는 더 이상 안전하지 않다고 말했습니다. 그가 설립한 회사는 이더리움의 상당수가 기본으로 불러오는 보안 라이브러리를 작성합니다. OpenZeppelin CEO가 DeFi가 안전하지 않다고 말할 때, 감사 모델에 대한 논의는 끝난 것입니다.
저는 LCX에서 4년간 감사 보고서들이 나오는 것을 지켜봤습니다. 좋은 보고서들은 밀도 있고, 범위가 좁으며, 그 범위에 대해 솔직합니다. 그리고 특정 시점에 고정되어 있습니다. 화요일에 감사를 받은 프로토콜은 거버넌스가 설정 변경을 배포하거나, 의존성이 버전을 올리거나, 새로운 오라클이 연결되고 나면 금요일에 실행되는 프로토콜과 다릅니다. CoinDesk가 보도한 Aráoz의 요점은, 그 비대칭성의 공격자 측이 방금 한 자릿수 규모의 업그레이드를 받았다는 것입니다.
한편, 지난 12개월간 DeFi 프로토콜에서 11억 달러 이상이 탈취되었습니다. 이 숫자는 버그 찾기 문제가 아닙니다. 시스템 설계 문제입니다.
OpenZeppelin CEO가 DeFi가 안전하지 않다고 말하는 것이 왜 중요한가
Aráoz는 업계를 향해 거리낌 없이 비판을 날리는 외부인이 아닙니다. 그는 그 기준을 직접 만드는 데 기여했습니다.
거의 모든 진지한 프로토콜이 사용하는 ERC-20, ERC-721, AccessControl 패턴은 OpenZeppelin의 라이브러리에서 비롯됩니다. 그 창업자가 보안 모델이 망가졌다고 말할 때, 그것은 예를 들어 무작위 트위터 스레드가 갖지 못하는 무게를 지닙니다. Manuel Aráoz의 AI 해킹 초인 프레이밍이 반향을 일으킨 것은 그 말을 한 사람이 직접 구 모델의 비용을 치렀기 때문입니다.
이 인정이 실제로 시인하는 바를 짧게 정리하면:
- 특정 시점의 감사는 AI 에이전트가 새로운 공격 경로를 찾아내는 속도를 따라잡을 수 없습니다.
- 공격자 측의 경제적 인센티브는 이제 인간 감사자의 수가 아닌 모델 능력에 따라 확장됩니다.
- 최고 수준의 기업들이 감사한 코드베이스조차 2025년과 2026년에 익스플로잇 가능한 버그를 출시했습니다.
DeFi 감사 모델은 2030년이 아닌 2026년에 이미 구식이 됐다
PDF 감사 모델은 이미 한계에 달해 있었습니다. AI가 그 한계를 눈에 보이게 만들었을 뿐입니다.
전통적인 Solidity 감사는 1~4주의 인간 검토, 보고서, 고정 요금 리테이너로 이루어집니다. 그 결과물은 스냅샷입니다. 이제 공격자는 커피 한 잔 쉬지 않고 퍼징하고, 메인넷 상태를 재현하며, 수천 건의 과거 익스플로잇과 패턴을 대조할 수 있는 지칠 줄 모르는 에이전트를 보유하게 됐습니다. 바로 이것이 Aráoz가 AI가 공격적 보안에서 초인적 수준이 되어가고 있다고 말할 때 묘사하는 비대칭성입니다.
구체적인 최근 사례: LayerZero DVN 설정 오류로 Kelp DAO가 2억 9,200만 달러를 잃은 사건은 Solidity 버그가 아니었습니다. 감사된 상태와 실행 중인 상태 사이의 설정 드리프트였습니다. 운영팀이 금요일 오후에 변경을 배포할 때 어떤 PDF 감사도 이를 포착하지 못합니다.
가장 명확하게 표현하자면: 감사는 코드가 검토된 날에는 아마도 안전했다고 알려줍니다. 지금 이 순간 시스템이 안전하다고 알려주지는 않습니다.
AI 스마트 컨트랙트 취약점 스캐너가 실제로 바꾸는 것
방어 측도 움직이고 있지만, 공격 측보다 느립니다. 그 격차가 바로 핵심 문제입니다.
제가 실제 운영에서 보고 있는 유용한 패턴은 '감사자를 대체하는 것'보다 '모든 프로토콜에 지속적인 적수를 붙여주는 것'에 가깝습니다:
- 배포 시점만이 아니라, 모든 거버넌스 조치 후 배포된 바이트코드를 재퍼징하는 AI 에이전트.
- 인간이 Discord에서 알아채는 것이 아니라, 수학이 흐트러질 때 라이브 상태를 감시하고 서킷 브레이커를 작동시키는 불변량 모니터.
- 자율 에이전트와 연결되어 24시간 365일 발견 사항을 제출하고 분류하는 버그 바운티 플랫폼.
Forta, Spearbit의 Cantina, OpenZeppelin의 자체 Defender가 몇 년 전부터 이 방향으로 움직여 왔습니다. Aráoz가 신호를 보내는 전환은 이것이 더 이상 프리미엄 티어가 아니라는 것입니다. 이제는 기본값입니다.
DeFi 프로토콜을 위한 연간 점검이 아닌 지속적 보안
제가 계속 떠올리는 비유는 의학입니다. 상장 전 감사는 건강검진입니다. 지속적 보안은 심장 모니터입니다.
규제된 금융에서는 감사자가 일 년에 한 번 서명하지만, SIEM, WAF, 거래 감시 시스템은 매 초 실행됩니다. DeFi는 일 년에 한 번 하는 부분만 채택하고 실시간 모니터링 부분은 건너뛰었으며, 10억 달러 이상이 빠져나갔을 때 놀란 척했습니다. 클라우드 보안 20년의 교훈은 첫 번째 달러 이후로는 모니터링이 감사를 압도한다는 것입니다.
제가 확신하는 몇 가지 구체적인 변화:
- 감사 회사들이 보고서 납품 업체가 아닌, SLA를 갖춘 지속적 모니터링 벤더로 재편.
- 보험사가 마지막 PDF가 아닌 실시간 보안 텔레메트리를 기준으로 프로토콜 가격 책정.
- 일정 임계값을 초과하는 모든 파라미터 변경에 재감사를 의무화하는 거버넌스 프레임워크.
이 중 어느 것도 낯선 개념이 아닙니다. Web2는 10년 전에 이미 해결했습니다. DeFi는 코드가 은행 금고이기 때문에 더 어려운 버전을 다루고 있을 뿐입니다.
이번 분기에 프로토콜이 실제로 해야 할 일
DeFi 프로토콜을 운영하면서 이 글을 읽고 있다면, 할 일은 명확합니다:
- 감사 PDF를 보안 산출물로 취급하는 것을 멈추세요. 파이프라인의 입력 중 하나로 취급하세요.
- 중요하게 생각하는 불변량에 모니터를 연결하세요: 담보 비율, 오라클 편차, 관리자 역할 변경, 브리지 유입/유출 비율.
- 실제로 테스트해 본 킬 스위치를 구축하세요. 한 번도 훈련에서 작동시켜 본 적 없는 일시 정지 기능은 장식에 불과합니다.
- 배포된 컨트랙트에 대해 AI 기반 퍼징을 정기적으로 실행하세요. 한 번이 아니라 영원히.
적응하는 기업들은 Big Four 감사 회사보다 Datadog에 가깝게 보일 것입니다. 그렇지 않은 기업들은 다음번 2억 달러 헤드라인이 될 것입니다.
Aráoz의 발언을 더 깊이 읽으면: 보안 업계가 마침내 속으로만 하던 말을 공개적으로 했다는 것입니다. 공격자 스택이 2년간 방어자 스택보다 빠르게 누적되어 왔으며, 이제 그 격차가 방어자 스택을 구축한 사람들조차 그것을 인정할 만큼 벌어졌다는 것입니다.