분석: 부테린 “이더리움용 영지식 증명 속도 경쟁은 끝났다”…보안 우선 촉구

이더리움 공동 창립자 비탈릭 부테린은 이더리움에 충분히 빠른 영지식 증명을 구현하려는 경쟁에서 확실히 승리했다고 말했다. 부테린은 이제 zkEVM의 최우선 과제가 전적으로 보안으로 옮겨가야 한다고 말했다. 부테린의 발언은 ZKsync가 단일 그래픽카드에서 실시간 증명을 생성했다고 주장한 뒤 나왔다.

ZKsync의 자체 평가 결과 에어벤더 프라임은 메인넷 블록 7,200개 연속 구간에서 증명의 99%를 10초 이내에 생성했다. 이더리움은 12초마다 블록을 추가한다. ZKsync는 표본 내 어떤 블록도 증명에 그만큼 오래 걸리지 않았다고 밝혔다. ZKsync는 공개 증명 생성 성능 순위표인 ETHproofs에서 에어벤더 프라임이 평균 증명 생성 시간 기준 1위라고 밝혔다. ZKsync는 하드웨어 요건이 낮아지면 더 많은 기관과 독립 운영자가 증명 생성에 참여할 수 있다고 주장한다.

현재 이더리움 검증자는 블록을 확인하기 위해 모든 거래를 다시 실행한다. 영지식 증명은 계산을 반복하지 않고도 계산이 올바르게 수행됐음을 확인한다. 영지식 증명을 이용하면 검증자는 대신 짧은 증명을 확인할 수 있다. 이 변화로 블록마다 검증자가 해야 하는 작업이 줄어들 수 있다.

부테린은 이더리움의 실행을 증명하는 시스템인 zkEVM이 충족해야 할 요건 3가지를 제시했다. 부테린은 zkEVM이 이더리움 사양과 일치해야 한다고 말했다. 부테린은 블록 가스 한도에 비춰 증명 생성 비용에 상한을 둬야 한다고 말했다. 부테린은 건전한 증명 시스템을 사용해야 한다고 말했다. 부테린은 각 요건을 단순히 시험하는 데 그치지 않고 수학적으로 입증하는 형식 검증을 원한다.

증명 속도가 빨라져도 이더리움 가격이 직접 움직이는 것은 아니다. 에어벤더 프라임은 이더리움 프로토콜 변경이 아닌 ZKsync 도구다. 에어벤더 프라임은 이더리움의 ETH 공급량, 수수료, 스테이킹 보상을 바꾸지 않는다. 가격에 미치는 영향이 있다면 거시경제 여건과 펀드 자금 흐름과 함께 이더리움 로드맵에 대한 투자 심리를 통해 나타날 가능성이 더 크다.

더 큰 쟁점은 신뢰성이다. ZKsync는 은행을 대상으로 이 기술을 홍보하면서, 서버가 해킹되더라도 검증된 규칙을 위반하는 원장 업데이트를 승인받을 수 없다고 주장한다. 결함이 있는 고속 증명 시스템은 그 목적을 무너뜨릴 수 있다. 형식 검증과 감사가 이제 이더리움이 신뢰할 수 있는 zkEVM을 가릴 기준이 될 수 있다.