Cysic đã công khai mã nguồn của khung zkVM Venus, một hệ thống chứng minh ưu tiên đồ thị được xây dựng trên ZisK, khác với mô hình HAL truyền thống bằng cách mã hóa toàn bộ quy trình chứng minh ZK dưới dạng một đồ thị tính toán toàn cục. Cách tiếp cận này tách rời logic khỏi việc thực thi phần cứng, dẫn đến quá trình chứng minh hiệu quả hơn. Các thử nghiệm thực tế cho thấy Venus cải thiện thời gian chứng minh đầu-cuối hơn 9% so với ZisK 0.16.1 và giảm tải đồng bộ CPU-GPU. Khung này tương thích với GPU, FPGA và ASIC. Cysic cũng đã gia nhập Ethproofs với vai trò đối tác tích hợp và sẽ vận hành như một nút zkEVM của Ethereum. zkVM ZisK nền tảng của Venus nằm trong số năm zkVM được xem xét cho nâng cấp EIP-8025 của Ethereum, đưa Cysic trở thành đơn vị dẫn đầu thị trường chứng minh L1 của Ethereum.