체인피드 요약:
2026년까지의 L1-zkEVM 로드맵이 발표되었습니다. 관련 작업은 실행 증명 및 표준화 절차, zkVM 및 실행 절차 API 표준화, 컨센서스 레이어 통합, 증명 인프라, 성능 테스트 및 메트릭 시스템, 보안 및 형식 검증의 6가지 하위 방향으로 나뉩니다.
기사 출처:
https://x.com/ladislaus0x/status/2020874834855514278
기사 작성자:
라디슬라우스.에스
관점:
ladislaus.eth: 이더 재단의 zkEVM 팀은 최근 2026년 L1-zkEVM 로드맵을 발표했습니다. 구축 중인 프로세스는 대략 다음과 같습니다. 실행 계층 클라이언트는 블록 검증에 필요한 모든 정보를 담고 있지만 전체 상태 정보는 포함하지 않는 자체 포함 데이터 패킷인 ExecutionWitness를 생성합니다. 표준화된 절차가 이 Witness를 읽고 상태 전환의 정확성을 검증합니다. 그 후 zkVM이 이 절차를 실행하고, 증명기 실행 정확성에 대한 증명을 생성합니다. 마지막으로 컨센서스 레이어 클라이언트는 실행 계층 클라이언트를 호출하여 트랜잭션을 다시 실행하는 대신, 이 증명을 검증하여 블록을 확정합니다. 여기서 핵심 단어는 "선택 사항"입니다. 초기 설계는 모든 노드가 전환해야 하거나 하드 포크 업그레이드를 필요로 하지 않습니다. 노드는 현재와 같이 트랜잭션을 다시 실행할 수 있습니다. 하지만 증명을 검증하여 블록을 확정하려는 검증자는 그렇게 할 수 있습니다. 이러한 노드를 zkAttester라고 합니다. zkAttester는 전체 실행 계층 클라이언트를 실행하는 대신 zkEVM 증명을 검증하여 블록을 확정합니다. zkAttester는 실행 계층 상태를 유지하거나 전체 실행 계층 체인 데이터를 동기화할 필요가 없습니다. 동기화 프로세스는 가장 최근 블록의 증명을 다운로드하는 것으로 간소화할 수 있습니다. 이는 노드 실행 비용을 직접적으로 절감합니다. 현재 검증자를 실행하려면 컨센서스 레이어 클라이언트와 실행 계층 클라이언트를 동시에 실행해야 하는데, 특히 실행 계층 클라이언트는 막대한 리소스를 소모합니다. 상태 저장, 블록 처리 시간, 대역폭 요구 사항은 모두 가스 한도에 따라 증가합니다. 반복적인 실행을 증명 검증으로 대체함으로써 합의 참여에 필요한 하드웨어 장벽을 크게 낮출 수 있습니다. 이러한 영향은 검증자를 넘어 확장됩니다. zkEVM 증명은 "상태 비저장" 방식이므로 전체 상태를 유지하지 않고도 실행의 정확성과 상태 전환의 정당성을 입증할 수 있어 개인이 로컬 하드웨어에서 노드를 다시 실행하고 전체 체인을 독립적으로 검증하는 것이 더 쉬워집니다. 이는 탈중앙화 핵심적인 장점 중 하나입니다. 여기에는 중요한 의존성도 하나 더 있습니다. 바로 향후 글램스터담 하드 포크 에서 도입될 것으로 예상되는 ePBS(프로토콜 내 제안자-빌더 분리)입니다. ePBS가 없으면 증명 생성 시간 창이 1~2초에 불과하여 실시간 증명이 거의 불가능합니다. 블록 파이프라인 메커니즘을 사용하면 이 시간 창을 6~9초로 확장할 수 있어 단일 슬롯 내에서 증명을 생성하는 것이 더욱 현실적이 됩니다. 독립 스테이킹 와 패밀리 검증자가 가장 직접적인 수혜자가 될 것으로 예상됩니다. zkAttester로서 더 이상 전체 실행 계층 클라이언트를 실행할 필요가 없으며, 동기화를 몇 분 안에 완료할 수 있습니다. 증명 검증이 반복적인 실행을 대체하여 하드웨어 요구 사항이 크게 줄어듭니다. 실행 계층 클라이언트 개발팀 또한 새로운 개발 경로를 얻게 됩니다. 각 클라이언트는 증명 대상이 될 수 있으며, 여러 증명 서브넷 설계는 클라이언트 다양성을 유지할 뿐만 아니라 프로토콜 구조의 일부로 만듭니다. 증명 측면의 상황은 더 복잡합니다. 증명은 "1/N" 활성 가정에 기반합니다. 즉, 전 세계에 단 한 명의 정직한 증명자만 존재한다면 블록체인은 계속 작동할 수 있습니다. 가장 간단한 모델은 블록 생성자들이 동시에 증명 역할을 수행하는 것이지만, 이는 증명 기능의 중앙 집중화를 초래할 수 있습니다. 만약 최고 수준의 블록 생성자들이 참여를 중단한다면 어떻게 될까요? 분산형 증명 네트워크나 가정용 하드웨어 증명 기능과 같은 문제들은 여전히 논의 중입니다. 분명한 설계 목표는 증명 기능이 데이터 센터에만 국한되지 않도록 하는 것입니다. zkVM 벤더(ZisK, openVM, RISC Zero 등)들도 이더 세계 최대 규모의 영지식 증명 애플리케이션 시나리오 중 하나로 발전시키는 데 기여하고 있기 때문에 이러한 변화의 혜택을 받을 것입니다. 실제로 이미 여러 팀들이 이더 블록에 대한 증명을 생성하고 있습니다. 표준화된 인터페이스의 발전은 이들에게 명확한 개발 목표를 제시합니다.
콘텐츠 출처 
