이더리움 거래 형식, 검증·실행 분리 논의 확산

본문

비탈릭 부테린(Vitalik Buterin) 이더리움 공동창업자가 이더리움(ETH) 거래 형식을 검증과 실행으로 나누는 설계 논의를 다시 꺼냈다. 거래가 실제로 무엇을 하는지와 실행 전에 무엇을 검증해야 하는지를 분리해 확장성과 프라이버시... 비탈릭 부테린이 이더리움 거래를 검증과 실행으로 나누는 EIP-8141 논의를 확장성·프라이버시 과제와 연결했다. 거래가 실제로 무엇을 하는지와 실행 전에 무엇을 검증해야 하는지를 분리해 확장성과 프라이버시 문제를 함께 다루려는 구상이다. 부테린은 최근 X 글에서 2015년식 모델에서는 실행과 상태를 한 덩어리로 볼 수 있었지만, 지금의 확장 전략에서는 동적으로 유연한 부분과 정적으로 분석 가능한 부분을 나눠야 한다고 설명했다.

그는 이더리움 활동량의 90% 이상은 동적 유연성이 필요하지 않다고 보고, 상태와 엮이지 않은 순수 의존성은 메모리풀 단계에서 한 번 처리한 뒤 스타크(STARK) 증명으로 대체할 수 있다고 했다.

이더리움 개선 제안 문서는 EIP-8141이 거래를 여러 프레임으로 나누고 각 프레임에서 검증, 수수료 지불, 사용자 작업 실행을 분리하는 구조라고 설명한다. 프레임은 검증용 VERIFY, 실행용 SENDER, 기본 실행 흐름 등으로 나뉜다. 메모리풀 단계에서 검증 가능한 요소를 미리 가려내면 실행 부담을 줄일 여지도 생긴다. 이더리움 매지션스의 헤고타(Hegota) 네트워크 업그레이드 메타 스레드도 프레임 거래, 키드 논스, 리센트 루츠(Recent Roots), 포실(FOCIL)을 보안·프라이버시·사용자경험 축으로 묶었다. 거래 형식 재설계가 별도 실험이 아니라 차기 업그레이드 논의의 한 부분으로 다뤄지고 있다는 뜻이다.

EIP-8141 토론 스레드에는 "This looks great!"라는 호응이 나왔지만, 곧바로 여러 VERIFY 프레임이 있을 때의 처리, 원자적 멀티콜 가능성, 새 명령어와 프로토콜 차원 내성 검사의 복잡도를 묻는 질문이 이어졌다.