自选
我的自选
查看全部
市值 价格 24h%
  • 全部
  • 产业
  • Web 3.0
  • DAO
  • DeFi
  • 符文
  • 空投再质押
  • 以太坊
  • Meme
  • 比特币L2
  • 以太坊L2
  • 研报
  • 头条
  • 投资

免责声明:内容不构成买卖依据,投资有风险,入市需谨慎!

Cysic Venus zkVM开源,以太坊布局证明市场新赛道

2026-04-07 23:12:11
收藏

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发展路径的大规模扩展。

展开阅读全文
更多新闻