From Binance to PHP2Shell: AI 시대, 웹 보안의 방어선은 재정의가 시급하다

10월 30일 아침, 암호화폐 시장에서 또다시 역사적인 수준의 자산 탈취 사건이 발생했으며, 이번에는 Binance가 대상이 되었습니다.

초기 조사에 따르면, 공격자는 DevOps(개발 운영) 엔지니어의 노트북을 침해하여 특정 서비스 컨테이너에 접근한 뒤 무단 인출 거래를 제출한 것으로 보입니다. Binance 측은 사건의 총 영향이 최대 63억 달러에 달할 것으로 추정하며, 현재 약 30억 달러 상당의 관련 자산을 공동으로 동결한 상태입니다.

그러고 보면, 지난 1년간 주요 거래소의 보안 사건이 다소 빈번하게 발생해 무력감마저 들 정도입니다.

작년 Bybit은 약 14억 6천만 달러 상당의 자산 도난을 겪었고, 올해 9월에는 Bitget에서도 약 3억 8,750만 달러 상당의 자산이 무단 이체되었으며, 이제는 Binance까지 새로운风波에 휘말리게 되었습니다.

최근의 보안 사건들을 함께 놓고 보면 뚜렷한 트렌드가 보입니다. 공격자들은 암호학이나 개인키 자체를 직접 공략하는 경우가 줄어들고, 오히려 전체 '신뢰 체인'에 집중하기 시작했습니다——직원 단말기, 제3자 보안 제품, 소프트웨어 공급망, 서비스 컨테이너는 물론 거래 승인 프로세스까지, 어느 한 고리에 균열이 생기면 전체 방어선이 무너질 수 있습니다.

AI의 빠른 발전도 이러한 위험을 더욱 증폭시키고 있습니다.

10월 22일, 이더리움 공동 창립자 Vitalik Buterin은 새로운 판단을 내놓았습니다. AI 시대에 사이버 보안의 종국은 수비 측에 유리할 수 있지만, 그 종국으로 향하는 과도기는 매우 힘들 것이다.

1. Bybit에서 PHP2Shell까지: 공격자들은 전체 신뢰 체인을 관통하고 있다

먼저 이 몇 가지 사건들을 돌아보겠습니다.

공격 경로는 각기 다르지만 한 가지 공통점이 있습니다. 공격자들이 단순히 개인키를 해킹하거나 블록체인 기반 프로토콜을 무력화한 것이 아니라, 시스템에서 기본적으로 신뢰받는 특정 고리를 찾아냈다는 점입니다.

• Bybit 사건에서는 공격자가 사회공학적 수법으로 Safe 개발자 한 명의 기기를 침해하여 관련 접근 자격 증명을 확보한 뒤, Safe 지갑 인프라의 프런트엔드 리소스를 통제했습니다.
• Bitget 사건에서는 공격자가 제3자 보안 제품의 취약점을 악용해 내부 고권한 자격 증명을 획득한 후, 위조된 인출 지시로 기존 리스크 관리 메커니즘을 우회했습니다.
• 최신 Binance 사건에서는 공격 경로가 DevOps 엔지니어의 노트북 침해에서 시작되었을 가능성이 높습니다.

세 사건은 각각 제3자 지갑 인프라, 제3자 보안 제품, 내부 개발 운영 환경과 관련되어 있습니다.

이는 전통적인 콜드월렛과 멀티시그 메커니즘이 만병통치약이 될 수 없는 이유를 설명합니다. 결국 공격자들이 실제로 악용하는 것은 최종 거래 실행에 영향을 미칠 수 있으면서도 충분히 독립적으로 검증되지 않은 신뢰 고리들이기 때문입니다.

이와 유사한 신뢰 체인 위기는 암호화폐 거래소에만 존재하는 것이 아닙니다.

Binance가 공격받기 일주일 전, Binance 창립자 CZ는 특별히 트윗을 올려 앞으로 며칠간 어떤 웹사이트를 방문할 때도 각별히 주의할 것을 당부했습니다. 당시 PHP2Shell의 두 가지 PHP 핵심 엔진 사상 최악의 고위험 취약점(CVE-2026-109618 및 CVE-2026-109619, CVSS v4.0 점수 최대 9.2)이 전 세계적인 공포를 불러일으키고 있었습니다.

전 세계 웹사이트 약 70%를支撑하는 오픈소스 서버 측 언어로서, WordPress, Magento, Drupal 등 주요 플랫폼이 모두 PHP 위에 구축되어 있습니다.

십여 년간 잠복해 있던 이 두 가지 메모리 관리 및 전역 상태 리셋 취약점은 공격자가 인증 없이 단 한 번의 특정 웹 요청만으로 웹사이트 자체 애플리케이션 코드가 실행되기 전에 원격 코드 실행(RCE)을 실현하고, 서버를 직접 장악하여 백도어를 심거나 사용자 자격 증명을 탈취할 수 있게 합니다.

