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.
Agoric is the first proof of stake blockchain to utilize hardened JavaScript smart contracts. Zoe, another first of its kind innovation, provides “offer safety”, ensuring users get what they pay for or a full refund. ERTP is the token standard that treats fungible and non-fungible assets exactly the same.