注册并分享邀请链接,可获得视频播放与邀请奖励。

搜索结果 zkVM
zkVM 贴吧
一个关键词就是一个贴吧,路径全站唯一。
创建贴吧
用户
未找到
包含 zkVM 的推特
吴说获悉,a16z crypto 发布开源 zkVM Lattice Jolt,将原先基于椭圆曲线的 Dory 多项式承诺替换为基于 Module-SIS 格假设的 Akita,在实现 128 位后量子安全的同时,将证明器和验证器速度提升约 2–3 倍,证明大小降至 100 KB 以下。在同一台 MacBook 上,其 CPU 版本可处理每秒超过 200 万个 RISC-V 周期,借助 Apple Metal 进行 GPU 加速后超过每秒 1,000 万周期,证明器内存占用也由每周期约 300 字节降至 200 字节。a16z crypto 认为,相比当前主流的哈希型后量子 SNARK,格密码方案在速度、证明体积和安全性方面更具优势,并预计格 SNARK 可能成为主要的后量子 SNARK 部署方案。团队后续还将为 Lattice Jolt 加入零知识能力,并开发基于哈希的 Jolt 版本。
显示更多
Brevis 团队宣布推出 Pico Prism——目前最快的以太坊 zkVM 实时证明引擎,被 Vitalik 转发。 zk证明性能大幅提升:在 64 张 RTX 5090 的配置下,99.6%的区块验证可以在12秒内完成(12秒也是目前以太坊出块间隔),平均 6.9 秒,远超竞争对手。 @brevis_zk 拿到了 Polychain,YZI Labs 的投资,现在又获得Vitalik和以太坊基金会的背书,估计发币就是大满贯。 目前有做任务撸积分的活动,值得参与:
显示更多
Excited to see @brevis_zk's Pico Prism entering the ZK-EVM proving arena! An important step forward in ZK-EVM proving speed and diversity.
0
10
62
14
转发到社区
Derive 社区推出 DIP: Launch Derive V3,计划将现有 V2 的账户、余额、仓位及相关资产整体迁移至 V3,并在迁移完成后关闭基于 OP Stack 的 Derive Chain。V3 将采用“链下撮合 + zkVM 执行 + Ethereum L1 验证”架构,用户资产由 Ethereum 主网合约托管,交易、保证金及结算逻辑在 zkVM 中执行并生成证明,状态数据则发布至 Celestia。该提案目前仍待治理批准。
显示更多
今天刚好刷到一个之前没怎么接触过的项目@termix_ai。 第一眼看介绍,信息量确实有点大,Agent Commerce、AACP、zkVM、TEE……各种概念堆在一起,不仔细看还真有点摸不着头脑😂。 不过看到 YZi Labs 参与过 TermiX 100 万美元种子轮融资,我就顺手多研究了一下。越往下看,反而觉得它想解决的问题挺实际。 我们以前聊 AI Agent,更多是在讨论:“这个 Agent 能帮我做什么?”但如果以后Agent可以自己接任务、找服务、完成工作,甚至参与资金交易,那就会出现另一个问题: Agent和Agent之间,到底怎么做生意?我感觉这可能才是TermiX真正想切入的地方。 我后来把它的架构理了一遍,发现AACP、TermiX和 是相互衔接的。 简单理解,AACP是TermiX背后的核心协议,负责把Agent 之间的任务、报价、执行、验证、争议以及结算这些流程串起来。 而 则可以理解成建立在这套协议之上的Agent市场,让这些东西真正变成一个可以参与的交易场景。 这样看就容易理解多了。比如一个Agent发布任务,另一个Agent报价接单,资金进入托管,任务完成后再进行验证,确认没问题以后完成结算。 听起来和我们平时找人做事有点像,只不过现在交易双方变成了Agent。 真正麻烦的地方其实是:两个互不认识的Agent,凭什么相信对方?任务有没有完成?结果是否达标?出现争议又怎么办? TermiX想做的,就是通过链上托管、质押、声誉、争议处理,再结合TEE、zkVM等验证机制,让Agent之间的商业协作尽量少依赖传统的中心化信任。 所以现在看TermiX,我反而没有太纠结那些复杂的技术名词。我更关心的是:如果未来Agent真的开始自己接活、自己协作、自己产生经济关系,它们之间“做生意”的基础设施,会不会就需要这样一套东西? 现在当然还早,最终还是要看真实使用和生态发展。 但这个切入点,确实让我换了个角度看AI Agent:以前我们关心Agent能做什么;以后可能还要关心:Agent做完事情以后,怎么把这笔生意完成? 最近我也刚好在参与@termix_ai 的Kaito Studio创作者活动,正好借这个机会边体验边研究。 如果想看看 后面有新的发现,再慢慢和大家聊。😄
显示更多
0
107
57
1
转发到社区
恭喜 Brevis 登陆 币安 和 OKX,达成大满贯!也恭喜拿到空投的大家,大毛! 技术上,Brevis 是目前首个在以太坊 L1 实现实时有效性证明的团队:Pico zkVM 在多 GPU 集群下可对当前区块 10 秒内完成证明,并显著降低硬件成本。这条路线也多次获得以太坊核心社区与 Vitalik 的公开认可。 并且,Brevis 是为数不多已经商业落地的zk应用,Uniswap v4,PankaceSwap,Euler 等项目已经在 Brevis 累计生成 3亿 zk证明,服务 20万+ 用户 空投今晚9点开始领,10点币安现货交易。
显示更多
$BREV airdrop claims go live tomorrow. 🗓️January 6th, 13:00 UTC ⌛️30 days to claim
0
19
31
0
转发到社区
BIYA 币芽 每日研报

 🔹 特朗普称若共和党赢得参众两院,将向美国成年人发放5000美元“红利”,中期选举及财政政策再受关注 🔹 美国财长贝森特敦促参议院推进CLARITY法案,数字资产市场结构立法进入关键阶段 
 🔹 吉尔吉斯斯坦今年已启动90起涉加密货币刑事调查,涉及诈骗、盗窃及洗钱等案件,监管执法持续收紧 
 🔹 白宫内部评估伊朗冲突可能持续至特朗普任期结束,但特朗普称战争将在11月中期选举后结束,市场持续关注地缘风险 
 🔹 苹果发布折叠屏iPhone Duo,国行起售价15999元,10月23日正式发售,其价格约相当于0.025枚BTC 
 🔹 a16z Crypto推出开源Lattice Jolt zkVM,采用后量子安全技术,为区块链零知识证明提供新的抗量子方案 
 🔹 Zora联合创始人Dee Goens接任CEO,公司团队已缩减至不足10人,业务进一步聚焦创作者经济与平台发展
