GPU 1장으로 이더리움을 증명했다. 그러나 실전에서 통과해야 할 시험은 다르다. @zksync는 GPU 1장으로 이더리움 메인넷 블록 7,200개를 증명했다. 이 중 99%는 10초 이내에, 모든 블록은 12초 이내에 증명이 완료되었다. 그러나 @ethereum Foundation이 지원하는 EthProofs의 실시간 증명 운영 지표에 따르면, 평가 대상 프로버 8개 중 최근 주간 적격 기준을 충족한 프로버는 단 2개였다. 두 결과는 측정 대상과 환경이 달라 직접적인 성능 비교는 불가능하다. 오히려 그 차이에서 ZK 기술의 다음 과제가 드러난다. 간단 요약: - Airbender Prime은 이더리움의 약 12초 블록 생성 주기에 GPU 1장으로 대응할 수 있다는 가능성을 입증했다. - 실제 프로버 운영에서는 증명 속도뿐 아니라 가동률, 증명 실패, 하드웨어 요구사항까지 고려해야 한다. - 장기적으로는 증명 처리 속도보다 정확성 검증, 최악 조건에서의 증명 비용, 안정적인 운영 능력이 zkEVM의 경쟁력을 가를 가능성이 크다. ZKsync가 10월 13일 발표한 Airbender Prime은 NVIDIA RTX PRO 6000 Blackwell GPU 1장으로 연속된 이더리움 메인넷 블록 7,200개를 증명했다. 이더리움이 약 12초 간격으로 블록을 생성하므로, 7,200개는 명목상 약 24시간 분량의 블록에 해당한다. 증명에 필요한 입력 데이터(witness)를 준비하는 시간까지 포함해 99%의 블록을 10초 이내에 처리했다는 점이 의미 있다. 새 블록이 생성되는 속도보다 증명을 생성하는 속도가 충분히 빠르면, 검증자는 모든 거래를 다시 실행하는 대신 암호학적 증명으로 실행 결과를 확인할 수 있다. 그만큼 검증에 필요한 연산량을 줄일 가능성이 생긴다. 하지만 7,200개 블록에 대한 성능 시험과 실제 운영 환경에서 지속적으로 증명을 공급하는 것은 다른 문제다. EthProofs는 이더리움 블록을 실시간으로 증명하는 여러 시스템의 성능과 운영 상태를 공개적으로 측정한다. 10월 26일 조회 당시 대시보드에는 다음과 같은 수치가 표시되었다. - 평가 대상 프로버 8개, 최근 주간 적격 기준 충족 프로버 2개 - 전체 평가 대상의 블록 슬롯 대비 10초 이내 증명 성공 비율: 69.7% - 오프라인으로 분류된 비율: 26.2% 이 수치들은 Airbender Prime의 단일 GPU 시험 결과가 아니다. 여러 프로버를 대상으로 한 운영 집계이며, 장비와 실행 환경, 적격 판정 기준도 다르다. 그러나 실제 네트워크에서 증명을 활용하려면 개별 성능 기록과 별개로 운영 신뢰성을 확보해야 한다는 사실을 보여준다. 증명 생성에 평균 5초가 걸리는 프로버라도 자주 중단되거나 특정 블록을 처리하지 못한다면, 해당 시스템에만 의존하는 검증 구조는 안정적으로 작동하기 어렵다. 특정 프로버가 실패했을 때 다른 구현이 증명을 제공할 수 있는지, 어려운 블록이 연속해서 들어와도 처리 지연이 누적되지 않는지까지 확인해야 한다. 하드웨어 조건에도 별도의 확인이 필요하다. Airbender 공개 저장소의 GPU 가이드에는 기본·재귀 증명 단계에서 GPU를 사용하고 최종 증명 단계에는 CPU와 약 150GB의 RAM이 필요하다고 설명되어 있다. 이 문서가 최신 Prime 벤치마크의 실행 구성과 동일한 경로를 설명하는지는 확인되지 않았다. 따라서 GPU 1장이라는 측정 결과로 전체 시스템의 메모리 요구량이나 운영 비용까지 확정할 수는 없다. 10월 15일 @VitalikButerin은 Airbender 팀의 성과를 높이 평가하면서 zkEVM의 다음 과제로 세 가지를 제시했다. 첫째는 증명에 사용되는 계산이 이더리움의 실제 실행 규격과 일치한다는 것을 수학적으로 검증하는 일이다. 둘째는 블록 가스 사용량 대비 증명 비용에 엄격한 상한을 두는 것이다. 셋째는 증명 시스템 자체의 암호학적 안전성을 검증하는 일이다. 두 번째 조건은 실제 운영 비용과도 연결된다. 평범한 블록은 10초 이내에 증명하더라도, 누군가 허용된 가스 한도 안에서 증명하기 매우 어려운 연산을 의도적으로 구성한다면 어떨까? 블록 실행에는 정상적으로 비용을 지불했지만, 증명 생성에는 지나치게 많은 연산과 시간이 필요할 수 있다. 이런 상황이 가능하다면, 블록당 평균 증명 시간이 아무리 짧아도 네트워크가 안정적으로 처리할 수 있는 최대 부하를 예측하기 어렵다. 실시간 증명의 경제성은 평균적인 블록의 증명 비용과 함께 최악의 경우 얼마나 많은 자원이 필요한지에 달려 있다. EthProofs의 로드맵도 이러한 방향으로 진행되고 있다.現在、パフォーマンス改善フェーズは完了し、セキュリティ検証フェーズが進行中です。 次に、遅延証明、義務証明、およびプロトコルへの直接証明統合が予定されています。 この順序が重要なのは、高速な証明システムを1つ作ることと、Ethereumがその証明を合意プロセスで信頼することとは別々の課題だからです。 Airbender Primeの発表は、リアルタイム証明のハードウェア負荷を削減できるという強力な根拠を示しました。 次の成果は、単に記録が速いというだけでは評価しづらいでしょう。 実運用環境で高い証明成功率をどれほど長く維持できるか、最悪のブロックでも証明コストが制限されるか、異なる実装がEthereumの実行結果を正確に証明できるかが重要です。 ZK証明技術は、高速な計算を披露する段階から、ネットワークが実際に依存できるインフラへと移行しています。 #Ethereum #zkEVM
