⚡️看完 V 神的最新奶文《A shallow dive into formal verification》，我又忍不住加仓了 $ETH ！ 可以很明显感觉到，V 神 @VitalikButerin 现在几乎所有长期思考，最后都会落到同一个核心： 如何在能力越来越强的同时，依然保留验证、约束、退出与个人主权。 这也是我觉得 ETH 和很多 AI 项目最大的区别，总是有一个很纯粹的东西打动你！ 这篇其实已经不只是技术文章了，而是在重新回答一个很cypherpunk的现实问题： 当 AI 开始大规模写代码之后，人类还能不能继续信任软件？ 尤其 Crypto、ZK、跨链、AI Agent、自动化金融协议这些东西叠在一起之后，系统复杂度已经开始超出人类审计上限。 这其实也是我觉得全文最有意思的地方： 很多人觉得 AI 会强化去中心化，因为 AI 降低了创造门槛； 但 Vitalik 看到的，恰恰是另一面—— AI 也会极大强化中心化，如果最后所有的安全都只能依赖公司托管、黑盒AI，那 cypherpunk 那套东西就结束了。 所以他本质上是在给 AI 时代重新寻找可信中立层。 而他最后找到的答案，其实和以太坊这些年一直在做的是同一件事： 不追求效率最大化，而是追求“可验证”，AI + Formal Verification，其实就像 Blockchain + ZK。 👉原文在这：

很多人觉得 AI 做不好验收工作，当下确实是这样的，因为它缺少判断的准则。人可以教它，但无法穷尽所有情况。 可 AI 有一个优势，它在边界思考上往往比人更全面、更多维。所以理论上，在进行测试的时候，AI 完全有机会测得比人更完善。 对 AI 测试来说，首先需要从两个关键能力入手。 第一，它要完整理解需求。 AI 应该针对需求和目标去测试，而不是只针对功能去测试。 未来的测试方法，会更偏向 BDD，而不是 TDD，甚至是 Goal Driven Verification。先理解这个需求为什么要做，最终希望解决什么问题，用户应该获得什么结果，再围绕这个目标去设计测试。 第二，它需要具备足够的手、脚、眼。 让 AI 真正能够看清软件、看懂软件，能够像一个人一样在界面上完成操作。 它需要学会编写 E2E 测试用例，通过 OCR、模拟点击、滑动、截图、录屏等方式，不断丰富自己对界面的认知，然后基于目标和需求，持续改善测试用例的完整性和鲁棒性。 我们团队现在实践的时候也是这么做的。 每一次迭代发版，AI 都会先把这个迭代所有的代码 diff 拿出来，理解一次这次核心改动的功能点到底是什么，然后开始编写对应的 E2E 测试用例。 刚开始写出来的时候，大部分测试其实都跑不过。 它会自己执行，再根据执行过程不断修正测试用例里的问题，直到整条链路能够真正跑通。 在整个验收过程中，它所有的点击、滑动、输入等操作都会被记录下来，同时保留截图和录屏，最终产生一篇完整的 E2E 测试用例文档和测试报告。 这篇文档里的信息其实非常丰富。 它会包含这次测试的目标、操作路径、操作截图、操作录屏、操作反馈，以及每一步执行之后软件真实呈现出来的结果。 然后 AI 会再回过头去理解这篇文档，重新判断整个过程是否真的达到了最开始的目标。 我觉得这才是 AI 测试真正应该走的方向。 测试不应该只是验证代码有没有跑通，也不应该只是验证某个按钮能不能点。它最终验证的是，这次改动有没有真正完成需求，有没有达到目标。

Minimax H3 的能力测试结果 亲测~~🔥 本地部署 : 5070 我是用我的 Mac 电脑上的 Claude code 去遥控我 Windows 里面的本地部署模型 Flux2 出图 TTX 出配音 Minimax 出视频 Chatcut 出音乐 音效是下载并贴进去 全程没有打开编辑器,视频生成 消耗的就是我 Claude code 的指挥 token 具体的全流程如下: ① 立项去重 Mac brief.md ② 事实核查 Mac fact-check.md ← 🔴 含参考图核对 ③ 写稿 Mac script.md（旁白先行） ④ 配音 Win voice-raw/ → voice-final/ ⑤ 时间线 Mac scene-timing.json ⑥ 字幕 Mac captions/ ⑦ 关键帧 Win assets/keyframes/ ← 最耗迭代 ⑧ 分镜 Mac storyboard.md ⑨ 批产镜头 Win renders/ ← 最耗算力（5-6.5 小时） ⑩ 结构审核 Mac verification/ ⑪ EDL+图文层 Mac edl.json / overlays/ ⑫ 装配 Mac deliverables/ ⑬ 音频后期 Mac → 另见音效库 SOP ⑭ 收尾回写 Mac 系列台账

我也是服了，最近真累。左手维权megaeth，右手绞杀脚本。 撸毛的老师不要再写脚本fake 前端状态提交了。@axisrobotics 虽然是可以提交成功的。但是通过不了后端轨迹的replay验证。 最后数据还是会被rejected，白白浪费我们大量服务器资源做数据verification。用脚本提交的假数据也会导致账号被封啊。 何必呢，老师。

