Cathie Wood：聪明的投资者需要开始关注 AI agents 把钱花在哪里
ARK Invest CEO Cathie Wood 在 Robinhood 休斯敦 Summit 小组讨论中表示，投资者应从“follow the developers”转向“follow the agents”，关注 AI agents 的消费去向。
搜索“ARK”
搜索“ARK”
找到 3 条 · 更新于 00:30
CoinDesk
a16z crypto · 机构研究与观点精选 a16z crypto 发布基于格密码的开源 zkVM Lattice Jolt
a16z crypto 发布开源 zkVM 新版本 Lattice Jolt，将底层密码学从椭圆曲线换成基于 Module-SIS 假设的多项式承诺方案 Akita，实现后量子安全、证明者与验证者提速 2-3 倍，证明体积低于 100 KB。
推荐理由：原文对比了格基与哈希基方案的安全假设差异，读者可据此理解这次密码学底座更换的取舍。
Ethereum Foundation Blog精选 以太坊基金会正式验证团队上线 better.codes 自主研究挑战
以太坊基金会形式验证团队与 Yukon、zkSecurity 合作推出开放自主研究挑战 better.codes，将 Proximity Prize 研究中的自足问题 koalaIRS12 形式化为 Lean，并把其可靠性下界放到公开排行榜上。
推荐理由：原文说明了挑战的验证机制与开放协作模式，读者可据此理解形式化验证如何被用于推进SNARK安全基准。