显示更多
没想到 Kaito 最近嘴撸的项目是真一个接一个。 前两个还没结束,@termix_ai 又来了。这次我认真看了一遍 TermiX 的机制,反而觉得它比常见的“AI Agent 市场”叙事更值得琢磨。 简单理解,TermiX 想做的是 AI Agent 的链上清算结算层,让 Agent 不只是“被展示”,而是真正参与任务、交付、验证、争议处理和最终结算。 这次 嘴撸 活动也挺值得关注: • 奖励池:TMT 总供应量 0.30% • 创作者:0.24% • Kaito 质押者:0.06% • 活动:8 月 24 日开始,持续 90 天 • 英/中/韩三榜,共 450 个创作者名额 • TGE 时创作者奖励 100% 解锁 但真正让我多看了一眼的,是它的验证机制。 L0 人工小组 → L1 TEE → L2 zkVM → L3 TEE + zkVM 验证等级越高,提供者需要承担的质押成本反而可能越低。到了 L3,质押最高可获得 30% 折扣,同时声誉乘数提升至 2 倍。 这其实挺有意思。 因为它不是简单告诉大家“更高级的验证更好”,而是直接把经济激励塞进机制里,让提供者、评估者和客户都有动力往更高验证等级走。 目前官方披露的数据也不算小: 1170 万美元+托管资金 21.8 万+任务 37 万+已索引 Agent 当然,数据是一回事,真正跑起来又是另一回事。 我准备自己去试一遍,从注册身份、创建任务,到验证和结算完整走下来。看完流程再判断,可能比单纯研究文档更有意思。 目前来看,TermiX 至少让我觉得:它讨论的已经不只是“AI Agent 能做什么”,而是 Agent 真正开始干活以后,钱怎么结、结果怎么验、出了问题谁负责。 这部分,或许才是 AI Agent 走向真实商业化之后更绕不开的问题。
显示更多
0
26
18
1
转发到社区
吴说获悉,StarkWare 联合创始人 Eli Ben-Sasson 就近期以太坊基金会(EF)争议表示,其并不认为这是以太坊的终结,也不认为一切都很顺利。Ben-Sasson 回顾称,StarkWare 自 2019 年起持续为以太坊开发基于 STARK 的扩容和后量子安全技术,并推动 zkVM、Cairo、原生账户抽象(AA)等方案,尽管这些方向一度被视为与主流路线“不一致(misaligned)”。他认为,许多曾遭质疑的技术如今已被广泛采用,而生态中对“路线一致性”的强调并无必要。Ben-Sasson 表示,希望未来形成的新体系能更重视技术和成果,而非政治立场与阵营认同。
显示更多
YZi Labs 披露,于 2025 年 5 月投资 AI Agent 商业协议 TermiX 的 100 万美元种子轮融资。TermiX 正在构建 AI Agent 经济的商业层,其核心协议 AACP 支持 AI Agent 在链上自主发布、竞标、执行、验证和结算任务,并结合 zkVM、TEE、链上托管、质押、惩罚机制及链上信誉系统构建可信交易基础设施。
显示更多
我还说估计能到3000万美元,现在已经突破3400万美元了,估计到结束4000万美元,超募10倍应该问题不大 为啥大家都这么看好树莓 Boundless 呢? 有点好奇,我试着从技术优势的角度研究一下Boundless,希望对你了解该项目有所帮助 作为ZK系重要项目@boundless_xyz凭借其技术创新与生态布局展现出的特点 技术优势——通用zkVM架构 基于RISC-V指令集构建的zkVM(R0VM 2.0),支持任意通用程序编译为ZK证明,突破传统EVM兼容性限制,开发者可使用Rust等语言直接开发 成本优势——跨链验证协议 通过多链原生合约部署,实现跨链分布式证明市场,开发者无需离开原有生态即可调用ZK算力,验证成本降低至0.0012美元/笔 正向反馈激励——PoVW激励机制 首创可验证工作量证明,将ZK计算周期数加密上链,按实际工作量分配$ZKC奖励,实现公平透明的算力市场 核心优势 通过GPU优化与内核重构,以太坊全链证明年成本从1.7亿美元降至50万美元,降幅达340倍 生态协同 与Eigen Layer、Lido等30+项目深度合作,覆盖ZK Rollup、DeFi、跨链桥等场景,日均处理2.6万亿计算循环 开发者友好 提供反向荷兰拍卖机制与标准化API,使ZK集成周期从数月缩短至数小时,支持无Gas限制的链下计算 @Tinaliu333 @RiscZeroCN @boundless_xyz
显示更多
0
15
19
3
转发到社区