공연
RD 인기지표
RD 성장지표
비교
업데이트 따라가기
팔로우 목록
인물
ziskvm 소개
ZisK는 오픈소스 제로-지식 가상 머신(zkVM) 스택으로, Rust와 같은 고급 언어로 작성된 프로그램의 검증 가능한 실행을 가능하게 합니다. 프로그램이 올바르게 실행되었음을 증명하는 간결한 증명을 생성하여, 누구나 코드를 다시 실행하거나 입력값을 보지 않고도 검증할 수 있습니다. 핵심 강점은 성능에 있습니다. ZisK는 사전 컴파일(AOT)을 통해 RISC-V 프로그램을 최적화된 네이티브 x86_64 코드로 변환하고, 메모리와 병렬 재실행을 분리하는 2단계 '최소 추적' 아키텍처를 사용하여 1.5GHz RISC-V 추적 생성을 달성합니다. 이는 다른 공개 zkVM보다 약 10배 빠른 속도로, 오랜 기간 지속된 추적 생성의 순차적 병목 현상을 해결하여 실시간 증명의 지연 시간과 하드웨어 비용을 크게 줄입니다. 지난 6개월(2026년 3월~9월) 동안 ZisK는 버전 0.11.0을 출시하여 macOS 지원, GPU/CPU 전송 최적화, 가상 테이블 통합, PIL2로 마이그레이션된 재귀 회로를 추가했습니다. 또한 타사 플랫폼을 통해 브라우저 내 검증도 가능해졌습니다. 이 프로젝트는 2025년 6월 Polygon에서 독립 엔티티로 분사되었으며, 핵심 zkEVM 팀이 ZisK라는 이름으로 계속 개발을 진행하고 있습니다. 소프트웨어는 현재 활발히 개발 중이며 아직 프로덕션 준비가 되지 않았습니다.
ZisK는 2024년 5월부터 2025년 6월까지 Polygon Labs에서 인큐베이션을 진행했습니다. 2025년 6월 13일, 모든 지적 재산권과 핵심 팀이 Jordi Baylina가 전적으로 소유한 SilentSig Switzerland GmbH로 이전되면서 독립 프로젝트가 되었습니다. 2025년 6월 18일, Baylina는 분사를 공개적으로 발표했으며, Polygon zkEVM prover의 핵심 개발자 7명이 합류했고, 그는 Polygon의 고문으로 남았습니다. 2026년 6월 19일, ZisK는 v1.0.0-alpha를 출시하여 기능이 동결된 코드베이스로 안정화 단계에 진입했으며, 보안 감사, 형식 검증 및 강화에 초점을 전환했습니다. 이번 릴리스에서는 BLS12-381 서명 검증도 도입되었고, secp256k1/secp256r1 연산이 최적화되었으며, 최근 Poseidon2에 대한 공격으로 인해 기본 Merkle 트리 해시가 Poseidon2에서 Poseidon1으로 변경되었습니다.
지난 6개월 동안 ZisK VM(ziskvm)은 상당한 진전을 이루었습니다. 2026년 5월, v0.17.0이 출시되었으며, 분산 증명 아키텍처 재설계, 원격 클라이언트를 위한 새로운 gRPC API, 전체 증명 파이프라인을 노출하는 SDK 통합(zisk-sdk 1.0), 그리고 완전한 zkVM 가속기 C 인터페이스 준수가 포함되었습니다. 성능 작업으로는 Keccak/SHA-256을 libc로 이전, 새로운 arith256 API, 여러 정확성/안정성 수정이 이루어졌습니다. 2026년 8월, 팀은 v1.1.0-alpha를 발표하며, 4개의 RTX 5090 GPU에서 9.62초의 p99 증명 시간을 달성하여 이더리움의 10초 목표를 충족했다고 밝혔습니다. 향후 초점 영역은 추가 GPU 최적화, 강화된 검증, 프로덕션 릴리스 준비이며, 지속적인 보안 및 정확성 감사가 진행 중입니다.
호르디 바일리나: ZisK의 창립자이자 기술 리더. Polygon의 공동 창립자로, 이전에 Polygon zkEVM을 이끌었음. 초기 이더리움 개발자로 MiniMe 토큰과 LiquidPledging을 만들었으며, Aragon과 MakerDAO의 감사를 수행함. 현재는 오픈소스 zkVM인 ZisK에 집중하고 있으며, iden3의 기술 리더로도 활동 중.