ems

ChainCatcher 消息，以太坊机构隐私技术机构 EthSystems 宣布对其隐私池（shielded pool）完成了形式化验证，范围从书面规范一直到 Sepolia 测试网上运行的字节码。验证按层使用不同工具：模型、电路和哈希用 Lean，合约用 Halmos 和 Kontrol，钱包用 Aeneas 和 Verus，验证器和部署通过逐字节重建核对。 双花和价值守恒已由 Lean 定理机器验证。验证中共发现 6 个问题，其中 3 个出在验证工具本身。团队同时列出了仍然依赖的假设：哈希无碰撞、验证器会拒绝伪造证明、合约行为与模型一致。

ChainCatcher 消息，据 Forbes 报道，美国卫星初创公司 Xona Space Systems 完成 2.5 亿美元 D 轮融资，公司估值达到 24.5 亿美元。本轮融资由 Future Ventures 领投，该机构由 SpaceX 早期投资人、前董事会成员 Steve Jurvetson 共同创立，并在本轮投资 7,850 万美元。

ChainCatcher 消息，据 Gate 行情数据显示，人工智能芯片制造商 Cerebras Systems 股价在美股盘前交易中下跌 17.3%，原因是第二季度营收未达市场预期。

ChainCatcher 消息，以太坊生态基础设施提供商 EthSystems 宣布与韩国本土机构 Undefined Labs 达成合作，双方将共同推动以太坊技术在韩国金融与数字资产领域的落地应用。 EthSystems 将提供隐私、代币化及金融基础设施等领域的技术支持，Undefined Labs 则依托其对韩国市场的深刻理解与本地行业资源，协助开展教育、研讨会、技术框架设计及用例开发，并推动从早期探索到概念验证、再到生产系统的全流程落地。EthSystems 表示，韩国是以太坊下一阶段采用的重要市场之一，此次合作是其亚洲布局的起点。

ChainCatcher 消息，据 Techcrunch 报道，气象科技公司 WindBorne Systems 完成 3700 万美元 B 轮融资，由 Khosla Ventures 和 Galvanize 联合领投，投后估值 2.5 亿美元。 该公司采用长航时气球收集气象数据并接入 AI 预测模型，目前全球有 20 个发射点、约 600 个气球在空中运行。主要客户为政府机构，本轮资金将用于扩充商业团队，拓展向投资基金等私营部门客户的业务。通过 AI 赋能的气象预测，服务于金融、农业等多个行业。

ChainCatcher 消息，以太坊机构隐私技术公司 EthSystems 宣布正式启动，并获得 Bitmine、Sharplink Gaming、Joe Lubin、SNZ Holding 等生态支持者的战略资金支持。 EthSystems 专注于开发面向银行、资产管理公司及其他受监管机构的隐私技术，使机构能够在 Ethereum 网络上大规模执行金融交易，同时保护交易细节、客户身份等敏感信息。 该公司由以太坊基金会（Ethereum Foundation）机构隐私工作组（Institutional Privacy Task Force，IPTF）核心团队创立。团队此前已在 EthSystems 官网公开进行了长达一年的开源研发，并与多家央行、监管机构、大型银行及资产管理机构建立合作关系。EthSystems 表示，虽然机构已经开始探索稳定币、代币化资产以及基于以太坊的结算方案，但大规模采用仍面临隐私和合规挑战。 金融机构需要的不只是接入区块链网络，而是一套能够满足商业机密保护、监管要求以及现有金融系统兼容性的完整基础设施，目标是打造“可选择披露”的隐私架构，让交易参与方仅能查看自身有权限获取的信息，同时保留以太坊去中心化、安全性和开放性的核心优势并与其他两个组织形成互补：Ethlabs：专注于以太坊核心协议和基础设施研发；Ethereum Institutional：负责机构合作、教育、市场研究及生态协调；EthSystems：聚焦应用层技术，将机构需求转化为可实际运行的隐私协议和金融系统。

ChainCatcher 消息，据官方公告，币安将于 6 月 26 日 14:00 移除以下杠杆交易对：全仓杠杆交易对 1000 CHEEMS/USDC、ACX/USDC、LA/USDC、T/USDC 和逐仓杠杆交易对 1000 CHEEMS/USDC、ACX/USDC、LA/USDC、T/USDC。 请用户注意，相关交易对的借贷业务将于 6 月 23 日 14:00 暂停，自动平仓和清算将于 6 月 26 日 14:00 进行。

ChainCatcher 消息，据《华尔街日报》报道，前 Twitter CEO Parag Agrawal 创立的 AI 基础设施公司 Parallel Web Systems 完成 1 亿美元 B 轮融资，投后估值达 20 亿美元。 本轮由 Sequoia Capital 领投，Kleiner Perkins、Index Ventures 和 Khosla Ventures 等老股东参投。Parallel 面向“长周期” AI 代理提供高效网页搜索与访问控制基础设施，已累计融资 2.3 亿美元，员工约 50 人，服务逾 10 万名开发者及企业客户，现阶段重点扩展销售、市场和研发团队，持续布局企业级“AI 代理用网”场景。

