Cysic officially open-sourced Venus, and has been listed as an Ethereum Ethproofs integration partner.

ME News Report, April 7 (UTC+8), Cysic officially announced the open-source Graph-First zkVM proof framework Venus.
Venus is built on ZisK, abandoning the traditional HAL model that treats proof processes as a series of isolated backend functions, encoding the entire ZK proof process as a global computation graph, decoupling logic from hardware execution.
Testing shows that Venus improves end-to-end proof time by over 9% compared to the current ZisK 0.16.1, significantly reducing CPU-GPU synchronization overhead, and is compatible with GPU, FPGA, and even ASIC.
Cysic has been listed as an Ethproofs integration partner, directly running as an Ethereum zkEVM node.
Venus is based on ZisK zkVM, which uses a custom instruction set and is one of the five major zkVM candidates explicitly listed in the official discussion for Ethereum EIP-8025 upgrade.
This allows Cysic to directly enter the core race track of Ethereum L1 proof markets.
(Source: ChainCatcher)