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).

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.

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

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.