본문으로 건너뛰기

Cysic Venus, ZK 증명 스택 오픈 소스화로 이더리움 실시간 검증의 경제성 실현

· 약 11 분
Dora Noda
Dora Noda
Software Engineer

7.4초. Cysic의 새로운 Venus 증명기를 실행하는 24개 GPU 클러스터에서 이더리움 메인넷 전체 블록에 대한 영지식 증명을 생성하는 데 걸리는 시간입니다. 1년 전만 해도 동일한 작업에 200개의 하이엔드 카드가 필요했으며, 실시간 패리티를 맞추는 데 10초가 소요되었습니다. 하드웨어 비용을 약 10분의 1로 줄이면서 이더리움의 12초 슬롯 시간 미만으로 단축한 이 격차의 붕괴는 이번 분기 크립토 인프라에서 가장 조용하면서도 강력한 변곡점입니다. 그리고 이는 Fusaka의 PeerDAS 업그레이드가 데이터 가용성의 문을 활짝 열어주면서, 증명 생성이 이더리움과 수백 개의 롤업이 공존하는 미래 사이의 유일한 병목 현상이 된 시점과 정확히 일치합니다.

2026년 4월 8일, Cysic은 Polygon Hermez가 원래 개발한 zkVM인 Zisk를 기반으로 구축된 하드웨어 최적화 증명 백엔드인 Venus를 오픈 소스로 공개했습니다. 이 릴리스는 일반적인 토큰 언락 마케팅과 함께 진행되지 않았습니다. 대신 GitHub에 ZisK 0.16.1 대비 9%의 엔드투엔드 성능 향상을 주장하는 기술 노트와 함께 기여 요청이 올라왔습니다. 이러한 절제된 표현 뒤에는 실제 이야기가 숨겨져 있습니다. 영지식(ZK) 증명은 연구 프로젝트에서 범용 컴퓨팅 자원(Commodity compute)의 영역으로 조용히 넘어왔으며, 향후 2년 동안 승리할 인프라 스택은 현재 대부분의 L2 팀이 구축하고 있는 모습과는 다를 것입니다.

아무도 예상하지 못한 병목 현상​

지난 3년 동안 이더리움의 확장성 논쟁은 데이터 가용성에 집중되었습니다. Blobs, EIP-4844, PeerDAS, danksharding — 모든 로드맵 대화는 이더리움이 롤업 데이터를 저렴하게 게시할 수 있게 되면 L2가 자동으로 비용 절감 혜택을 입을 것이라고 가정했습니다. 그 가정은 2025년 말에 조용히 깨졌습니다. 2025년 12월 3일에 Fusaka가 출시되었고, PeerDAS가 함께 도입되어 블록당 48개의 블롭과 초당 12,000건의 트랜잭션 처리 경로를 약속했습니다. 이더리움 역사상 처음으로 데이터 가용성이 시스템의 가장 큰 제약 사항이 아니게 된 것입니다.

이제 새로운 제약 사항은 증명 생성입니다. ZK 롤업은 상태 전환이 유효하다는 암호화 증명이 필요합니다. 이러한 증명을 생성하는 것은 전문 하드웨어에서 오프체인으로 수행되는 고비용 연산 작업입니다. 수학적 증명 대신 도전 기간(Challenge window)을 통해 분쟁을 해결하는 옵티미스틱 롤업(Optimistic rollups)은 이 비용을 완전히 건너뜁니다. 이것이 현재 상위 ZK L2의 총 예치 자산(TVL)이 약 33억 달러인 반면, 옵티미스틱 롤업은 400억 달러를 넘어선 이유입니다. 12대 1의 격차는 내러티브의 문제가 아닙니다. 증명 경제성(Prover economics)의 문제입니다.

Succinct의 내부 연구는 이 수치를 직설적으로 제시했습니다. SP1 Turbo로 모든 이더리움 블록을 실시간으로 증명하려면 160 ~ 200개의 RTX 4090 GPU 클러스터가 필요했습니다. 이는 증명 클러스터당 30만 달러에서 40만 달러의 자본 지출과 그리드 규모의 전력 소비를 의미합니다. 자체 증명기를 운영하려는 모든 L2는 해당 스택을 감당할 수 있는 소수의 운영자에게 증명 생성을 중앙 집중화하거나, 사용자 경험을 저해하는 수 분의 증명 지연을 수용해야 하는 선택의 기로에 섰습니다. 어느 쪽도 Vitalik이 2021년부터 그려온 "ZK 엔드게임"을 실현하지 못했습니다.

Venus의 실제 작동 방식​

