stems

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

ChainCatcher 消息，开源经济基础设施 Merit Systems 完成 1000 万美元种子轮融资，a16z crypto 及 Blockchain Capital 领投，Solana 联合创始人 Toly、Not Boring Capital 创始人 Packy McCormick、Farcaster 联合创始人 Dan Romero 及 Framework Ventures 联合创始人 Vance Spencer 等参投。所筹资金将用于加速开源经济发展。 Merit 试图解决软件开发中的“归因问题”。Merit 正在建立一种协议，根据贡献者所创造的价值，对贡献者进行适当的归因和奖励。

ChainCatcher 消息，金融解决方案公司 ABD Systems 已从 Rollman Management Digital (RMD) 获得 2000 万美元的代币投资承诺，以进一步发展其技术和业务。 ABD Systems 推出 ABDS 代币，这是一种基于以太坊的加密货币，旨在通过为全球用户提供安全、透明且可访问的平台来改变数字金融领域。 ABD Systems 采用区块链创新来创建可扩展、安全且用户友好的金融解决方案。ABD Systems 致力于弥合区块链技术与日常金融需求之间的差距，为加密货币采用树立新标准。

ChainCatcher 消息，安全协议 Phylax Systems 完成 450 万美元种子轮融资。本轮融资由 Nascent 和 Figment Capital 领投，其他参投方包括：Robot Ventures、Hash3、Bankless Ventures、Breed VC 、Public Works 、Banteg、Hari Mulackal、Laurence Day、Ryan Lackey、Nic Carter、Nader Dabit、Eric Wall 等。

ChainCatcher 消息，区块链基础设施 Espresso Systems 在 X 平台发文表示，已发布第 5 个测试网 Cappuccino，目前该版本已向公众开放。 Espresso Systems 团队在 Cappuccino 测试网上将 HotShot 终结层扩展至 100 个节点。此外，该测试网新增支持 Arbitrum 欺诈证明。

ChainCatcher 消息，Web3 税务软件初创公司 Haven Intelligence Systems 以 500 万美元估值启动 Pre-Seed 轮融资，目前其融资金额已达到目标上限 20 万美元，据悉该公司推出的 “Keeper”Web3 税务解决方案可以解决加密交易复杂性问题，帮助用户精准高效完成加密纳税义务。

ChainCatcher 消息，SCION 软件提供商 Anapaya Systems 获 Mysten Labs 180万欧元投资。此前，Mysten Labs 宣布与 SCION 软件提供商 Anapaya Systems 建立合作伙伴关系并对其进行投资，正在共同探索如何使用 SCION（下一代互联网架构）为 Sui 和其他 Web3 基础设施技术提供安全通信。 通过 SCION，Mysten Labs 正在尝试让 Sui 加强验证者、全节点和区块链客户端之间的通信，以使 Sui 免受 IP 网络级攻击。

 ChainCatcher 消息，Cosmos Hub 社区提议向 Informal Systems 和 Hypha Worker Co-op 提供超 90 万枚 ATOM 的 2024 年预算，用于链间安全协议的维护和完善、Cosmos Hub Gaia 核心软件的维护以及测试网程序的维护和改进。 据悉，其中 Informal Systems 是 Cosmos Hub 核心开发的团队，Hypha Worker Co-op 则是负责消费链的团队。目前该提案拒绝票占大多数。

ChainCatcher 消息，Mysten Labs 宣布与 SCION 软件提供商 Anapaya Systems 建立合作伙伴关系并对其进行投资，正在共同探索如何使用 SCION（下一代互联网架构）为 Sui 和其他 Web3 基础设施技术提供安全通信。 通过 SCION，Mysten Labs 正在尝试让 Sui 加强验证者、全节点和区块链客户端之间的通信，以使 Sui 免受 IP 网络级攻击。

ChainCatcher 消息，Immunefi 宣布推出 Vault Systems，这是一个智能合约系统，允许开发人员安全地存放用于支付黑客或研究人员报告其代码漏洞的资金。这些资金只有在漏洞报告经过验证后才会释放给黑客。 Immunefi 创始人 Mitchell Amador 表示，这样做的目的是在通常谨慎的两方之间建立信任。 黑客社区和项目开发人员之间的关系可能非常复杂。开发人员特别担心他们的项目被滥用，但即使是有善意的黑客也可能对发现漏洞而陷入法律困境感到担忧。甚至当他们提交报告时，他们也担心他们的工作不会得到适当的承认或报酬。