비탈릭 부테린 “AI가 오히려 블록체인 보안 수준 높일 수 있다”

[블록미디어 명정선 기자] 이더리움 공동창업자 비탈릭 부테린이 인공지능(AI)이 오히려 암호화폐와 인터넷 인프라의 보안을 강화하는 핵심 도구가 될 수 있다고 전망했다. 최근 AI 기술 발전으로 해킹과 소프트웨어 취약점 탐지가 쉬워질 수 있다는 우려가 커지는 가운데 이를 막기 위한 해법으로 ‘형식 검증(Formal Verification)’ 기술을 제시한 것이다.

18일(현지시각) 코인데스크에 따르면 부테린은 최근 공개한 블로그 글에서 AI 지원 형식 검증 기술이 향후 사이버보안 분야에서 가장 중요한 역할 가운데 하나를 맡게 될 것이라고 밝혔다.

형식 검증은 소프트웨어가 의도한 대로 정확히 작동하는지를 수학적으로 증명하는 기술이다. 사람이 직접 코드를 검토하는 방식과 달리…