Cysic a rendu open source son framework Venus zkVM, un système de preuve basé sur un graphe construit sur ZisK, qui s'écarte du modèle HAL traditionnel en encodant l'ensemble du pipeline de preuve ZK comme un graphe de calcul global. Cette approche dissocie la logique de l'exécution matérielle, ce qui permet un processus de preuve plus efficace. Des tests en conditions réelles indiquent que Venus améliore le temps de preuve de bout en bout de plus de 9 % par rapport à ZisK 0.16.1 et réduit la surcharge de synchronisation CPU-GPU. Le framework est compatible avec GPU, FPGA et ASIC. Cysic a également rejoint Ethproofs en tant que partenaire d'intégration et opérera en tant que nœud zkEVM Ethereum. Le zkVM ZisK sous-jacent à Venus fait partie des cinq zkVMs considérés pour la mise à jour EIP-8025 d'Ethereum, plaçant Cysic à l'avant-garde du marché des preuves L1 d'Ethereum.