パフォーマンス
RD 人気指数
RD 成長指数
比較
更新をフォローする
フォローリスト
キャラクター
Informal Systemsについて
Informal Systemsは、Cosmosネットワークのコアソフトウェア開発企業であり、TendermintコンセンサスエンジンとIBCクロスチェーン通信プロトコルに注力し、形式検証に重点を置いています。主な事業内容は、ブロックチェーンネットワーク向けの高度に安全なコンセンサスメカニズムの提供、クロスチェーン相互運用性標準の開発、およびバリデータノード（例：Informal Staking）の運用によるネットワークの分散化支援です。 市場の課題は、ブロックチェーンに統一された安全な通信プロトコルが欠如していること、コンセンサスアルゴリズムが攻撃に対して脆弱であり形式検証が困難なため、クロスチェーン資産移転やエコシステム連携において信頼リスクが生じることです。Informal Systemsは、形式手法（例：TLA+仕様）を用いて重要なプロトコルを検証し、IBCを業界標準として推進することで、相互運用性とセキュリティの課題を解決しています。 過去6か月間（2026年3月から9月）において、同社はStarknetなどのレイヤー2ネットワークとのパートナーシップを継続的に進展させ、IBCをCosmos以外のエコシステムに統合することでクロスチェーン対応範囲を拡大しています。同時に、バリデータノードサービスは引き続き活発に運用され、複数のブロックチェーンネットワークにおけるコンセンサスセキュリティ監査にも参加しています。全体として、最近の開発はIBCのユースケース拡大とプロトコルの形式的保証の強化に焦点を当てています。
Informal Systemsは2020年初頭、Ethan Buchman、Zarko Milosevic、Josef Widderらによって設立され、Interchain Foundationから派生してCosmosネットワークに厳密なプロトコルエンジニアリングを提供しました。最初の主要プロジェクトはIBCプロトコルのRust実装とTLA+形式仕様であり、モデル検査の結果がプロトコル改善につながり、Hermesリレイヤーが開発され、2021年のIBCローンチ後に本番環境でデプロイされました。チームはTendermintライトクライアントの形式検証も行い、そのRust実装を保守しました。2022年夏、InformalはTendermint Core（Go）の保守を引き継ぎ、v0.35/v0.36の撤回後の信頼を回復し、ABCI 2.0を推進し、v0.37/v0.38をリリースしました。同社のApalache記号モデル検査器は、Tendermint合意、ライトクライアント、高速同期など複数のコアプロトコルのセキュリティ監査と仕様検証に使用されました。2023年、InformalはCosmos HubのV8およびV9リリースを支援し、V9ではReplicated Securityを導入し、チェーン間の共有セキュリティの基盤を築きました。これらの取り組みにより、Cosmosエコシステムの形式手法とインフラストラクチャの中核が確立されました。
Informal Systemsは、Ethan Buchman、Arianne Flemming、Zarko Milosevicによって共同設立されました。 Ethan Buchman（CEO）は、CosmosおよびTendermintの共同創設者であり、Interchain Foundationの元テクニカルディレクター、ゲルフ大学で修士号を取得。また、Cycles Protocolを率いています。 Arianne Flemming（COO）はプリンストン大学を卒業し、複数の企業を創業。Creative Destruction Labで機械学習のアソシエイトディレクターを務めました。 Zarko Milosevic（CTO）はEPFLで分散システムの博士号を取得し、合意プロトコルと形式検証を専門としています。