비탈릭, 이더리움(ETH) 영지식 증명 속도 경쟁 종료 선언... 증명 99%가 10초 미만

속도에 이어 보안이 최우선 과제로

이더리움 공동창업자 비탈릭 부테린은 10월 15일 목요일, 네트워크에 필요한 수준까지 영지식 증명 속도를 끌어올리는 경쟁이 끝났다며 이제 zkEVM 개발자들의 역량은 보안 확보에 집중돼야 한다고 밝혔다. 그는 ZKsync가 소비자용 그래픽카드 한 장으로 실시간 증명에 성공했다고 발표한 지 몇 시간 뒤 X에 이 같은 글을 올렸다. 먼저 ZKsync 에어벤더 팀에 축하를 전한 뒤, 그는 속도 경쟁이 자신의 표현대로 “확실하게 끝났다”고 선언했다. 이 선언은 이더리움 로드맵이 암호학적 검증 쪽으로 더 기울어진 시점에 나왔고, 같은 기간 이더리움(ETH) 가격은 24시간 동안 5.7% 하락했다. 공학적 이정표가 시장을 혼자 움직이지 않는다는 사실을 보여주는 대목이다. 그의 구분에 따르면 이더리움의 실행을 증명하는 체계인 zkEVM은 앞으로 세 가지 시험을 통과해야 한다. 이더리움 사양과 정확히 일치할 것, 증명 장치 운영 비용을 각 블록의 가스비 예산 안에 유지할 것, 그리고 견고한 증명 체계 위에 세워질 것. 그는 세 가지 모두 형식적 검증, 즉 테스트를 통한 확인이 아니라 수학적으로 증명되기를 원한다. 속도가 구조적으로 중요했던 이유도 있다. 지분증명 방식에서는 검증자가 이더리움이 12초마다 추가하는 블록마다 모든 거래를 직접 다시 실행해 확인한다. 계산을 반복하지 않고도 계산이 올바르게 수행됐음을 확인해 주는 영지식 증명을 쓰면 검증자는 짧은 암호학적 증명만 검증하면 되고, 블록당 작업량은 그 일부로 줄어든다. 이 작업량 절감은 영지식 연구 계열이 오랫동안 약속해 온 성과였고, 경쟁하는 증명 팀들이 수년간 벤치마크를 공개해 온 이유이기도 하다.

@VitalikButerin · X 게시물

X.

X에서 보기

ZKsync의 7,200블록 벤치마크

주장의 근거 수치는 ZKsync가 새 증명 장치 에어벤더 프라임에 대해 자체 평가한 결과에서 나왔다. 메인넷 연속 7,200개 블록을 대상으로 시스템은 증명의 99%를 10초 미만에 생성했다. 표본 안의 어떤 블록도 12초 전체 창을 필요로 하지 않았다. 다만 이 수치는 인상적이긴 하나 자체 보고일 뿐 독립적으로 감사된 것이 아니다. 실시간 증명은 zkEVM이 선택형 확장 실험에서 벗어나 인프라로 기능하기 시작하는 문턱으로 오래 취급돼 왔다. 증명이 요약 대상인 체인의 속도를 따라잡을 수 있는 것은 바로 이 시점부터이기 때문이다. 외부 검증 수단으로 ZKsync는 공개 증명 장치 순위표인 ETHproofs를 가리킨다. 에어벤더 프라임은 평균 증명 시간 부문에서 1위다. 순위표는 비용도 함께 추적하므로 기관들은 벤더의 주장 너머의 기준점을 얻는다. 하드웨어가 이야기의 나머지 절반을 이룬다. 특화 장비 클러스터 대신 그래픽카드 한 장으로 증명하면 진입 비용이 낮아져, 회사의 논리로는 더 많은 기관과 독립 운영자가 증명 참여자 풀에 합류할 수 있다. 이 탈중앙화 논리는 zkEVM 기술 위에 만들어진 레이어 2 체계 전반에서 무게를 갖는다. 소수 전문 증명 업체에 대한 의존은 늘 제기돼 온 비판이다. 에어벤더 프라임은 어디까지나 ZKsync의 제품이지 이더리움 프로토콜 변경이 아니다. Ethereum (ETH) 공급량, 수수료 구조, 스테이킹 보상은 그대로이므로 발행이나 온체인 경제에서 움직이는 것은 없다. 더 큰 상업적 판은 다른 곳에 있다. ZKsync는 해킹당한 서버조차 규칙을 어기는 원장 갱신이 승인되지 못한다는 논리로 은행들에 이 증명 장치를 제안한다. 이 약속은 빠른 증명 장치 자체에 결함이 없을 때만 성립하고, 여기서 감사와 형식적 검증이 기관이 신뢰할 zkEVM을 가리는 결정 요인이 된다.

형식적 검증이 결정하는 것

우리의 판단은 다음과 같다. 시장은 이 발표를 프로토콜 이벤트가 아니라 로드맵 관련 재료로 취급했다. 에어벤더 프라임은 현재 수수료, 발행, 검증자 경제 중 어떤 것도 바꾸지 않으므로 5.7% 하락은 증명 주장보다 거시 환경과 자금 흐름을 더 좇는다. 목요일 초반 거래에서 코인은 이미 2,400달러 아래로 내려와 있었다. 그럼에도 구조 아래에서는 변화가 진행 중이다. MetaMask 스테이킹 철수가 한 달간 검증자 수를 7.7% 줄였고, 검증자 작업량 절감은 이런 흐름에서 실무적으로 의미를 갖는다. 단기 시험은 부테린이 스스로 정한 것으로, 형식적 검증과 감사가 이더리움이 신뢰할 수 있는 zkEVM을 결정한다. 가격 구간을 추적하는 독자는 우리의 이더리움 기술적 분석을 참고할 수 있다.