玩过卡牌、潮玩、艺术品这些实体收藏的人都懂一个死结:值钱是值钱,可太难流通了。想卖,买家凭什么信你这张是真的、评级没造假?想变现或抵押,更是没门路。Renaiss 想解的,正是这个"实体收藏又值钱又不流动"的老问题——把信任搬到链上。 @renaissxyz 它的整套基础设施叫 RenaissOS,核心动作是把独立金库(vault)和线下的收藏品商店(card shop),变成链上的验证节点(verification node)。 也就是说,实体卡不是随便躺在你家抽屉,而是存在专业机构托管的金库里,托管状态由链上节点实时锚定,谁都能查。 信任的第一道锁是权威评级:它主要接入经过 PSA(乃至 BGS 这类机构)评级的卡——尤其是宝可梦卡和高价艺术品,评级机构先把"真伪和品相"这关把死。 接着,每一件实体藏品会生成一枚对应的 ERC-721 NFT,像一张链上的"所有权证书",一比一映射那件实物:实物留在托管金库,NFT 在链上自由流转,你交易的是 NFT,背后的实体所有权跟着转移。 定价也没脱离现实。它有一套 FMV/CMV(公允价值 / 当前市场价值)预言机,把真实市场信号喂进来,让链上价格不至于和收藏品的真实行情脱节——这是很多"为上链而上链"的 NFT 最缺的一环。 顺带提一句成色: 项目从 YZi Labs 的 EASY Residency S3 毕业,拿了 YZi Labs 领投的 150 万美元首轮,还在 2025 年币安区块链周迪拜 Demo Night 拿过奖、在 BNB Chain 的 RWA 赛道排第一。 @yzilabs 我挺认可这套"评级机构把真伪、金库管实物、链上节点锚定状态、NFT 承载所有权"的四层设计,它把实体收藏最缺的那个"信任"补上了。但也得清醒:RWA 的核心风险永远在链下——托管方是否可靠、评级会不会有争议、实物万一损毁怎么办,这些不是上链就能消除的;收藏品本身价格波动也不小,别当稳赚的理财。想了解就先去官网看它托管和验证到底怎么跑。 #Renaiss# #RWA# #BNBChain# @renaissxyz @EchoHunt_ai @xhunt_ai

刷到一个新代币，到底是机会还是陷阱？ 这次的中文 Vlog 帮你找答案！ 这次随机捕获 @jup_VRFD 的团队成员，逮到了 @9yointern 从零拆解，VRFD 是怎么帮 @solana @Solana_zh 上的每一个代币加上一层验证。 时间戳： 00:22 什么是VRFD？ 00:42 为什么需要 Token Verification？ 01:00 VRFD 的新闻动态功能

由 SVP Chain 主办的 Agentic Finance Meetup 将汇聚 AI、Web3 及金融科技领域的创始人、开发者、研究者和生态建设者，共同探讨 Agent 时代的金融基础设施应该如何构建。从 x402 微支付、Agent Wallet 到 Intent-Based Trading、On-chain Verification，我们将深入讨论支付之后发生的价值流转与信任机制。 本次活动将聚焦 Agentic Finance 的核心命题：当 AI Agent 拥有支付能力之后，如何建立可信交易、可验证声誉以及透明收益分配体系。我们将分享 SVP Chain 提出的 Pay · Trust · Trade · Verify 四层架构，并现场演示 Agent 从支付到链上交易验证的完整闭环，共同探索 AI Native 金融网络的未来形态。 📍 新加坡 🇸🇬 📅 6 月 26日｜2PM–7PM 🔗 RSVP:

為了與公主們相見，王子們已經做好了所有準備。 NCT WISH 2ND ANNIVERSARY FANMEETING <六位王子都想娶我?> IN TAIPEI ⏰演出時間｜2026年09月05日（六）19:00 📍演出地點｜NTSU ARENA（林口體育館）（桃園市龜山區文化一路250號） 🎫活動票價｜NT$6,200 / NT$5,600 / NT$4,600 / NT$3,600 / 愛心席NT$2,800（以上票價皆可獲得台北專屬入場特典乙份） 💎Weverse會員優先購登記時間｜2026/08/03 13:00 ~ 08/06 10:59:59（TST） 🎟️Weverse會員優先購｜2026/08/10 11:00~19:59:59（TST） 🎟️一般販售｜2026/08/12 20:00（TST） 🛒購票方式｜Ticket Plus遠大售票網站 ♿身障購買｜Ticket Plus遠大售票網站 🔗購票網址｜ 🔹 主辦單位：SHOW Office Entertainment Co., Ltd.、YJ PARTNERS 📢 主辦單位保留活動異動之權利 NCT WISH 2ND ANNIVERSARY FANMEETING <六位王子都想娶我?> IN TAIPEI ⏰Show Time｜Sep 05, 2026 19:00 📍Venue｜NTSU ARENA 🎫Ticket Price｜NT$6,200 / NT$5,600 / NT$4,600 / NT$3,600 / Accessible seat : NT$2,800（All ticket categories include one Taipei-exclusive admission gift.） 💎 Verification Period for Weverse Membership｜2026/08/03 13:00 ~ 08/06 10:59:59（TST） 🎟️ Weverse Membership Pre-Sale｜2026/08/10 11:00~19:59:59（TST） 🎟️Ticket Open｜2026/08/12 20:00（TST） 🔗Ticketing Website｜ 🔹 Organizer: SHOW Office Entertainment Co., Ltd.、YJ PARTNERS 📢 The organizer reserves the right to modify event details. #NCTWISH# #NCTzenWISH# #NCTWISH_FANMEETING_IN_TAIPEI#