ChainCatcher 消息，纳斯达克上市公司 AgriFORCE Growing Systems 宣布拟募集 3 亿美元的 PIPE 融资，Hivemind Capital 领投，预计交易将于 2025 年 10 月 30 日左右完成，但需满足惯例成交条件。据悉，新资金将支持其建立 Avalanche 网络原生代币 AVAX 数字货币财库，交易完成后，公司名称及股票代码将更改为 AVAX One。

ChainCatcher 消息，获得 a16z Crypto 投资的 OpenGradient AI 去中心化基础建设，宣布推出 MemSync，一款通用的 AI 记忆层平台，解决现有 AI 助手的上下文记忆遗失问题。 MemSync 支援 ChatGPT、Claude、Perplexity 和其他人工智能，该平台还支持个人化记忆学习及多平台无缝切换，提升工作效率，部分用户日节省时间达 30 分钟以上，生产力提升至 10 倍。

ChainCatcher 消息，AgriFORCE Growing Systems Ltd.（纳斯达克：AGRI）宣布将更名为 AVAX One，计划筹集约 5.5 亿美元资金，并采用 AVAX 财库策略。 该公司目标是拥有超过 7 亿美元的 AVAX 代币，其中包括已成功筹集的约 3 亿美元私募投资（PIPE），以及未来计划筹集的额外 2.5 亿美元资金。公司战略顾问委员会由 SkyBridge Capital 创始人 Anthony Scaramucci 和 Coinbase 机构业务负责人 Brett Tejpaul 领导。 此次资本募集由 Hivemind Capital 领投，超过 50 家机构和加密货币原生投资者参与，包括 ParaFi、Galaxy Digital、Digital Currency Group 等机构。

ChainCatcher 消息，据 Globenewswire 报道，特朗普媒体与科技集团宣布，该公司已更新 Truth Social 应用程序，为 Truth Social 平台添加新功能和增强功能。增强功能包括：1.编辑推文；2.服务器端草稿；3.日程安排；4.所有爱国者套餐订阅者均可获得 Truth 宝石，Truth 宝石计划成为更新奖励系统的一部分，该系统允许 Truth Social 和 Truth+用户使用 Crypto.com 的数字钱包基础设施，将参与平台各种活动所获得的宝石兑换为 Cronos (CRO)和其他福利。

ChainCatcher 消息，据 Onchain Lens 监测，三巨鲸 (0xFb5a...BcB8, 0x0199...6ED6, 0x8a50...0bd4) 向币安存入 4.338 万亿枚 CHEEMS，价值 499 万美元，持有 9 个月后获利 158 万美元。

ChainCatcher 消息，据金十报道，AMD 当地时间 5 月 19 日宣布达成最终协议，将 ZT Systems 的数据中心基础设施制造业务出售给集成制造解决方案公司 Sanmina，交易价值 30 亿美元。该交易预计将于今年年底完成。 去年 8 月，AMD 同意以现金加股票的方式收购服务器制造商 ZT Systems，交易价值 49 亿美元。AMD 当时表示会保留该公司的设计和客户团队，并出售其制造部门。

ChainCatcher 消息，币安 VIP 借币新增可借资产：Banana Gun（BANANA）、Cheems（1000CHEEMS）。

ChainCatcher 消息，币安 C2C 现已新增 Cheems（1000CHEEMS）及 Test（TST）。用户可在自选区交易 1000CHEEMS 或 TST，包含：CNY、 EUR、USD 等。

ChainCatcher 消息，Binance P2P 已增加对Cheems (1000CHEEMS) 和 Test (TST) 的支持。1000CHEEMS 和 TST 现已支持与某些法定货币进行交易，这些货币可能包括 CNY、VND、UAH、AED、PKR、ARS、SAR、MXN、EUR、COP、USD 和 INR。

ChainCatcher 消息，据 Lookonchain 监测，交易者 dingaling 在 20 小时前将其持有的 179 万枚 CHEEMS（约 220 万美元）和 400 万枚 TST（约 174 万美元）全部存入 Binance，总计获利约 470 万美元。

ChainCatcher 消息，据 Lookonchain 监测，Christian 将 8.64 万亿枚 Cheems 锁定六个月，约合 912 万美元。 ChainCatcher 此前报道，NDV 联创 Christian 在 X 平台发文称，现在可以确认币安对 Memecoin 收取 0 上市费用，刚刚已锁定个人全部的 CHEEMS 代币，以表达对 BNB Chain 和该项目的支持。