비탈릭 부테린, 재귀적 STARK로 이더리움 멤풀 겨냥
TREE NEWS 보도: 이더리움 공동 창립자 비탈릭 부테린이 ‘재귀적 STARK 멤풀(Recursive STARK Mempool)’이라는 제목의 새로운 제안 EIP-8288을 발표했다. 이 제안은 트랜잭션이 블록에 포함되기 전에 전파, 검증, 가격 책정되는 방식을 전면 개편하는 것을 목표로 한다. 부테린은 이 제안이 헤고타 하드 포크에 이어 계획된 업그레이드인 I-star 포크에 통합되기를 희망한다고 밝혔다.
핵심 아이디어
이 제안은 재귀적 STARK 증명을 활용하여 노드가 멤풀 내 대량의 트랜잭션을 개별적으로 재실행하지 않고도 유효성을 검증할 수 있게 한다. 실제로 이는 노드가 대기 중인 트랜잭션 전체 세트가 유효하다는 간결한 암호학적 증명을 받을 수 있음을 의미하며, 하나씩 처리할 필요가 없다. 이는 특히 이더리움이 레이어2 롤업과 증가하는 blob 처리량으로 확장됨에 따라 노드의 계산 부담을 극적으로 줄일 수 있다.
중요한 이유
이더리움의 멤풀은 오랫동안 마찰의 원천이었다. 검증자가 트랜잭션을 가져가기 전에 대기하는 공개적이고 비구조화된 대기실과 같다. 또한 MEV 추출, 프론트러닝, 스팸 공격의 온상이기도 하다. 재귀적 STARK 멤풀은 다음과 같은 새로운 설계 기본 요소를 도입할 수 있다:
- 확장 가능한 검증: 노드는 모든 트랜잭션을 실행하는 대신 증명을 검증하여 하드웨어 요구 사항을 낮추고 탈중앙화를 개선한다.
- 프라이버시 보호 멤풀: 암호화된 트랜잭션은 포함될 때까지 내용을 공개하지 않고도 유효성을 증명할 수 있다.
- MEV 완화: 더 구조화된 멤풀은 서처가 악용하는 정보 비대칭을 줄일 수 있다.
- DoS 저항성: 스팸 트랜잭션은 증명 기반 배칭과 수수료 메커니즘을 통해 필터링하기 쉬워진다.
기술 및 생태계 영향
STARK(Scalable Transparent ARguments of Knowledge)는 이미 이더리움 확장 로드맵의 초석이며, StarkNet 및 기타 zk-롤업을 구동한다. 다른 증명을 검증하는 증명인 재귀적 STARK는 집계를 가능하게 하는 보다 최근의 개발이다. 이를 멤풀에 적용하는 것은 참신한 시도다. 이는 사실상 멤풀을 롤업과 유사한 환경으로 취급하여 실행 전에 유효성을 증명한다.
그러나 이 제안에는 과제도 있다. 네트워킹 레이어(devp2p), 합의 클라이언트 로직, 그리고 아마도 수수료 시장에 상당한 변경이 필요하다. 또한 누가 이러한 증명을 생성하고 어떻게 인센티브를 받는지에 대한 의문도 제기된다. 소수의 행위자가 멤풀 증명을 생성한다면 새로운 중앙화 벡터가 도입될 수 있다.
미래 지향적 관점
부테린의 제안은 이더리움의 진화가 단순히 실행 확장뿐만 아니라 트랜잭션 공급망을 재고하는 것임을 시사한다. I-star 포크에서 채택된다면 더 효율적이고 프라이빗하며 복원력 있는 멤풀을 위한 발판을 마련할 수 있다. 이는 모듈러 블록체인과 대체 L1이 자체 트랜잭션 순서 및 프라이버시 기능을 실험하는 가운데 이더리움의 경쟁력을 유지하는 데 기여할 것이다. 앞으로 몇 달 안에 커뮤니티가 이 비전에 결집할지, 아니면 더 점진적인 개선을 선택할지가 드러날 것이다.
