Monad 团队分享形式化验证实践，发现多个 AI 模型审查时遗漏的链上安全漏洞
相关推荐
Monad 联创：加密内存池方案 BTX 已实现两节点端到端加密
Foresight News 消息，Monad 联合创始人 Keone Hon 发推表示，Category Labs 加密内存池方案 BTX（Batched Threshold Encryption，批量阈值加密）目前已在两个节点上实现端到端真实加密运行，下一步目标是扩展至 4 至 6 个节点。权重量化正被集成至 DKG（分布式密钥生成）代码中，Category Labs 团队同时在完善完整的 DKG 实现规范，加密交易功能即将推出。
Andre Cronje 评论 Sonic Labs 解雇前高管：其八年贡献应被肯定
Foresight News 消息，Sonic Labs 联合创始人及 Flying Tulip 创始人 Andre Cronje 转发前高管 Michael Kong 的声明并评论称，Sonic Labs 发布的相关博文「令人反感且没有依据」。Kong 早在 2018 年即质疑创始团队抄袭问题，在募资 4000 万美元资金耗至不足 200 万美元后率先放弃薪酬，并推动韩国约 1.5 亿美元诉讼至胜诉。其认为在代币价格下跌背景下，项目所有者为安抚舆论强行将其开除「并不正确」。 此前，Michael Kong 曾于今晨发推表示，Sonic Labs 近日公告其与公司关系「立即终止」但未说明理由，易造成其因不当行为被解职的印象。其离职并非自愿，双方已签署遣散与互不贬损协议，但对方拒绝履行，且原承包协议亦未兑现，故公开回应并保留对 Sonic Labs 及其关联方的诉讼权利。
Ethlabs 研究员：Base 与以太坊 L1 账户抽象标准合作破裂，将实施不同方案
Foresight News 消息，Ethlabs 研究员 Derek Chiang 发文披露，EIP-8130（Base 主导）与 EIP-8141（以太坊 L1 主导，又称 Frame Transactions）之间的账户抽象（AA）标准协作已于上周正式破裂，以太坊与 Base 将各自推进不同的 AA 标准。他指出，L1 与 L2 在核心目标上存在根本分歧：以太坊 L1 追求抗审查、隐私保护与抗量子计算能力，Base 等 L2 则优先考虑高吞吐量、合规性与可定制性。 双方曾尝试寻找兼顾两者的共同标准，但任何方案都需要至少一方在核心目标上作出让步，最终未能达成一致，碎片化的负担将转移至钱包开发者。他认为此后有两条路可走：建立涵盖更多利益相关方的协调机制以共同治理 EVM 等共享资源，或接受 L1 与 L2 之间的碎片化不可避免这一事实，转而专注于构建能够抽象屏蔽底层差异的钱包与应用。
Bybit AI 试用阶段将免费提供，底层模型为 Claude Sonnet 4.6
Foresight News 消息，Bybit 联合创始人兼首席执行官 Ben Zhou 在 Bybit AI 发布直播中透露，该 AI 助手当前采用 Claude Sonnet 4.6 模型。目前所有交易均在系统自动创建的独立 AI 子账户中执行，与用户主账户资金隔离，用户可设置资产上限、转入转出及内部划转权限、杠杆限额、合约杠杆限额及止盈止损等风控参数，任何可执行操作均需用户二次确认后方可执行。Bybit AI 目前处于试用阶段，暂免费提供，按用户等级设有每日提问额度上限，每日重置。
Arthur Hayes：Flop Labs 将推出 KOL 排行榜计划
Foresight News 消息，Arthur Hayes 发文表示，Flop Labs 正在推出一项 KOL 排行榜（KOL Leaderboard）计划。根据该计划，每位 KOL 将获得专属推荐链接，系统将追踪其推荐用户在 FLOP 网络上的总使用量及帮助贡献。通过推荐链接创建钱包的用户将有资格参与定期的 FLOP 彩票抽奖。该计划将向所有人开放，更多细节即将公布。
Monad：8 月份稳定币交易量接近 100 万笔
Foresight News 消息，Monad 发文称，其已被添加到 Visa 链上分析仪表板中，Monad 8 月份稳定币交易量接近 100 万笔，是 Monad 迄今为止最高的一个月。