한 개발자는 비탈릭 부테린에게, 한 사람이 에이전틱 코딩으로 2030 로드맵을 목표로 하는 이더리움(ETH) 클라이언트를 만들 수 있다고 내기를 걸었다. 그는 2주 만에 ETH2030을 만들어 냈다. Go 코드 70만2,000줄 분량으로, 65개의 로드맵 항목을 다루고 있으며 이더리움 메인넷과 동기화된다.
부테린은 금요일에 결과에 대해 코멘트를 남기며 이를 “상당히 인상적인 실험”이라고 평하는 한편, 여러 중대한 단서를 덧붙였고, AI가 이더리움 로드맵 완성 속도를 현재 커뮤니티가 예상하는 것보다 더 크게 앞당길 수 있다는 가능성을 제기했다.
부테린은 이 프로젝트가 “무엇이 아닌지”에 대해 명확히 했다. 정식 이더리움 개선 제안(EIP)들이 갖춰지지 않은 상태에서 만들어졌기 때문에, 치명적인 버그를 거의 확실하게 품고 있을 것이며, AI가 완전한 구현을 시도하지 않고 “스텁(stub)” 버전을 넣은 기능들도 있을 가능성이 크다고 봤다.
그가 주장한 핵심은 결과물이 아니라 궤적이다. 그는 6개월 전만 해도 이런 규모의 프로토타입조차 “가능성의 영역을 한참 벗어난 것”이었다고 적었다.
속도 vs. 보안
부테린은 AI로 가속된 개발의 올바른 접근법을, 얻어진 효율을 전부 속도에만 쓰지 않고 속도와 보안 사이에 나누는 것으로 정리했다.
그가 선호하는 모델은 이렇다. AI를 사용해 더 큰 테스트 케이스 모음을 생성하고, 구현을 형식적으로 검증하며, 동일 컴포넌트의 서로 독립적인 복수 버전을 만들어 상호 검증하는 것이다.
이더리움의 모든 코드를 형식 검증하는 것을 목표로 하는 LeanEthereum 프로젝트의 한 협력자는 최근 AI를 활용해, STARK 보안의 기초가 되는 가장 복잡한 정리들 가운데 하나에 대한 기계 검증 가능한 증명을 만들어 냈다.
부테린의 관점에서 이것이 더 높은 가치의 활용 사례다. 더 빨리 배포하는 것이 아니라, 더 검증 가능하게 올바른 코드를 배포하는 것이다.
함께 읽기: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
그가 가능하다고 보는 것
부테린은 자신의 낙관을 예측이라기보다 ‘가능성’으로 신중하게 표현했다. 그는 이더리움 로드맵이 현재 예상되는 일정보다 더 빨리, 그리고 더 높은 보안 기준으로 완료될 수 있다는 가능성에 마음을 열어야 한다고 말했다.
보안 측면에서 그는 버그가 없는 코드가 “이상주의적 망상”에서 벗어나, 중요한 인프라에 대한 기본 기대치로 자리 잡을 수 있는 잠재력에 대해 개인적인 기대감을 드러냈다.
그는 절대적인 의미에서의 완전한 보안은 여전히 불가능하다고 인정했다. 그것은 코드와 개발자의 머릿속 내용이 완전히 일치해야만 가능하기 때문이다. 하지만 AI 기반 형식 검증은 이미, 특정하고 잘 정의된 코드 실패로부터 이어질 수 있는 부정적 결과의 99% 이상을 제거할 수 있다고 주장했다.
ETH2030 저장소는 github.com/jiayaoqijia/eth2030에서 계속 공개로 접근 가능하다.