Cysic开源Venus zkVM引擎,重塑证明生成模式
Cysic近日开源了其Venus零知识虚拟机计算引擎。该引擎将证明生成过程重构为全局计算图,取代了传统的硬件抽象层模型,并将该公司的ZisK技术栈定位在以太坊新兴的EIP-8025证明市场之中。
基于计算图的设计范式
Venus不再将硬件后端视为一系列孤立的函数调用,而是将零知识证明生成编码为显式的计算图,使其能够跨GPU、FPGA及未来ASIC芯片进行端到端调度。Cysic表示,这种设计使编译器能够“跨内核边界重排指令并融合内存操作”,从而减少CPU与加速器之间的内存颠簸,更好地适配MSM与NTT运算的大规模并行特性。在内部测试中,Venus引擎相比ZisK 0.16.1实现了超过9%的端到端证明时间提升,这主要得益于削减了CPU-GPU同步开销,而非依赖于硬件性能的单纯提升。
融入以太坊证明发展脉络
此次发布正值以太坊EIP-8025提案推动采用多证明器模型进行第一层区块验证之际。Cysic指出,ZisK已在官方社区讨论中被列为候选zkVM系统之一。团队表示,当前已能使用24张GPU在7.4秒内完成以太坊区块的证明生成,符合实时性要求。该项目现已接入Ethproofs网络,通过单张RTX 4090显卡为以太坊区块提交实时证明,并被列为生态系统的集成合作伙伴。
全栈零知识基础设施布局
Cysic将Venus定位为完整技术栈中的软件加速核心,该栈包含协议层的ZisK zkVM、作为计算基础的自定义ASIC硬件,以及用于调度证明任务的ComputeFi网络。团队认为,当前的核心挑战并非算力不足,而是体系架构上的根本性错配,需要高度集成的zkVM、硬件与调度体系来支撑以太坊zkEVM发展路径的大规模扩展。

资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种