Injective 验证者聚焦 🔦

@informalinc，由 Cosmos 联合创始人 @buchmanster 创立，自 2022 年 11 月以来一直是 Injective 上的核心验证者。

作为一个由成员驱动的工人合作社，Informal Systems 专注于构建软件，通过形式验证工具和跨 20 多个区块链生态系统的验证者服务，使协议和人员能够蓬勃发展。

Informal Systems 对 Injective 的投入远不止于其验证者运营，还包括多个关键领域：安全审计、形式验证和治理运营。

了解 Informal 的验证者如何通过将其重点放在保护 Injective 及其生态系统上而跃升至验证者排行榜的榜首。

了解更多：https://t.co/xU2cBb2d1h