DeFi 公链 Katana 宣布调整 KAT 代币经济模型，将于 11 月 17 日终止 vKAT 质押及投票激励机制，转而通过 avKAT 向质押者分配协议收入。Katana 已整合三项收购资产，包括 Sushi 在 Katana 上的 DEX 部署、去中心化交易所 IDEX 及收益基础设施 Vault Bridge。新机制将从现货交易、永续合约、Vault Bridge 及排序器四大业务收入中提取部分资金，在公开市场回购 KAT，并将回购代币全部分配给 avKAT 质押者。此外，质押退出冷却期将从 45 天缩短至 7 天，完全自动化的链上回购机制将在后续推出。

DeepMind 这周干了件挺狠的事，用 AI agent 把 Signal 加密库的核心安全性质给形式化证明了，而且是证到编译后的机器码那一层 以前这种活专家团队要搞好几年，这次四周 我觉得大家关注点有点偏，都在说 AI 好厉害 真正值得看的是分工：安全规格是人在 AI 帮助下写的，写完人工审一遍，然后才交给 agent 去生成证明，最后 Lean 来检查对不对 也就是说"什么叫正确"这件事，还是人定的 这跟我平时给客户做项目一模一样。模型干活越来越快，最卡的永远是第一步：你到底想要什么结果，怎么判断它做对了 说不清这个，eval 写不出来，证明也写不出来 顺便泼点冷水，这次证的范围其实挺窄的，是特定版本的库编出来的一个命令行测试程序，不是整个 Signal app，有些底层密码运算也还是按假设来的 但方向是对的，以前形式化验证贵到没几家用得起，现在突然变成了能算账的东西