이더리움 비탈릭 부테린, AI 시대 암호화폐 보안 위협 일축

이더리움의 공동 설립자인 비탈릭 부테린이 인공지능(AI)으로 인한 해킹 위협이 암호화폐 보안의 종말을 가져올 것이라는 견해에 반박하며, 오히려 AI가 암호화폐 소프트웨어의 보안성을 강화하는 데 기여할 수 있다고 주장했습니다.

부테린은 수요일 X(구 트위터)를 통해 "AI 해킹으로 인해 사이버 보안이 끝났다는 의견이 점점 더 흔해지고 있지만, 나는 이에 동의하지 않는다"고 밝혔습니다. 그는 "사람들이 정신을 차리면 사이버 보안은 본질적으로 방어에 유리한 방향으로 나아갈 것"이라고 덧붙였습니다. 개인 자산의 약 90%를 암호화폐에 투자하고 있는 자신을 포함한 암호화폐 보유자들은 보안 방어가 기술 발전에 발맞춰 나갈 것이라는 데 베팅하고 있다는 것입니다.

그는 AI가 복잡한 시스템에서도 형식 검증(formal verification)을 실질적으로 가능하게 만들 것이라고 주장했습니다. 형식 검증은 수학적 증명을 사용하여 소프트웨어가 안전하다는 것을 증명하는 방법입니다. 부테린은 "만약 AI가 나비에-스토크스 방정식과 페르마의 마지막 정리를 증명할 수 있다면, AI는 '이 프로그램은 안전하다'는 명제를 수학적 정리처럼 증명할 수 있을 것"이라며, "프로그램이 매우 복잡하더라도 마찬가지"라고 설명했습니다.

이는 곧, 악명 높은 어려운 수학 문제를 해결할 수 있을 만큼 정교한 AI라면 복잡한 소프트웨어도 명확하게 정의된 보안 요구 사항을 충족함을 증명할 수 있다는 의미입니다. 다만, 부테린은 이 과정이 쉽다는 것을 의미하지는 않는다고 강조했습니다. 그는 "무엇이 '안전하다'는 것인지 정의하는 것 자체가 어려운 부분"이라고 지적했습니다.

실제로 블록체인 개발자들은 공격자들이 악용하기 전에 코드를 스캔하고, 취약점을 테스트하며, 버그를 검증하기 위해 AI 에이전트를 점점 더 많이 활용하고 있습니다. 최근 몇몇 사례들은 AI가 공격자에게 유리한 이점을 제공한다는 두려움을 증폭시켰고, 이에 따라 암호화폐 업계 전반의 개발자들은 방어적인 차원에서 AI를 배치하고 있습니다.

지난 5월, 보안 연구원 테일러 혼비는 앤트로픽의 Claude Opus 4.8을 사용하여 Zcash의 Orchard 프라이버시 풀에서 4년 된 결함을 발견했습니다. 이 결함은 탐지할 수 없는 ZEC 위조를 무제한으로 가능하게 할 수도 있었지만, 개발자들은 이 결함이 악용된 증거를 찾지 못했습니다. 이후 6월 패치를 통해 수정되었습니다.

공격자와 방어자 간의 경쟁은 7월 들어 가속화되었습니다. 이더리움 재단 연구원들은 AI 에이전트가 중요 네트워크 인프라에서 취약점을 발견했다고 밝혔습니다. 같은 달, 공격자들은 수년간 존재했던 펌웨어 결함을 통해 Coldcard 지갑에서 자금을 빼내 약 1억 3천만 달러 상당의 비트코인을 훔쳤습니다. Coldcard 제조사인 Coinkite는 AI가 이 버그를 식별하는 데 도움을 주었을 가능성이 높다고 언급했습니다.

8월까지 이러한 위협은 비트코인 소프트웨어 생태계 전반으로 확산되었습니다. Boltz는 의심되는 공격자들이 개발자들이 수정할 수 있는 속도보다 더 빠르게 취약점을 발견하고 있다고 말하며 스왑 서비스를 중단했습니다. Core Lightning 또한 AI 생성 보고서에서 식별된 여러 취약점이 실제임을 확인했습니다. 이에 대응하여 자원봉사자들로 구성된 커뮤니티는... (본문 내용 추가 필요)

부테린의 발언은 이더리움이 AI 지원 보안, 프라이버시 강화, STARKs(제로 지식 증명 기술), 그리고 양자 컴퓨터 공격에 대한 저항성 확보 등 기술 혁신을 추진하는 맥락과 일맥상통합니다. AI가 단순히 해킹 도구가 아니라, 복잡한 암호화폐 시스템의 보안을 강화하고 사용자 신뢰를 높이는 데 필수적인 도구가 될 수 있다는 낙관적인 전망을 제시하고 있습니다.