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

According to ChainCatcher, Cysic has officially announced the open-source release of its Graph-First zkVM proof framework, Venus. Venus is built on ZisK, abandoning the traditional HAL approach of treating the proof process as a series of isolated backend functions, and instead encodes the entire ZK proof process as a global computation graph, decoupling logic from hardware execution.