Injective驗證者焦點 🔦

@informalinc，由 Cosmos 共同創辦人 @buchmanster 創立，自 2022 年 11 月以來一直是 Injective 的核心驗證者。

作為一個由成員驅動的工人合作社，Informal Systems 專注於構建軟體，透過形式驗證工具和跨 20 多個區塊鏈生態系統的驗證者服務，使協議和人們能夠蓬勃發展。

Informal Systems 對 Injective 的奉獻遠遠超出其驗證者運營，涵蓋多個關鍵領域：安全審計、形式驗證和治理運營。

了解 Informal 的驗證者如何透過將其重點放在保護 Injective 及其生態系統上，而躍升至驗證者排行榜的頂端。

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