ethsystems

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

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

イーサリアムの機関プライバシー技術会社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：アプリケーション層技術に焦点を当て、機関のニーズを実際に機能するプライバシープロトコルと金融システムに変換します。