Informal Systems
Learn about Informal Systems
What is Informal Systems?
Informal Systems has been offering the highest security validation since 2018. Informal also provides security audits and is a researcher and steward of public good across the ComsosEco (e.g., IBC, CometBFT, Hermes relayer).
What is your teams expertise / track record?
Informal Systems has been a leading contributor in the Cosmos ecosystem since genesis. Through our validation services, we help secure 20+ Cosmos chains. We have contributed to major developments such as Ibc and Ics and operate highly performant relayers across multiple networks.
What is your Infrastructure Security Setup?
Multiple servers in each DC with 512gB RAM, AMD EPYC 7313 cpu and vSAS drive/NVME depending on server. Built to handle multiple large nodes.
DC networking has redundant:
Internet
Power
Firewalls
Switches
Servers
- security (servers, private keys)
24/7 on prem security for datacenter
Server storage is LUKS encrypted (further protects against physical theft)
Tmkms is used for signing on remote node.
Operator wallet is 2 of 4 multisig for extra safety
- monitoring and alerting
Zabbix - open source enterprise monitoring software
Templates have 60+ points of monitoring nodes for things like block height, missing block signatures, signing window, jailing, mempool, TX count & size, block speed, etc…
This is connected to pagerduty where we have an infrastructure engineer on call 24/7 and a second senior engineer on escalation 24/7
How do you handle Governance Decisions?
Our governance lead reviews proposals and consults teams/individuals at Informal Systems with relevant knowledge. We also take our delegator's/community wishes into consideration before voting.
Informal Systems Supported Assets
Other Supported Assets
Informal Systems Analytics
- 24h
- 7d
- 30d
- 90d
- 1y
- 24h
- 7d
- 30d
- 90d
- 1y
Performance over Time
Track Informal Systems staking over time by analyzing key performance metrics.