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

ME News Report, April 7 (UTC+8), Cysic officially announced the open-source Graph-First (Graph-First) zkVM proof framework Venus. Venus is built on ZisK, abandoning the traditional HAL model that treats the proof process as a series of isolated backend functions. Instead, it encodes the entire ZK proof workflow as a single global computation graph, decoupling logic from hardware execution. Field tests show that, compared with the existing ZisK 0.16.1, Venus improves end-to-end proof time by more than 9%, significantly reduces CPU-GPU synchronization overhead, and is compatible with GPUs, FPGAs, and even ASICs. Cysic has been listed as an Ethproofs integration partner and will run directly as an Ethereum zkEVM node. The ZisK zkVM that Venus is based on uses a custom instruction set, and is explicitly included as one of the five major zkVM candidates in the official discussion of the Ethereum EIP-8025 upgrade. Cysic, therefore, directly enters the core race track of the Ethereum L1 proof market. (Source: ChainCatcher)