Venus가 흥미로운 이유는 그 자체의 기능보다 그것이 상징하는 바에 있습니다. Cysic은 새로운 증명 시스템을 발명한 것이 아닙니다. 기본 암호화는 Jordi Baylina와 Polygon 팀의 수년간의 노력이 담긴 Zisk에서 비롯되었습니다. Cysic이 한 일은 증명 생성이 명시적인 계산 그래프(이종 하드웨어 전반에서 엔드투엔드로 스케줄링될 수 있는 작업의 유향 비순환 그래프, DAG)가 되도록 실행 레이어를 재설계한 것입니다.

실제로 이는 이전 zkVM을 지배했던 CPU-GPU 동기화 오버헤드가 스케줄링 레이어에서 최적화됨을 의미합니다. 증명기는 다음 작업을 시작하기 전에 GPU 커널이 끝나기를 기다리지 않습니다. 그래프를 미리 알고 있기 때문에 데이터 이동, 메모리 할당 및 커널 실행을 파이프라이닝할 수 있습니다. 이것이 ZisK 0.16.1 대비 9% 향상의 비결입니다. 다항식 수학의 획기적인 발전이 아니라, 수학이 실리콘 하드웨어와 만나는 방식에서의 엔지니어링 승리입니다.

더 중요한 것은 동일한 계산 그래프가 FPGA와 향후 Cysic의 전용 ZK ASIC에서도 실행된다는 점입니다. 이 회사는 자사의 ASIC이 초당 133만 개의 Keccak 해시 함수 평가를 수행할 수 있다고 공개적으로 주장했는데, 이는 일반적인 GPU 작업보다 100배 향상된 성능이며 에너지 효율은 약 50배 더 높습니다. 내부 추정치에 따르면 단일 목적의 ZK Pro 유닛 하나가 전력 소모를 대폭 줄이면서 약 50개의 GPU를 대체할 수 있습니다. 이러한 수치가 실제 운영 환경에서도 유지된다면, 증명의 경제성은 RTX 카드로 가득 찬 창고를 임대하는 방식에서 전용 칩이 장착된 소형 랙을 운영하는 방식으로 전환될 것입니다.

12초 미만 증명을 향한 경주​

Venus는 갑자기 나타난 것이 아닙니다. 지난 12개월 동안 세 팀이 동일한 이정표를 향해 수렴했습니다. 바로 실시간 검증을 정의하는 12초 슬롯 시간 내에 이더리움 블록을 증명하는 것입니다.

Succinct가 공공 장소에서 먼저 이를 달성했습니다. 2025년 5월에 발표된 SP1 Hypercube는 200개의 RTX 4090 클러스터를 사용하여 10,000개 블록의 메인넷 샘플 중 93%를 실시간으로 증명했습니다. 2025년 11월 개정판에서는 단 16개의 RTX 5090 GPU를 사용하여 성공률을 99.7%로 끌어올렸으며, 이는 6개월 만에 하드웨어 비용을 약 90% 절감한 것입니다. 이 시스템은 현재 이더리움 메인넷에서 실시간으로 가동 중이며, 채굴되는 모든 블록에 대해 증명을 생성하고 있습니다.

Cysic의 수치는 비용 면에서 더욱 압도적입니다. 24개의 GPU로 7.4초를 기록하며 범용 하드웨어에서 엔드투엔드 증명을 슬롯 시간 내에 여유롭게 완료했습니다. 현재 공개된 Venus 릴리스는 오픈 소스이며 운영용 감사를 받지 않았고 여전히 활발히 개발 중입니다. 하지만 엔지니어링 궤적을 보면 소비자급 클러스터에서 10초 미만의 증명을 구현하는 것은 이제 근본적인 아키텍처의 문제가 아니라 소프트웨어 튜닝의 영역이 되었음을 알 수 있습니다.

증명당 비용도 동시에 급감했습니다. 업계 벤치마크에 따르면 현재 16x RTX 5090 하드웨어를 사용할 경우 이더리움 블록 증명당 최적의 비용은 약 2센트입니다. 대규모 채택을 위한 목표치는 1센트 미만입니다. 1년 전만 해도 동일한 증명 비용은 1달러에 가까웠습니다. 3년 전에는 사실상 경제성이 없었습니다. 정산된 롤업의 가스비가 증명기의 전기료조차 감당하지 못했기 때문입니다. 이것은 전체 제품 카테고리를 소리 없이 도태시키는 종류의 비용 곡선이며, 그 속도는 더욱 빨라지고 있습니다.

마켓플레이스 전쟁은 이미 시작되었습니다​

