时间的状态
887 posts


Cysic 自研的 Venus zkVM,是目前以太坊最快 ZK 证明引擎,没有之一‼️‼️
Ethproofs 官方数据显示,Venus 在单节点、单 GPU 的证明效率与成本控制两项指标上均排名第一。
ethproofs.org/provers
1)证明速度方面,Venus 单节点集群的平均证明时间为 1 分 54 秒,Ethproofs 平台上的最优实测记录更跑出了 1 分 47 秒,是当前公开数据中的最快成绩。
横向对比:同等硬件下,SP1 平均耗时 4 分 45 秒,ZisK 0.16.1 为 2 分 35 秒。Venus 较前者加速约 2.5 倍,较后者缩短超过 40 秒。
2)证明成本方面,Venus 单次证明平均成本为 $0.0192,不到 ZisK 0.16.1($0.0404)的一半,仅为 SP1($0.0776)的四分之一。Ethproofs 实测环境下这一数字进一步降至 $0.0165。
3)极限测试方面,在针对真实证明任务的测试中,单张前代消费级显卡 RTX 3090 跑出了 47.84 秒的绝对时间。
在最新的 RTX 5090 上,采用 OPT_LEVEL=1 配置可取得速度与稳定性的最优平衡。
————————
➡️ Venus 的核心改变是将整个 ZK 证明过程重构为数据流计算图 Graph。
不再把证明拆解成一串函数调用,而是在执行开始前就将完整的计算依赖关系显式编码成图,由 GPU 自主调度执行。
具体机制上,Venus 通过跨内核数据放置(Cross-kernel data placement)让中间计算结果持续驻留在显卡显存中,避免反复在主机与设备之间搬运数据。
同时将高频证明路径以 cudaGraph 实例的形式捕获并回放,进一步消除调度开销。
结果是 GPU 的实际利用率大幅提升,而非只是账面算力高。
————————
➡️ Graph 架构的价值不止于当下的 GPU 优化,同样是通往定制化硬件的桥梁。
Cysic 已完成基于 VU47P 和 VH1782 等 FPGA 芯片的 HLS 原型架构验证。
受限于 74–98 MHz 的主频,单颗 FPGA 在绝对性能上目前还无法取代深度优化的 GPU 方案,但这套计算图语义已经跑通了从图描述到硬件的完整编译路径。
一旦未来演进至 ASIC 阶段,固化的硬件数据通路将带来性能的跃升式释放。
这条路线的逻辑是,先用图架构在 GPU 上验证可行性,再通过同一套语义将计算迁移到专用芯片,而不必重写整个系统。

Cysic中文@Cysic_CN
中文



@cysic_xyz Don't just keep chanting empty slogans. The real rewards for tasks keep dropping. Are you going to do something about it or what?
English

@cysic_xyz More tasks, more rewards — naturally, more people will install it.
English

Get rewarded for being early.
Download MyCysic → Opt in → Reply with a screenshot of it running.
A few early adopters will get a chance to win from the $2,000 prize pool.
Download now 👇
Cysic@cysic_xyz
Prove your phone is earning & get rewarded. We’re rewarding a few early MyCysic App users with a $2,000 prize pool. How to enter: 1️⃣ Download the MyCysic App 2️⃣ Opt in 3️⃣ Reply with a screenshot of it running And you’re in! Download now 👇
English

More tasks are coming…
Did u know you can display your Cube NFTs in our APP?
Show them off while you run tasks:)
Cysic@cysic_xyz
7 days since ComputeFi went mobile. Total verifiers up by 45%. The Cysic network is growing. ComputeFi is accelerating. This is just the start.
English

0G 正在为去中心化 AI 构建全新的基础设施层,让 AI 真正走向可验证与规模化。
这个夜晚,让我们在微醺的氛围里,用一场 Party,开启 0G 社区的 2026 @OurTinTinLand @0G_labs



中文



🎉 恭喜以下 36 位朋友成功获得 zkVerify 中国行活动空投!再次感谢大家对 zkVerify 的支持!🚀💙
🏆 空投领取方式请查看下方攻略👇
docs.google.com/document/d/1uC…
🙋
@359990902
@56789etc
@zhi_lingling
@Janice1995121
@MEIDA_CAT
@metachaindb
@ai_den123
@siemens84cn
@huang_wanlin
@vividzfc
@xxxgyhwh
@to037
@Fu7ok
@0x_h12
@kingofcryptogo
@Tuo0k
@fengqingg521
@ymct1998
@leosince1985
@JoiiiJo84334
@merGk56711523
@mikeniuye
@bovthree
@aigcking
@Jessica76663030
@tikpen2
@geason722
@aigcbox
@xESm4K3sp234914
@wyn05230602
@raccoonx84
@XXYXWXYX
@orca83
@NethpuzzZ
@est4life37
@qinbo007
另外,@qinbo007 的钱包未通过安全排查,为确保资产安全,请你私信我们一个新的钱包地址,我们将为你重新安排发放。




中文

### ZKVerify x TinTinLand 杭州站:ZK 证明创新盛会
TinTinLand 携手 ZkVerify 登陆杭州!作为 Web3 开发者社区巅峰活动,本场聚焦“零知识证明(ZK)验证基础设施”,邀请 Web3Labs 大咖圆桌对谈。探讨机制设计、跨链协作与用户激励,解锁 ZK 落地路径@zkvprotocol_cn @OurTinTinLand
#zkVerify $VFY


中文

Virtuals 掘金大队真牛逼!
上周从上海参完会回合肥,拜访本地的群友才得知他们刷 ACP 都已经赚麻了
轻松刷一两万分,爽吃 Unicorn 几万刀空投
$HEXAR $LURKY $CEO
$PROV $ATM $AXB …
其中有一位还是大学生,他告诉我刚进这个圈子炒币是亏钱的,撸毛也是亏钱的,直到遇到 @virtuals_io 才开始转运
特别是进了掘金大队后,和深耕 Virtual 的群友学习,学费和生活费都可以自给自足了
这次 Unicorn 发射台刚上线他立马肝了几百个号,第一周撸 OOPZ 的问卷,每个号花0.01USDC 撸一分,成本几U,一共吃到 1.5 万 U 空投
足足千倍回报!
虽然这笔钱不算多,但对一个大学生来说还是挺可观的。我相信他好好利用这第一桶金,在 Virtuals 生态持续努力掘金,达到 A7/8 不过是时间问题
这就是 AI 行情生态火热之下一位普通大学生过的 Virtuals 人生!
我取经后,自己在 ACP 也随意刷了刷,没想到才两三天功夫就拿了 2227 分。下周也可以爽吃 Unicorn 空投了😋
最后如果你也想过上 Virtuals 人生,请申请加入真正能把 Virtuals 玩明白的高质量社区:【掘金大队】
使用邀请码 v6qXY4
app.virtuals.io/referral?code=…
评论区截图或者私信即可
最后 18 个位置 先到先得!

中文















