한 개발자가 한 사람이 에이전트형 코딩으로 2030 로드맵을 목표로 하는 Ethereum (ETH) 클라이언트를 만들 수 있다고 Vitalik Buterin과 내기를 한 뒤, 2주 만에 ETH2030을 완성했다. Go 코드 70만 2,000줄로, 로드맵 항목 65개를 포괄하며 이더리움 메인넷과 동기화된다.
부테린은 금요일에 결과에 대해 commented하며 이를 “꽤 인상적인 실험”이라고 평가하는 한편, 중요한 단서들을 나열하고, AI가 이더리움 로드맵 완성 속도를 현재 커뮤니티가 예상하는 것보다 더 가속할 수 있다는 가능성을 제기했다.
부테린은 이 프로젝트가 무엇이 아닌지에 대해 분명히 했다. 공식 Ethereum Improvement Proposal 없이 만들어졌기 때문에, 치명적인 버그를 거의 확실하게 포함하고 있으며, AI가 완전한 구현을 시도하지 않은 기능들에 대해서는 “스텁(stub)” 수준의 버전이 들어가 있을 가능성이 크다는 것이다.
그가 주장한 요지는 산출물이 아니라 궤적이다. 6개월 전만 해도, 이 정도 범위를 가진 프로토타입조차 “가능성의 영역을 한참 벗어난 것”이었다고 그는 썼다.
속도 vs. 보안
부테린은 AI 기반 개발을 올바르게 활용하는 방법을, 얻어진 이득을 전부 속도에 쓰는 것이 아니라 속도와 보안 사이에 나눠 쓰는 것으로 framed했다.
그가 선호하는 모델은 다음과 같다. AI를 활용해 더 큰 테스트 케이스 스위트를 생성하고, 구현을 형식적으로 검증하며, 동일한 구성요소를 여러 독립 버전으로 만들어 상호 검증에 쓰는 것이다.
이더리움 모든 코드를 형식 검증하는 것을 목표로 하는 LeanEthereum 프로젝트의 한 협업자는 최근 AI를 사용해 STARK 보안의 가장 복잡한 정리 가운데 하나에 대한, 기계 검증 가능한 증명을 만들어 냈다.
부테린의 프레이밍에서, 이것이 더 높은 가치의 활용 사례다. 더 빨리 배송하는 것이 아니라, 더 검증 가능하게 올바른 코드를 배송하는 것이다.
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
그가 가능하다고 보는 것
부테린은 자신의 낙관을 예측이 아닌 가능성으로 신중히 표현했다. 그는 사람들이 이더리움 로드맵이 현재 예상되는 일정보다 더 빨리, 그리고 더 높은 보안 기준으로 완성될 가능성에 열려 있어야 한다고 말했다.
보안 측면에서 그는 버그 없는 코드가 “이상주의적인 망상”에서 핵심 인프라에 대한 기본 기대치로 전환될 잠재력에 개인적인 흥분을 드러냈다.
그는 절대적인 의미에서의 완전한 보안은 여전히 불가능하다고 인정했다. 그것은 코드와 개발자의 머릿속 내용이 완전히 일치해야 하기 때문이다. 그러나 그는 AI 기반 형식 검증이 이미 특정하고 잘 정의된 코드 실패에서 파생될 수 있는 부정적 결과의 99% 이상을 eliminate할 수 있다고 주장했다.
ETH2030 저장소는 github.com/jiayaoqijia/eth2030 에서 여전히 공개로 접근 가능하다.