사이버 보안 기관 Palo Alto Networks와 Censys의 스캔 데이터에 따르면, 전 세계적으로 2,260만에서 3,670만 개 이상의 공인 인터넷에 노출된 인스턴스가 위험 범위 내에 있습니다.

더욱 황당한 것은, 보안 기관의 공개에 따르면 십여 년간 잠들어 있던, 인간 감사자가 발견하기 극히 어려운 이 저수준 메모리 상태 취약점들이 바로 AI 기술을 통해 발굴되었다는 점입니다. 다시 말해, AI가 은밀한 저수준 논리 결함을 실행 가능한 공격 페이로드로 전환하는 문턱을 크게 낮춘 것입니다.

앞서 우리는 AI 시대 사이버 공격 수단의 세 가지 질적 변화에 대해 여러 번 논의한 바 있습니다(추가 읽기: 《해커가 '더 효율적으로' AI를 사용할 때, Web3의 '창과 방패' 군비 경쟁은 어떻게 업그레이드되는가?》):

• 제로데이(0-day) 취약점 발굴의 '산업화': 과거에는 PHP 핵심 엔진이나 펌웨어 수준의 심층 메모리 취약점을 찾으려면 최고 보안 전문가가 수개월간 수동 코드 감사와 퍼징(Fuzzing)을 수행해야 했지만, 이제 AI는 극히 낮은 비용으로 24시간 전 세계 오픈소스 코드베이스를 스캔하여 십 년간 잠복해 있던 오래된 버그를 대량으로 치명적 무기로 전환할 수 있습니다.
• '패치 시간 창'(N-day)의 극한 압축: 취약점 정보가 유출되거나 패치 코드가 제출되면, 악의적 공격자는 AI를 활용해 몇 분 만에 패치를 역공학하고 자동으로 변종 Exploit을 생성하여 전 세계 자동 스캔 및 주입을 완료할 수 있습니다. 전통적인 운영팀이 일 단위, 주 단위로 계산하는 업그레이드 일정은 밀리초 단위로 반응하는 AI 공격 스크립트 앞에서 무력하기 그지없습니다.
• 소프트웨어 공급망과 DevOps가 최대 돌파구로 부상: 현대 Web3와 금융 시스템은 진공 속에 구축된 것이 아닙니다. 프런트엔드 상호작용, 백엔드 컨테이너, 제3자 NPM/PyPI 의존성 패키지, 엔지니어의 로컬 개발 환경이 극히 방대하고 취약한 오픈소스 공급망을 구성합니다.

Binance의 DevOps 컨테이너 침투, Bybit의 프런트엔드 공급망 변조 사례처럼, 온체인 공격이 가장 직접적으로 현금화될 수 있기 때문에 암호화폐 업계는 '팬데믹 수준의 글로벌 AI 해킹 물결'을 가장 먼저 겪고 있습니다.

물론 위의 모든 공격이 AI에 의해 직접发起되거나 실행된 것은 아닙니다. 그러나 AI는 공격자와 수비 측의 능력을 동시에 증폭시키고 있으며, 현존하는 소프트웨어 엔지니어링 체계 아래에서 이러한 증폭 효과는 오히려 공방 양측에 원래부터 존재하던 구조적 비대칭을 심화시키고 있습니다.

2. Vitalik: 종국은 수비에 유리할 수 있지만, '과도기'는 매우 힘들 것이다

AI가 PHP2Shell과 같은 저수준 취약점을 발굴한 데서 촉발된 업계 논의에 대해, Vitalik Buterin은 10월 22일 매우 냉정한 판단을 내놓았습니다. 사이버 보안의 장기적 종국은 수비 측에 유리한 구도가 형성될 수 있지만, 전환 과도기는 매우 힘들 것이다.

왜일까요?

현존하는 소프트웨어 엔지니어링 패러다임 아래에서 공방 양측은天然的인 비대칭을 가지고 있기 때문입니다. 대형 소프트웨어 시스템은 수백만 줄의 레거시 코드, 수백 개의 외부 의존성, 그리고 대량의 복잡한 권한 및 실행 경로를 포함할 수 있습니다.

수비 측은 모든 핵심 고리가 충분히 안전한지 확인해야 하지만, 공격자는 그중 아직 발견되지 않은 단 하나의 틈만 찾으면 됩니다.

Vitalik은 특히 보안 연구원이 해커보다 먼저 이미 출시된 소프트웨어의 취약점을 발견하는 데만 의존해서는 진정한 방어 우위를 구축할 수 없다고 지적했습니다. 양측 모두 점점 더 강력해지는 AI를 사용한다면, 본질적으로 여전히 누가 더 빨리 취약점을 찾는지 겨루는 것이기 때문입니다.

