Abstract:Decentralized Ledger Technology, popularized by the Bitcoin network, aims to keep track of a ledger of valid transactions between agents of a virtual economy without a central institution for coordination. In order to keep track of a faithful and accurate list of transactions, the ledger is broadcast and replicated across machines in a peer-to-peer network. To enforce validity of transactions in the ledger (i.e., no negative balance or double spending), the network as a whole coordinates to accept or reject new transactions based on a set of rules aiming to detect and block operations of malicious agents (i.e., Byzantine attacks). Consensus protocols are particularly important to coordinate operation of the network, since they are used to reconcile potentially conflicting versions of the ledger. Regardless of architecture and consensus mechanism used, resulting economic networks remain largely similar, with economic agents driven by incentives under a set of rules. Due to the intense activity in this area, proper mathematical frameworks to model and analyze behavior of blockchain-enabled systems are essential. In this paper, we address this need and provide the following contributions: (i) we establish a formal framework, with tools from dynamical systems theory, to mathematically describe core concepts in blockchain-enabled networks, (ii) we apply this framework to the Bitcoin network and recover its key properties, and (iii) we connect our modeling framework with powerful tools from control engineering, such as Lyapunov-like functions, to properly engineer economic systems with provable properties. Apart from the aforementioned contributions, the mathematical framework herein proposed lays a foundation for engineering more general economic systems built on emerging Turing complete networks, such as the Ethereum network, through which complex alternative economic models are explored.

Modeling analysis framework for metallic currency system

Speculation or currency? Multi-scale analysis of cryptocurrencies-The case of Bitcoin

Modeling Electronic Money Dynamics: A Complex System Perspective

Cost optimization model for different kinds of currencies in RMB's issuing

Sustainable Approach to Metal Coin Canceling Methods, Using 3D Modeling and Finite Element Method Analysis

A Multi-Chain Model for CBDC

The Analysis of the Monetary Attribute of Bitcoin

An Exchange Rate Determination Model for Central Banks’ Interventions in Financial Markets

Currency Security and Forensics: a Survey

A General Quantitative Analysis Framework for Attacks in Blockchain

Gold Farmer Model: Exploration of Inflation in the MMO Game using Multi-agent Simulation

Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical Analysis

Modelling Macrosegregation in a 2.45 Ton Steel Ingot

Currency structure optimization in China's external debt management

A State-Space Modeling Framework for Engineering Blockchain-Enabled Economic Systems

Modeling and Analysis of the Impact of Electronic Money on the Macro-Economy

The black hole of logistics costs of digitizing commodity money

Modeling and Simulation of the Economics of Mining in the Bitcoin Market

Modeling And Analysis Of Metal Interconnect Resistance Of Power Ic'S

Modeling and Analysis of Size Effects on Pure Copper Mechanical Behaviors in Micro Scale Plastic Deformation Processes

Engineering Token Economy with System Modeling