필수 1-of-1 증명, 재실행 대신 증명 하나로 검증
Strawmap K* (2029) · mandatory 1-of-1 proofs
모든 블록에 실행 결과가 올바르다는 증명(zkEVM 증명)을 반드시 붙이고 검증자는 거래를 다시 실행하지 않고 그 증명 하나만 확인하도록 바꿉니다.
왜 필요한가
지금 이더리움 검증자는 블록을 받으면 안에 든 거래를 전부 다시 실행해서 결과가 맞는지 확인합니다. 모든 노드가 같은 계산을 반복하기 때문에 블록을 키우면 개인이 운영하는 노드가 따라가기 어려워집니다. 블록 크기(가스 한도)를 쉽게 늘리지 못하는 이유입니다. 증명 방식은 다릅니다. 증명자 한 명이 블록을 실행하고 결과가 맞다는 짧은 증명을 만들면, 나머지 노드는 그 증명만 확인합니다. 확인은 재실행보다 훨씬 가볍습니다. 재단 로드맵은 이 전환을 단계로 나눕니다. 처음에는 원하는 검증자만 증명을 확인하고 다음에는 증명 시스템 하나에 결함이 있을 가능성에 대비해 서로 다른 증명 시스템이 만든 증명을 여러 개 함께 요구합니다(k-of-n). 이 항목은 그 마지막 단계입니다. 증명 시스템이 충분히 성숙했다고 판단되면 증명 하나만으로 블록을 받아들이고 증명이 없는 블록은 유효하지 않은 블록이 됩니다. 검증자가 실행을 완전히 내려놓으므로 블록을 훨씬 크게 만들 수 있고 같은 칸의 탈중앙 상태처럼 노드가 가벼워지는 변화와 맞물립니다. K*는 Strawmap이 예상한 자리일 뿐 확정된 포크가 아닙니다.
어떻게 동작하나
- 증명자가 블록을 실행하고 증명을 만듭니다 블록을 만드는 쪽에서 거래를 실행한 뒤, 그 실행 결과가 규칙에 맞다는 짧은 증명을 함께 내놓습니다. 증명을 만드는 데는 큰 계산이 들지만 한 곳에서만 합니다.
- 검증자는 증명만 확인합니다 블록을 받은 검증자는 거래를 다시 실행하지 않습니다. 붙어 있는 증명 하나가 올바른지만 확인하고 맞으면 블록을 받아들입니다.
- 증명이 없으면 블록이 아닙니다 증명이 블록 유효성의 일부가 되므로, 증명이 빠졌거나 틀린 블록은 네트워크가 거절합니다. 여러 증명을 요구하던 이전 단계와 달리 증명 하나면 충분합니다.