ems

イーサリアムの機関プライバシー技術機関 EthSystems は、そのプライバシープール（shielded pool）について、文書化された仕様から Sepolia テストネットでのバイトコードの実行までの形式的検証を完了したことを発表しました。検証は層ごとに異なるツールを使用して行われました：モデル、回路、ハッシュには Lean を、契約には Halmos と Kontrol を、ウォレットには Aeneas と Verus を、検証者とデプロイにはバイト単位の再構築による照合を使用しました。二重支払いと価値保存は Lean 定理機械によって検証されました。検証中に6つの問題が発見され、そのうち3つは検証ツール自体に起因していました。チームは同時に依存している仮定を列挙しました：ハッシュの衝突がないこと、検証者が偽造証明を拒否すること、契約の動作がモデルと一致すること。

Forbes の報道によると、アメリカの衛星スタートアップ企業 Xona Space Systems が 2.5 億ドルの D ラウンド資金調達を完了し、企業評価額は 24.5 億ドルに達しました。今回の資金調達は Future Ventures が主導し、この機関は SpaceX の初期投資家であり、元理事会メンバーの Steve Jurvetson によって共同設立され、今回の投資額は 7,850 万ドルです。

Gateの市場データによると、人工知能チップメーカーのCerebras Systemsの株価は、米国株のプレマーケット取引で17.3%下落しました。理由は第2四半期の収益が市場の予想に達しなかったためです。

イーサリアムエコシステムのインフラ提供者であるEthSystemsは、韓国のローカル機関であるUndefined Labsとの提携を発表しました。両者は共同で、イーサリアム技術の韓国における金融およびデジタル資産分野での実用化を推進します。EthSystemsはプライバシー、トークン化、金融インフラなどの分野で技術支援を提供し、Undefined Labsは韓国市場に対する深い理解とローカル業界のリソースを活用して、教育、セミナー、技術フレームワークの設計、ユースケースの開発を支援し、初期の探索から概念実証、さらには生産システムへの全プロセスの実現を推進します。EthSystemsは、韓国がイーサリアムの次の段階の採用において重要な市場の一つであると述べており、今回の提携はアジアでの展開の出発点であるとしています。

Techcrunch の報道によると、気象テクノロジー会社 WindBorne Systems は 3700 万ドルの B ラウンド資金調達を完了し、Khosla Ventures と Galvanize が共同でリードインベスターとなり、投資後の評価額は 2.5 億ドルとなった。同社は長時間飛行可能な気球を使用して気象データを収集し、AI 予測モデルに接続している。現在、世界中に 20 の発射ポイントがあり、約 600 の気球が空中で運行している。主な顧客は政府機関であり、今回の資金は商業チームの拡充や投資ファンドなどの民間部門顧客へのビジネス拡大に使用される。AI による気象予測を通じて、金融、農業などの多くの業界にサービスを提供している。

イーサリアムの機関プライバシー技術会社EthSystemsは正式に立ち上げを発表し、Bitmine、Sharplink Gaming、Joe Lubin、SNZ Holdingなどのエコシステムサポーターから戦略的資金支援を受けました。EthSystemsは、銀行、資産管理会社およびその他の規制機関向けのプライバシー技術の開発に注力しており、機関がEthereumネットワーク上で大規模に金融取引を実行しながら、取引の詳細、顧客の身元などの機密情報を保護できるようにします。この会社は、イーサリアム財団（Ethereum Foundation）の機関プライバシー作業部会（Institutional Privacy Task Force, IPTF）のコアチームによって設立されました。チームは以前、EthSystemsの公式ウェブサイトで1年間のオープンソース開発を公開しており、複数の中央銀行、規制機関、大手銀行および資産管理機関と協力関係を築いています。EthSystemsは、機関がすでにステーブルコイン、トークン化された資産およびEthereumベースの決済ソリューションを探求し始めているものの、大規模な採用にはプライバシーとコンプライアンスの課題が依然として存在すると述べています。金融機関が必要とするのは、ブロックチェーンネットワークへの接続だけではなく、商業機密の保護、規制要件および既存の金融システムとの互換性を満たす完全なインフラストラクチャです。目標は「選択的開示」のプライバシーアーキテクチャを構築し、取引参加者が自分の権限で取得できる情報のみを確認できるようにし、同時にイーサリアムの分散化、安全性およびオープン性の核心的な利点を保持し、他の2つの組織と補完関係を形成します：Ethlabs：イーサリアムのコアプロトコルとインフラストラクチャの開発に注力；Ethereum Institutional：機関との協力、教育、市場調査およびエコシステムの調整を担当；EthSystems：アプリケーション層技術に焦点を当て、機関のニーズを実際に機能するプライバシープロトコルと金融システムに変換します。

公式発表によると、バイナンスは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に行われるということです。

《ウォール・ストリート・ジャーナル》によると、前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 の分散型インフラストラクチャが、既存の AI アシスタントのコンテキストメモリの喪失問題を解決する汎用 AI メモリレイヤープラットフォーム MemSync を発表しました。MemSync は ChatGPT、Claude、Perplexity およびその他の人工知能をサポートしており、このプラットフォームはパーソナライズされたメモリ学習とマルチプラットフォームのシームレスな切り替えをサポートし、作業効率を向上させます。一部のユーザーは、日々 30 分以上の時間を節約し、生産性が 10 倍に向上しています。

ChainCatcher のメッセージ、AgriFORCE Growing Systems Ltd.（ナスダック：AGRI）は、AVAX One に改名し、約 5.5 億ドルの資金を調達する計画を発表しました。また、AVAX 財庫戦略を採用します。同社の目標は、成功裏に調達した約 3 億ドルのプライベート投資（PIPE）を含む、7 億ドル以上の AVAX トークンを保有することです。今後、追加で 2.5 億ドルの資金を調達する計画もあります。会社の戦略顧問委員会は、SkyBridge Capital の創設者 Anthony Scaramucci と Coinbase の機関ビジネス責任者 Brett Tejpaul が率いています。今回の資本調達は Hivemind Capital がリードし、ParaFi、Galaxy Digital、Digital Currency Group など、50 以上の機関および暗号通貨ネイティブ投資家が参加しています。

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 のメッセージ、NDV の共同創設者 Christian が X プラットフォームで投稿し、現在、バイナンスが Memecoin に対して 0 上場手数料を請求することを確認できると述べ、個人の全ての $CHEEMS トークンをロックしたばかりで、BNB チェーンとこのプロジェクトへの支持を表明しました。