이더리움 창립자 비탈릭 부테린, AI 수학 증명이 암호화폐를 대규모 해킹으로부터 보호할 것이라고 선언

월요일, 이더리움 (ETH-USD) 공동 창립자 비탈릭 부테린이 온라인 해커로부터 디지털 자산을 보호하기 위한 새로운 계획을 공유했다. 그는 개발자들이 인공지능을 활용해 소프트웨어가 완벽하게 작동하는지 확인하는 수학적 검증을 실행할 수 있다고 믿는다.

부테린, 수학적 검증 방식 설명

새로운 온라인 게시물에서 부테린은 형식 검증이라는 방법에 대해 언급했다. 이 프로세스는 컴퓨터를 사용해 수학적 증명을 실행함으로써 소프트웨어가 의도한 대로 정확히 작동하는지 보여준다. 이 아이디어는 수십 년 동안 존재해왔지만, 새로운 기술 도구들이 마침내 이를 쉽게 사용할 수 있게 만들었다.

현재 해커들은 스마트 계약의 결함을 찾아 암호화폐 앱에서 수백만 달러를 훔친다. 부테린은 수학적으로 검증된 코드가 이러한 도난을 막을 것이라고 생각한다.

부테린, 치명적 결함 방지 목표

이더리움 공동 창립자는 자신의 네트워크와 다른 중요한 디지털 시스템을 보호하고자 한다. 그는 컴퓨터 코드의 버그가 특히 소프트웨어가 영구적인 디지털 자산을 제어할 때 무섭다고 지적했다. 일부 전문가들은 자동화 도구가 인간이 신뢰할 수 없는 지저분한 코드를 생성할 것이라고 우려한다. 그러나 부테린은 여전히 희망적이다. 그는 스마트 방어 도구가 범죄자들이 악용하기 전에 보안 결함을 찾아 수정할 것으로 기대한다.

이 기술 리더는 이러한 수학적 도구가 모든 문제를 해결할 수는 없다고 명확히 했다. 완벽한 수학적 코드라도 인간이 잘못된 가정을 하거나 물리적 하드웨어 결함을 무시하면 실패할 수 있다.

현재 자동화 프로그램은 사람들이 매우 빠르게 많은 코드를 작성할 수 있게 하지만, 이는 부실한 작업으로 이어진다. 부테린은 이러한 빠른 작성과 엄격한 수학적 검증을 결합하면 디지털 네트워크를 위한 매우 안전한 미래를 만들 것으로 기대한다.

이 글을 쓰는 시점에서 이더리움 가격은 2,110.17달러에 거래되고 있다.