informal systemsは、tendermintコンセンサスエンジン、ibc相互運用性標準、cosmos hubに焦点を当てたcosmosネットワークソフトウェアとプロトコルのコア開発者です。彼らは、cosmosエコシステムおよびその先での主要なプルーフ・オブ・ステークバリデーター、ibcリレイヤー、インターチェーンサービスプロバイダーであるinformal stakingを運営しています。