火讯财经讯,Cysic官方宣布开源图优先(Graph-First)zkVM证明框架Venus。Venus构建在ZisK之上,放弃将证明过程视为一系列孤立后端函数的传统HAL模式,把整条ZK证明流程编码为一张全局计算图,实现逻辑与硬件执行的解耦。
实测数据显示,Venus相比现有ZisK 0.16.1版本,端到端证明时间提升9%以上,CPU-GPU同步开销大幅下降,且兼容GPU、FPGA乃至ASIC等硬件。
Cysic已被列为Ethproofs集成合作伙伴,将直接作为以太坊zkEVM节点运行。Venus所基于的ZisK zkVM采用定制指令集,是以太坊EIP-8025升级官方讨论中明确列入候选的五大zkVM之一,Cysic由此直接切入以太坊L1证明市场核心赛道。
25 分钟前