이더리움 공동 창립자 비탈릭 부테린은 AI가 형식 검증 과정을 촉진함으로써 암호화폐 보안을 강화할 수 있다고 제안합니다. 그는 AI 지원 형식 검증이 블록체인 시스템의 보안 실패에 대한 주요 방어 수단이 될 수 있다고 주장합니다. 이 방법은 AI를 사용해 소프트웨어 동작을 검증하는 수학적 증명을 생성함으로써 취약점을 줄일 수 있습니다. 부테린은 이더리움 인프라에서 AI 기반 형식 검증을 탐구하는 Arklib와 evm-asm 같은 프로젝트를 강조합니다. 검증된 컴파일러의 버그나 불완전한 코드 증명과 같은 한계를 인정하면서도, 부테린은 형식 검증을 코드 오류를 최소화하는 데 유용한 도구로 봅니다. 그의 발언은 최근 고프로파일 암호화폐 해킹 사건들 속에서 강력한 보안 조치의 필요성을 강조하는 맥락에서 나왔습니다.