Creation of a Self-Sustaining Token Economy

Creating a self-governing token economy is a challenge for any project seeking to create a product with a rational token run that provides motivation and profit. It is also important to maintain correct token liquidity after listing on an exchange. Developing an algorithm for tokenomics and manually planning initial coin-offering rounds is an extremely difficult task because the human mind cannot fully understand all the factors and probable scenarios of token behaviour during product operation and trading. The safest and most effective way of building tokenomics is through formal methods. We offer algebraic modelling based on the theory of interactions between agents and environments. The behaviour of each agent, namely, the investor, product users, and traders on an exchange, and a smart contract, which controls the interaction, are defined by the set of actions presented in behaviour algebra. Symbolic modelling methods allow one to build the best scenarios for circulating tokens and maintain economic equilibrium over an extended period. Automatic proofs of statements in behaviour algebra make it possible to verify properties such as the impossibility of centralisation or the malicious actions of stakeholders who look to obtain illicit benefits. We have developed an online automated web service called tokenomics constructor that makes it possible to build tokenomics with simulations of possible behavioural scenarios and provides proofs of properties of interest. The tokenomics constructor uses historical stock exchange data to model trade. The system is supported by an algebraic server that leverages algebraic behaviour methods and an automatic proof system.