BlockScience and Interchain Foundation Complex Systems R&D Partnership for Cosmos

The Interchain Foundation and BlockScience are pleased to announce a partnership to bring robust complex systems engineering to the Cosmos stack.

To date, the Interchain Foundation has made significant investments in the correctness of core Cosmos components, including formal verification and model-based testing of the Tendermint consensus protocol and light client, and more recently the Inter-blockchain communication protocol.

BlockScience is the premier mathematical engineering firm in the blockchain industry, authoring the open source cadCAD software suite and applying rigorous data-driven methodologies to the design and analysis of complex systems involving distributed human and machine agents.

This collaboration will expand the Cosmos verification effort to include economic systems engineering with an initial focus first on the creation of a digital twin for the Cosmos staking system and forthcoming extensions of the staking model, staking derivatives and shared security.

The Interchain paradigm brings many challenging economic problems, multi-chain fee pricing and routing methods, interactions between governance and automated control systems, bounding risk in an adversarial distributed information environment. As such, this partnership represents a long-term alignment of organisations towards rigorous systems design and validation of socio-technical systems in the public interest.

We are seeking two candidates who will be hired by the Interchain Foundation and Informal and receive training and mentorship from BlockScience to lead a Cosmos economic systems engineering initiative aimed at increasing the mechanistic guarantees and operational security of the Cosmos Hub and the Cosmos blockchain development stack.

For more information, see our open Research Engineer position here.