“AI 기반 자동 검증”
비탈릭 부테린 이더리움 공동창업자가 18일 인공지능(AI)을 활용한 코드 검증 기술이 앞으로 소프트웨어 보안의 핵심 역할을 맡게 될 것이라고 밝혔다. 특히 이더리움도 이러한 보안 시스템에서 중요한 역할을 하게 될 것이라고 설명했다.
비탈릭 부테린은 ‘형식 검증(Formal Verification)’을 코드가 의도대로 작동하는지 수학 방식으로 확인하는 기술이라고 소개했다. 사람이 직접 점검하거나 반복 테스트하는 대신 컴퓨터가 자동으로 오류 여부를 검증하는 방식이다. 그는 양자 내성 암호 기술, STARK 증명 시스템, 비잔틴 장애 허용(BFT) 합의 알고리즘, 영지식 이더리움 가상머신(ZK-EVM) 같은 이더리움 핵심 기술에 이런 방식이 활용될 수 있다고 설명했다.
다만 모든 문제를 해결할 수 있는 것은 아니라고 덧붙였다. 일부 코드만 점검하면 중요한 결함을 놓칠 수 있고, 보안 기준 자체에 빈틈이 있을 가능성도 있다는 설명이다. 또 소프트웨어와 하드웨어가 만나는 구간에서 발생하는 일부 해킹 방식은 현재 기술로 막기 어렵다고 밝혔다.
비탈릭 부테린은 앞으로 AI가 보안 검증을 돕는 방향으로 소프트웨어 구조가 바뀔 것으로 전망했다.
- A shallow dive into formal verification – 비탈릭 부테린