진정으로 바꿔야 할 것은 소프트웨어 자체의 구축 방식이며, 그가 제시한 두 가지 핵심 방향은 형식 검증(Formal Verification)과 신뢰 컴퓨팅 기반(Trusted Computing Base, TCB) 최소화입니다.

첫째는 형식 검증으로, '경험적 디버깅'을 수학적 증명으로 대체하는 것을 목표로 합니다.

전통적인 소프트웨어 테스트는 '테스트된 시나리오에서 버그가 발견되지 않았다'는 것만 증명할 수 있을 뿐, '코드에 절대 버그가 없다'는 것은 영원히 증명할 수 없습니다. 반면 형식 검증은 엄밀한 수학적 논리를 이용해 한 프로그램 코드가 모든 가능한 입력과 상태 전환에서 예상된 보안 규범을 엄격히 준수하며, 메모리 오버플로, 상태 미리셋(PHP2Shell 등) 또는 논리 재진입 등의 결함이 존재하지 않음을 증명합니다.

과거에는 형식 검증의 비용이 극히 높아 수학적 증명을 작성하는 코드량이 비즈니스 코드의 수배에 달하는 경우가 많았고, 항공우주나 핵심 암호학 프로토콜에서만 사용할 수 있었습니다.

그러나 AI 시대에는 AI가 취약점을 찾을 수 있을 뿐만 아니라 형식 검증 증명을 작성하는 슈퍼 조수가 될 수 있습니다. 따라서 Vitalik은 미래에 'AI 보조 형식 검증'이 소프트웨어 개발의 최종 형태가 될 것으로 예측합니다. Signal 등 암호화 통신 프로토콜, TLS, ZK-EVM은 물론 애플리케이션 레이어의 스마트 컨트랙트까지, 코드 배포 전에 AI를 통해 자동으로 엔드투엔드 수학적 보안 증명을 생성할 수 있습니다.

한 코드가 수학적으로 '철벽'임이 증명되면, 공격자의 AI 연산 능력이 아무리 강해도 존재하지 않는 취약점을 찾을 수 없습니다.

둘째는 신뢰 컴퓨팅 기반(TCB) 간소화로, 공격 표면을 극한까지 압축하는 것을 목표로 합니다.

신뢰 컴퓨팅 기반(TCB)이란 무엇일까요? 간단히 말해, 시스템이 보안을 보장하기 위해 '반드시 무조건 오류가 없다고 신뢰해야 하는' 모든 소프트웨어 및 하드웨어 구성 요소의 총합입니다.

Binance의 63억 달러 보안 사건과 Bybit의 멀티시그 탈취 사건을 돌아보면, 왜 기반 개인키 알고리즘은 깨지지 않았는데 자산은 사라졌을까요? 그들의 TCB가 너무 방대했기 때문입니다——거대한 컨테이너 클러스터, 복잡한 운영 권한 파이프라인, 개발자의 노트북 운영 체제, 프런트엔드 렌더링 JavaScript 라이브러리 모두 '공격받으면 자금 손실로 이어지는' 신뢰 체인에 포함되어 있었습니다.

TCB 최소화의 핵심 사상은 덜어내기와 격리입니다. 실제로 개인키 보호, 서명 검증 및 핵심 승인과 관련된 기능을 규모가 더 작고 경계가 더 명확하며 엄격한 감사를 받을 수 있는 보안 환경으로 수렴시키고, 기타 복잡한 기능은 가능한 한 권한이 제한된 주변 환경에서 실행하도록 합니다.

브라우저, 플러그인, 프런트엔드 서비스 또는 AI Agent가 공격받더라도, 그로 인해 직접 사용자 자산을 무제한으로 운용할 수 있는 능력을 얻어서는 안 됩니다.

이런 관점에서 이는 imToken과 같은 비수탁형 지갑의 가치이기도 합니다. 중앙화 거래소를 이용하면 사용자 자산이 플랫폼 계정, 수탁 지갑 및 내부 인출 체계를 거쳐야 하지만, imToken을 사용하면 사용자가 개인키를 직접 보관하고 온체인 자산을 직접 관리하며 거래를发起하여 중앙화 수탁이라는 중간 단계를 줄입니다.

더 짧은 신뢰 체인은 더 적은 플랫폼 수준의 리스크 노출을 의미하며, 거래소의 인출 중단이나 플랫폼 계정 잔액 동결을 걱정할 필요도 없습니다. 물론 사용자도 개인키 보관과 기기 보안에 대한 책임을 직접 져야 합니다.

3. 기술 가속