Informal Staking has been an active validator on Agoric since March 2022. The Agoric team are pioneers of smart contracts, with their work predating blockchains, and also helped to standardize and generalize the IBC protocol. Agoric is also working with Informal Systems using formal verification tools to improve software integrity.
Agoric uses a dual token system to “grease” the on-chain economy. BLD is the staking and governance token and the primary token backing Run Protocol. RUN is a stable local currency that is used to pay network fees.