이더리움 공동 창립자 비탈릭 부테린은 이더리움의 헤고타 업그레이드가 재귀적 STARK, 자동화된 형식 검증, 최적화된 합의, 양자 내성 암호학을 포함한 기술로 개발 방향이 전환되기 전 네트워크의 마지막 “일반적인” 포크가 될 수 있다고 말했다. 

부테린은 일요일,2027년으로 예정된 헤고타가 2015년 이더리움에 익숙한 사람도 그 기능과 기술을 여전히 알아볼 수 있을 마지막 업그레이드가 될 가능성이 높다고 말했다. 

노드가 모든 데이터를 내려받는 대신 데이터의 일부를 샘플링해 데이터 가용성을 검증할 수 있게 하는 PeerDAS는 이더리움이 “단순한 블록체인에서 훨씬 더 강력한 무언가로” 전환하기 시작한 시점을 의미한다고 그는 말했다. 

부테린은 이러한 전환을 이더리움이 “암호학적 세계 컴퓨터”로 진화하는 과정이라고 설명했다. 이는 노드가 단순히 트랜잭션을 내려받아 다시 실행하는 모델을 넘어, 블록체인과 암호학적 검증, 프라이버시, 탈중앙화된 오프체인 구성요소를 결합하는 아키텍처로 나아가는 것을 뜻한다.

이러한 변화는 더 많은 연산을 오프체인으로 옮기고 기본 레이어를 사용해 결과를 검증하고, 트랜잭션을 정산하며, 공유된 온체인 상태에 대한 접근성을 유지함으로써 이더리움 애플리케이션의 구축 방식을 바꿀 수 있다.

이더리움의 ‘세계 컴퓨터’는 어떤 모습일까

부테린의 게시물은 네트워크가 발전함에 따라 얼마나 많은 연산과 상태를 궁극적으로 오프체인으로 옮겨야 하는지, 그리고 이더리움 자체가 무엇을 계속 직접 처리해야 하는지를 둘러싼 논의를 촉발했다.

이더리움 연구원 바르나베 모노는 연산을 오프체인으로 옮기면서 그 결과를 온체인에 커밋하고 증명하면 네트워크가 수행해야 하는 작업을 크게 줄이고 더 가벼운 노드를 가능하게 할 수 있다고 말했다. 

그러나 모노는 ‘세계 컴퓨터’가 애플리케이션이 의존하는 중요한 기록은 여전히 온체인에 직접 보관해야 한다고 주장했다. 그렇게 하면 사용자가 외부 서버나 중개자에 의존하지 않고 무슨 일이 일어나고 있는지 확인하고 애플리케이션과 직접 상호작용할 수 있다고 그는 말했다.

관련 기사: 비탈릭 부테린, 새로운 ‘린 이더리움’ 스트로맵의 우선순위 공유

가명 논평가 크립토그래픽은 이 아키텍처가 스마트 계약 외부에서 더 복잡한 연산을 수행하는 동시에 이더리움이 결과 트랜잭션이 프로토콜 규칙을 준수하는지 검증할 수 있게 함으로써 탈중앙화 금융(DeFi) 애플리케이션이 할 수 있는 일을 확장할 수 있다고 말했다.

크립토그래픽은 DeFi 대출을 한 가지 사례로 들었다. 담보 분석, 청산 경로 설정 또는 차입자와 대출자의 매칭이 체인 외부에서 이뤄진 뒤 이더리움이 그 결과를 검증하고 정산할 수 있다는 설명이다. 

암호화폐 전문 변호사 가브리엘 샤피로는 전통적인 신뢰 기반 모델과 비교해 증명 기반 시스템에 얼마나 많은 수요가 있는지 의문을 제기했다. 그는 기존 금융 서비스의 상당수가 지속적인 암호학적 검증보다 평판, 규제, 법적 집행에 의존한다고 말했다. 

매거진: 형식 검증이란 무엇이며, 비탈릭 부테린은 왜 AI가 이를 도울 수 있다고 생각할까?