 Blockchain State Machine RepresentationNo eusxg, SocArXiv from Center for Open Science Abstract: We present a formalization of blockchain as a state machine, focusing upon permissionless blockchains due to general audience awareness of its most popular implementation, Bitcoin (permissioned blockchains are treated similarly without loss of generality). After presenting a typical Bitcoin transaction workflow, a general blockchain state representation is derived. It is demonstrated that the proper mathematical object defining the state of a blockchain is a topological fiber bundle, because it is not possible to globally `parametrize' blocks (or ledgers of blocks) by time due to their dependence upon cryptographic hash functions. In addition, we specify a general transition function between blockchain states that is agnostic to the consensus mechanism used to write blocks into the ledger, and which is probabilistic in nature, so that blockchain may be regarded as a probabilistic state machine. We then interpret agents (both human and code-based, such as `chaincode', `smart contracts', or other artificial intelligence) as automata interacting with blockchain technology, drawing upon the theory of non-cooperative repeated interaction games. Finally, blockchain as a hierarchy of state machines is defined, and future research directions are presented using this hierarchy as a point of departure for modeling blockchain dynamics. Date: 2018-01-23 Downloads: (external link) Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:osf:socarx:eusxg Access Statistics for this paper More papers in SocArXiv from Center for Open Science |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.