Cysic은 ZisK를 기반으로 구축된 그래프 우선 증명 시스템인 Venus zkVM 프레임워크를 오픈소스로 공개했습니다. 이 시스템은 전체 ZK 증명 파이프라인을 전역 계산 그래프로 인코딩함으로써 전통적인 HAL 모델에서 벗어납니다. 이러한 접근 방식은 논리를 하드웨어 실행과 분리하여 보다 효율적인 증명 과정을 가능하게 합니다. 실제 테스트 결과 Venus는 ZisK 0.16.1과 비교하여 엔드 투 엔드 증명 시간을 9% 이상 단축하고 CPU-GPU 동기화 오버헤드를 줄이는 것으로 나타났습니다. 이 프레임워크는 GPU, FPGA 및 ASIC과 호환됩니다. Cysic은 또한 Ethproofs에 통합 파트너로 합류하여 이더리움 zkEVM 노드로 운영될 예정입니다. Venus의 기반이 되는 ZisK zkVM은 이더리움의 EIP-8025 업그레이드에 고려되는 다섯 개의 zkVM 중 하나로, Cysic을 이더리움 L1 증명 시장의 선두에 위치시킵니다.