搜索关键词 正式验证
Crypto
BitGo CEO晒出一个存有100枚比特币的钱包地址，喊话Claude“来拿”
BitGo首席执行官Mike Belshe公开了一个存有100枚比特币的钱包地址，并点名Anthropic旗下AI模型Claude前来“盗取”。链上数据显示，该地址已于7月31日收到100BTC，截至目前尚无转出记录。市场普遍认为，此举更像是对BitGo托管安全体系的一次公开测试。
Crypto
Aave Labs公布Aave V4安全路线图：涵盖正式验证、模糊测试和漏洞赏金
DeFi借贷协议Aave的开发方Aave Labs公布了Aave V4安全路线图，将其定位为“安全优先框架”，强调在智能合约设计初期即纳入安全机制。该方案涵盖正式验证、人工审计、不可变性测试、模糊测试和公开安全竞赛，并提出长期运行漏洞赏金计划、提升AI驱动的智能合约扫描能力等原则。
Games & Commerce
Kakao瘦身后转向增长，加码Talk Biz、AI与区块链
完成子公司精简后，Kakao正将经营重心转向增长。公司计划以KakaoTalk广告业务回暖带来的现金流为支撑，推进AI和区块链生态布局，并围绕“Cash、Tech、Global”展开2026年战略。与此同时，AI产品Kanana拟于今年一季度推出，Kakao Pay则希望借助“超级钱包”降低跨境汇款和换汇成本。