Cysic 正式开源 Venus，已列为以太坊 Ethproofs 集成合作伙伴

ChainCatcher 消息，Cysic 官方宣布开源图优先（Graph-First）zkVM 证明框架 Venus。Venus 构建在 ZisK 之上，放弃将证明过程视为一系列孤立后端函数的传统 HAL 模式，将整条 ZK 证明流程编码为一张全局计算图，解耦逻辑与硬件执行。