저렴하고 빠른 증명 ( proving ) 이 자동으로 접근 가능해지는 것은 아닙니다 . 누군가는 하드웨어를 운영하고 , 수요를 매칭하며 , 증명 작업의 가격을 책정하고 , 결제를 정산해야 합니다 . 현재 세 가지 다른 아키텍처적 베팅이 해당 미들웨어 계층을 두고 경쟁하고 있습니다 .

2025년 9월 RISC Zero가 메인넷에 출시한 Boundless는 경매 마켓플레이스를 운영합니다 . GPU 운영자들은 증명을 생성하기 위해 입찰하며 , 시스템은 가장 낮은 비용의 자격을 갖춘 증명자 ( prover ) 에게 작업을 라우팅합니다 . 이 모델은 AWS 스팟 인스턴스 ( AWS Spot Instances ) 와 같은 스팟 컴퓨팅 시장에서 영감을 얻었으며 , 증명 비용을 하드웨어 한계 비용 수준으로 낮추겠다고 약속합니다 . Boundless는 최근 비트코인 정산 기능을 추가하여 이더리움 및 Base 증명을 비트코인 베이스 레이어에서 검증할 수 있게 했습니다 . 이는 영지식 ( ZK ) 인증이 존재할 수 있는 영역을 틈새 시장이지만 의미 있게 확장한 것입니다 .

Succinct의 Prover Network는 다른 베팅을 하고 있습니다 . 순수 경매 방식 대신 , 특정 워크로드를 처리하는 승인된 고성능 증명자들과 함께 라우팅 프로토콜을 운영합니다 . Cysic은 SP1 Hypercube 프로덕션 트래픽에 최적화된 GPU 클러스터를 운영하며 멀티 노드 증명자 운영자로 네트워크에 합류했습니다 . 이러한 배치는 Succinct가 순수 스팟 시장이 소비자 대상 롤업에 제공할 수 없는 신뢰성과 지연 시간 ( latency ) 보장에서 가치를 찾고 있음을 시사합니다 .

Cysic 자체적으로는 2025년 12월 11일 메인넷과 CYS 토큰을 출시했으며 , 이후 Scroll , Aleo , Succinct , ETHProof 등과 통합되어 1,000만 개 이상의 ZK 증명을 처리했습니다 . 네트워크의 핵심 가치는 " 컴퓨트파이 ( ComputeFi ) " 입니다 . 이는 증명 용량을 운영자가 토큰화하고 스테이킹할 수 있는 유동적인 온체인 자산으로 바꾸는 것입니다 . 이것이 제3의 주요 마켓플레이스가 될지 , 아니면 두 거대 네트워크를 위한 공급자 역할에 안주할지는 2026년의 남겨진 과제입니다 .

이것이 롤업 경제학에 중요한 이유​

핵심은 인프라 뉴스보다 세 단계 아래인 실제 L2의 유닛 이코노믹스 ( unit economics ) 에 있습니다 . 현재 zkEVM 롤업은 트랜잭션당 비용의 상당 부분을 증명 생성에 소비합니다 . 이러한 비용은 가스비로 사용자에게 전가되거나 롤업 운영자의 마진으로 흡수됩니다 . 어느 쪽이든 , 이는 ZK 롤업이 동일한 트랜잭션에 대해 부과할 수 있는 비용과 옵티미스틱 ( optimistic ) 롤업이 부과하는 비용 사이의 격차를 벌립니다 .

만약 증명 비용이 1센트 미만으로 떨어지고 증명 지연 시간이 이더리움의 슬롯 시간 내에 들어오게 된다면 그 격차는 좁혀집니다 . ZK 롤업은 더 이상 보안 프리미엄을 부과할 필요가 없게 됩니다 . 사용자 경험은 옵티미스틱 롤업과 구별할 수 없게 되지만 , 출금 정산은 모든 옵티미스틱 브릿지에 마찰 비용 ( friction tax ) 을 부과하는 7일간의 챌린지 기간이 아닌 단 몇 분 만에 이루어집니다 .

이러한 전환은 구조적으로 중요합니다 . 가장 큰 기관 유동성 풀이 여전히 옵티미스틱 롤업의 출금 지연을 L1에 머무르는 이유로 꼽기 때문입니다 . 마켓플레이스 기반 가격 책정을 통한 실시간 ZK 증명은 ZK 우선 롤업 아키텍처에 반대하는 마지막 기능적 논거를 제거합니다 . 현재 옵티미스틱 스택을 배포하고 있는 모든 L2 팀은 2026년에 심각한 기술적 재검토에 직면할 것입니다 . 몇몇 팀은 마이그레이션을 진행하거나 최소한 시퀀서의 ZK 포크를 출시할 것입니다 .

