이더리움 창시자 비탈릭 부테린 "AI, 크립토 보안 위협하지 않을 것"

요약

• Vitalik Buterin은 AI 기반 해킹이 사이버 보안의 종말을 의미한다는 아이디어를 거부했습니다.
• 그는 AI가 전체 소프트웨어 시스템에 걸쳐 형식 검증(formal verification)을 실용화할 수 있다고 주장했습니다.
• 이러한 발언은 AI 지원 보안, 개인정보 보호, STARK 및 양자 저항을 향한 Ethereum의 추진력을 바탕으로 합니다.

Ethereum의 공동 창립자 Vitalik Buterin은 AI가 사이버 보안의 종말을 의미하지 않는다고 말하며, 대신 고급 모델이 암호화 소프트웨어를 더욱 해킹하기 어렵게 만드는 데 도움이 될 수 있다고 주장했습니다.

수요일 X에 올린 게시물에서 Buterin은 AI가 해커에게 극복할 수 없는 우위를 점하게 하지 않을 것이라고 주장하며, 자신의 순자산 중 약 90%를 암호화폐로 보유하고 있는 자신을 포함한 암호화폐 보유자들이 보안 방어 체계가 속도를 맞출 수 있다는 데 베팅하고 있다고 덧붙였습니다.

“AI 해킹이 사이버 보안의 종말을 의미한다는 견해가 점점 더 일반화되고 있습니다.”라고 Buterin은 썼습니다. “저는 동의하지 않습니다. 사람들이 정신을 차리기만 한다면 사이버 보안은 본질적으로 방어에 유리하다고 생각합니다.”

Buterin은 AI가 소프트웨어가 안전하다는 것을 입증하기 위해 수학적 증명을 사용하는 형식 검증을 복잡한 시스템에서도 실용적으로 만들 수 있다고 주장했습니다.

“AI가 Navier-Stokes와 FLT를 증명할 수 있다면, 프로그램이 매우 복잡하더라도 ‘이 프로그램은 안전하다’는 명제를 수학적 정리로 증명할 수 있습니다.”라고 그는 썼습니다.

즉, Buterin은 유명하고 어려운 수학 문제를 해결할 수 있을 만큼 정교한 AI가 복잡한 소프트웨어라도 명확하게 정의된 보안 요구 사항을 충족함을 증명할 수 있다고 믿습니다.

하지만 그것이 보안이 쉽다는 것을 의미하지는 않는다고 그는 말했습니다. 어려운 부분은 애초에 “안전함”이 무엇을 의미하는지 정의하는 것입니다.

블록체인 개발자들은 공격자가 행동하기 전에 코드를 스캔하고, 익스플로잇을 테스트하며, 버그를 검증하기 위해 AI 에이전트를 점점 더 많이 사용하고 있으며, 연구원들은 Ethereum 인프라와 Bitcoin 소프트웨어 모두에서 취약점을 발견하고 있습니다.

암호화폐 분야의 개발자들은 AI가 공격자에게 유리하다는 공포를 불러일으킨 여러 사건 이후 AI를 방어적으로 배치하고 있습니다.

5월에 보안 연구원 Taylor Hornby는 Anthropic의 Claude Opus 4.8을 사용하여 Zcash의 Orchard 프라이버시 풀에서 4년 된 결함을 발견했습니다. 이 결함은 ZEC의 무제한적이고 감지 불가능한 위조를 가능하게 했을 수도 있었으나, 개발자들은 6월에 패치하기 전까지 이 결함이 악용되었다는 증거를 찾지 못했습니다.