선택적 증명, 재실행 없이 블록을 확인하는 길
Strawmap Hegotá (2027) · optional proofs
합의 계층 노드가 블록 안의 거래를 직접 다시 실행하지 않고도 다른 노드가 만든 암호학적 증명으로 유효성을 확인할 수 있게 하는 선택 기능입니다. 원하는 노드만 켜고 합의 규칙은 바뀌지 않습니다.
왜 필요한가
지금 검증자가 비콘 블록을 검증하려면 그 안의 거래 묶음(실행 페이로드)을 실행 계층(EL) 상태 전체에 대고 다시 실행해야 합니다. 모든 계정과 저장소 데이터가 필요하고 재실행 비용은 가스 한도에 비례해 늘어납니다. 그래서 가스 한도를 올리거나 상태가 커질수록 검증자가 되기 위한 장비 문턱도 함께 올라갑니다. 선택적 증명은 증명을 만드는 노드와 검사하는 노드를 나눕니다. 검사하는 쪽은 EL 상태 없이도 일정한 시간 안에 페이로드가 유효한지 확인할 수 있습니다. 다만 증명 체계가 아직 성숙 중이라 처음부터 필수로 넣지 않습니다. 원하는 노드만 켜서 실제 네트워크에서 운영 경험과 지표를 쌓는 방식입니다. 이 단계에서는 검사 노드도 재실행을 계속하고 증명은 보조 신호로만 씁니다. 증명을 만드는 노드에 보상은 없어 자발적 참여로 봅니다. Strawmap은 이 항목을 헤고타 칸에 두고 있지만 2026년 10월 15일 ACDC 189차 콜에서 EIP-8025는 헤고타 후보에서 빠졌습니다. 합의 계층 클라이언트 팀의 지지가 기준에 못 미쳤고 실험은 별도 브랜치에서 이어집니다.
어떻게 동작하나
- 증명자가 증명을 만들어 올립니다 증명 생성 모드를 켠 활성 검증자가 증명자(prover)가 됩니다. 새 블록의 페이로드를 외부 증명 노드에 넘겨 증명을 만들고 서명해서 execution_proof 가십 토픽에 전파합니다.
- 증명은 특정 블록에 묶입니다 증명에는 어느 페이로드를 위한 것인지 가리키는 루트 값과 체인 ID, 스키마 ID가 들어갑니다. 다른 체인이나 다른 포크의 증명을 가져다 쓰는 것을 막습니다. 크기는 하나에 400 KiB, 페이로드당 4개까지입니다.
- 검사 노드는 보조 신호로 씁니다 검사 모드를 켠 노드는 받은 증명을 ProofEngine으로 검증합니다. 유효한 증명이 정해진 개수만큼 모이면 그 페이로드를 증명 검증된 것으로 봅니다. 개수는 아직 정하지 않았고 재실행도 계속하며 포크 선택은 증명에 의존하지 않습니다.
- 시간 여유와 보관 EIP-7732가 실행 검증을 다음 비콘 블록까지 미루므로 증명을 만들 시간이 생깁니다. 증명을 다루는 노드는 동기화 중인 피어가 받아갈 수 있게 최종 확정 지점까지의 증명을 보관합니다.
관련 EIP
- EIP-8025 선택적 실행 증명