여전히 해결해야 할 과제들​

Venus 릴리스는 그 한계에 대해 솔직합니다 . 코드는 아직 프로덕션 용도로 감사를 받지 않았습니다 . 라이브 롤업에서 감사받지 않은 증명자 소프트웨어를 운영하는 것은 , 만약 무결성 ( soundness ) 버그로 인해 검증자가 수락하는 유효하지 않은 증명이 생성될 경우 커리어를 끝낼 수 있는 결정입니다 . 프로덕션 배포는 오픈 소스 공개보다 몇 주가 아닌 몇 달 정도 늦어질 것으로 예상됩니다 .

하드웨어 측면도 위험이 집중되어 있습니다 . 만약 ASIC 기반 증명이 약속된 50배의 효율성 향상을 제공한다면 , 소수의 제조사가 비트메인 ( Bitmain ) 이 비트코인 채굴을 지배했던 것처럼 증명자 하드웨어를 독점하게 될 것입니다 . 이러한 역학 관계는 애초에 ZK 롤업을 정당화했던 탈중앙화 내러티브에 반합니다 . Cysic의 ASIC 로드맵은 컴퓨팅 문제에 대한 해답이지만 , 세계 최대의 스마트 컨트랙트 플랫폼을 보호하는 칩을 누가 소유하는지에 대한 새로운 질문을 던집니다 .

마지막으로 , 실시간 증명은 나머지 스택이 보조를 맞출 때만 의미가 있습니다 . PeerDAS를 통한 데이터 가용성 샘플링 ( Data Availability Sampling ) 은 테스트넷 벤치마크뿐만 아니라 실제 프로덕션 규모에서 작동해야 합니다 . 시퀀서 탈중앙화는 모든 주요 L2에서 여전히 해결되지 않은 문제로 남아 있습니다 . 증명은 엔드게임을 위해 필요하지만 충분조건은 아니며 , 업계는 인접 계층의 붕괴를 조용히 덮어두면서 한 계층에서 승리를 선언해 온 역사가 있습니다 .

단기적 변곡점​

시야를 넓혀보면 패턴이 명확해집니다 . 2025년 5월 , 실시간 이더리움 증명에는 40만 달러 상당의 GPU 클러스터와 억 단위의 연구 예산이 필요했습니다 . 2026년 4월에는 오픈 소스 소프트웨어를 탑재한 24개의 상용 카드로 구동됩니다 . 향후 18개월 동안 비용 곡선은 ASIC 경제 , 센트 단위의 증명당 가격 책정 , 맞춤형 인프라 프로젝트가 아닌 공공 서비스 ( utility service ) 로서의 증명 생성을 향해 더욱 압축될 것입니다 .

빌더들에게 실질적인 시사점은 2024년에는 비경제적이었던 ZK 기반 아키텍처를 이제 다시 평가할 가치가 있다는 것입니다 . 프라이버시 보호 트랜잭션 프로토콜 , 검증 가능한 AI 추론 , 멀티시그가 아닌 수학적 보안을 갖춘 크로스체인 메시징 , 영지식 자격 증명 공개를 통한 온체인 신원 확인 등 이 모든 것이 더 이상 존재하지 않는 증명 비용의 벽 뒤에 갇혀 있었습니다 .

Cysic Venus 릴리스 그 자체만 놓고 보면 오픈 소스 증명 백엔드에 대한 겸손한 엔지니어링 업데이트입니다 . 하지만 Succinct의 Hypercube 메인넷 출시 , Boundless의 라이브 증명 경매 운영 , Fusaka의 PeerDAS를 통한 데이터 가용성 병목 현상 해결이라는 맥락에서 보면 , 이는 ZK 인프라가 제약 조건이 아닌 기저 계층 ( substrate ) 이 되기 시작하는 지점입니다 . 이 전환 이전에 작성된 모든 롤업 이론 ( thesis ) 은 다시 작성되어야 합니다 .

  • BlockEden.xyz는 이더리움 L2 , Scroll , Aptos를 포함한 27개 이상의 체인에 걸쳐 엔터프라이즈급 RPC 및 데이터 인프라를 제공합니다 . 실시간 증명이 L2 지형을 재편함에 따라 , 당사의 API 마켓플레이스를 탐색 하여 ZK 네이티브 시대를 위한 신뢰할 수 있는 기반 위에 구축해 보십시오 .*

출처 :

Share on Twitter