이더리움(ETH) 공동창업자 비탈릭 부테린, AI 사이버 보안 종말론 반박...자산 90%를 암호화폐에 보유

종말론이 아닌 형식 검증

이더리움(Ethereum, ETH) 공동창업자 비탈릭 부테린(Vitalik Buterin)이 강력한 인공지능이 사이버 보안을 근본적으로 무력화할 것이라는 점점 흔해지는 시각에 정면으로 반박했다. 9월 17일 X 게시물에서 그는 정반대의 결과가 더 가능성 높다고 주장했다. “AI 해킹이 곧 사이버 보안의 종말이라는 시각이 점점 일반화되고 있다. 나는 동의하지 않는다”고 쓰며, AI는 오히려 방어자 측에 처음부터 악용하기 훨씬 어려운 소프트웨어를 만들 수 있는 도구를 쥐여줄 수 있다는 것이다. 논지의 핵심은 형식 검증(formal verification), 즉 스마트 컨트랙트를 포함한 프로그램이 특정 속성을 만족함을 수학적으로 증명하는 기법이다. 그는 “AI가 나비에르-스토크스 방정식과 FLT(페르마의 마지막 정리)를 증명할 수 있다면, ‘이 프로그램은 안전하다’는 명제를 수학적 정리로 증명할 수도 있다”고 언급하며 수학에서 유명하게 어려운 두 문제를 예로 들었다. 다만 정의의 문제는 인정했다. Signal 메신저 같은 사례에서 ‘안전’이 무엇을 의미하는지 확정하는 것만으로도 위조·재전송 메시지부터 악성 컴파일러, 하드웨어 수준의 누설에 이르는 공격 표면 때문에 천 줄이 넘는 명세가 필요할 수 있다는 것이다. 부테린은 이 논제를 자신의 자산 노출과도 연결 지으며, 자신 순자산의 약 90%가 여전히 암호화폐에 있음을 밝혔다. 그의 설명에 따르면 이는 정교한 공격자를 상대로도 충분히 안전한 디지털 시스템을 만들 수 있다는 일종의 암묵적 베팅이다.

9월 17일 X 게시물https://x.com/VitalikButerin/status/2100337594722890145

노트북 위의 1,250억 파라미터

별도의 같은 날 X 게시물에서 이 Ethereum 공동창업자는 보안에서 로컬 AI로 화제를 옮겨, 알리바바(Alibaba)의 Qwen3.8-Flash-Next를 자신의 노트북에서 완전히 구동한 속도 결과를 공유했다. ChatGPT와 달리 이 구성은 클라우드 서버와 접촉하지 않는다. 모델이 기기 위에 놓이고, 기기가 스스로 답변한다. 하드웨어가 관건이다. 그의 노트북은 AMD의 Strix Halo 칩을 사용하는데, 이 칩은 프로세서와 그래픽 반부를 단일 실리콘에 함께 올려 최대 128기가바이트에 이르는 하나의 메모리 풀을 공유한다. 개별 그래픽카드의 일반적인 8~24기가바이트와 비교되는 규모다. 바로 이 통합 설계 덕분에 지금까지 서버 하드웨어가 필요했던 모델을 노트북 한 대가 담을 수 있는 것이다. 알리바바는 8월 26일 오픈 웨이트를 공개했으며, 이 모델은 1,250억 개의 파라미터를 갖지만 한 번에 60억 개만 활성화해 메모리 요구량을 낮게 유지한다. 부테린은 이 모델을 “정말 인상적”이라 평가했고, llama.cpp가 이를 처리하는 능력이 빠르게 개선되고 있다고 언급했다. 공개된 속도는 일반 작업에 실용적인 수준이었다. 짧은 프롬프트는 편안한 읽기 속도로 반환됐지만, 프롬프트가 수만 단어에 이르면 출력 속도가 느려져 아주 긴 문서가 약점으로 남았다.

같은 날 X 게시물https://x.com/VitalikButerin/status/2100388909410885974

클라우드 없는 프라이버시

순수한 속도를 넘어, 부테린은 로컬 추론을 프라이버시 방패로 프레이밍했다. 로컬 모델은 기기 위에서 답하기 때문에 어떤 제공업체도 요청을 받지 않는다. 무거운 작업에는 분업을 제안했다. “로컬 모델을 사용해 강력한 모델들에 쿼리를 오케스트레이션하면, 쿼리가 개인 정보를 유출하지 않는다.” 실제로는 로컬 모델이 프롬프트에서 이름, 지갑 주소, 사적인 코드를 걷어내고 남은 질문만 전달하는 방식이다. 기기를 떠나는 정보를 줄이지만, 민감한 정보가 전혀 새지 않음을 보장하지는 않는다. 이 주장은 그의 행적과도 맞닿아 있다. 그는 EU 채팅 감시 논쟁 당시 감시 문제를 경고했고, 암호화폐 사용자들도 비슷한 이유로 자동화 에이전트에 더 엄격한 제한을 요구해 왔다. 5월에 제기된 집단 소송은 OpenAI가 ChatGPT 사용자 쿼리를 Meta와 Google에 공유했다고 주장한다. 최근 780만 달러 규모의 Ethereum(ETH) Safe 지갑 익스플로잇 같은 온체인 보안 사고는 이런 경계심을 계속 강화시키는 한편, .ETH 도메인 같은 자기주권형 도구는 이미 사용자가 중앙화된 플랫폼 밖에서 정체성을 보유하게 해준다. 클라우드 제공업체가 여전히 최전선을 쥐고 있지만, 로컬 성능이 한 번 개선될 때마다 일상적 작업이 그들의 서버를 떠나고 있다. 시장을 실시간으로 추적하려는 독자는 Bitget에서 현물·선물 가격을 실시간으로 확인할 수 있다.

공통 분모로서의 보안

9월 17일 부테린 자신의 X 계정에 발행된 두 기본 게시물에 대한 우리의 판독은 이것이다. 이들은 하나의 논증을 이룬다. AI는 양면적이며, 먼저 그 추론을 형식화하는 쪽이 이긴다는 것. 형식 검증은 더 넓은 Ethereum 생태계 전반에서 밸리데이터 소프트웨어와 컨트랙트 코드를 증명 가능하게 튼튼하게 만들 수 있고, 로컬 모델은 민감한 데이터를 제3자 서버에 두지 않는다. 순자산의 약 90%를 암호화폐에 보유한 만큼, 부테린의 지분 증명(PoS) 보안에 대한 확신은 학문적 수준을 넘어 가격에 반영된 신념이다.