IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v11y2023i13p2966-d1185894.html
   My bibliography  Save this article

Axiomatization of Blockchain Theory

Author

Listed:
  • Sergey Goncharov

    (Sobolev Institute of Mathematics, 630090 Novosibirsk, Russia
    These authors contributed equally to this work.)

  • Andrey Nechesov

    (Sobolev Institute of Mathematics, 630090 Novosibirsk, Russia
    These authors contributed equally to this work.)

Abstract

The increasing use of artificial intelligence algorithms, smart contracts, the internet of things, cryptocurrencies, and digital money highlights the need for secure and sustainable decentralized solutions. Currently, the blockchain technology serves as the backbone for most decentralized systems. However, the question of axiomatization of the blockchain theory in the first-order logic has been open until today, despite the efficient computational implementations of these systems. This did not allow one to formalize the blockchain structure, as well as to model and verify it using logical methods. This work introduces a finitely axiomatizable blockchain theory T that defines a class of blockchain structures K using the axioms of the first-order logic. The models of the theory T are well-known blockchain implementations with the proof of work consensus algorithm, including Bitcoin, Ethereum (PoW version), Ethereum Classic, and some others. By utilizing mathematical logic, we can study these models and derive new theorems of the theory T through automatic proofs. Also, the axiomatization of blockchain opens up new opportunities to develop blockchain-based systems that can help solve some of the open problems in the fields of artificial intelligence, robotics, cryptocurrencies, etc.

Suggested Citation

  • Sergey Goncharov & Andrey Nechesov, 2023. "Axiomatization of Blockchain Theory," Mathematics, MDPI, vol. 11(13), pages 1-16, July.
    • Handle: RePEc:gam:jmathe:v:11:y:2023:i:13:p:2966-:d:1185894
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/11/13/2966/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/11/13/2966/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Maxim Bichuch & Zachary Feinstein, 2022. "Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance," Papers 2210.01227, arXiv.org, revised Sep 2024.
    2. Jacob D. Leshno & Philipp Strack, 2020. "Bitcoin: An Axiomatic Approach and an Impossibility Theorem," American Economic Review: Insights, American Economic Association, vol. 2(3), pages 269-286, September.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Abheek Ghosh & Paul W. Goldberg, 2023. "Best-Response Dynamics in Lottery Contests," Papers 2305.10881, arXiv.org.
    2. Hanna Halaburda & Guillaume Haeringer & Joshua Gans & Neil Gandal, 2022. "The Microeconomics of Cryptocurrencies," Journal of Economic Literature, American Economic Association, vol. 60(3), pages 971-1013, September.
    3. Georg Menz & Moritz Vo{ss}, 2023. "Aggregation of financial markets," Papers 2309.04116, arXiv.org, revised Sep 2024.
    4. Nicola Dimitri, 2022. "The Economics of Consensus in Algorand," FinTech, MDPI, vol. 1(2), pages 1-16, May.
    5. Raphael A. Auer & Cyril Monnet & Hyun Song Shin, 2021. "Distributed Ledgers and the Governance of Money," CESifo Working Paper Series 9441, CESifo.
    6. Can, Burak & Leth Hougaard, Jens & Pourpouneh, Mohsen, 2022. "On reward sharing in blockchain mining pools," Games and Economic Behavior, Elsevier, vol. 136(C), pages 274-298.
    7. Benigno, Pierpaolo & Schilling, Linda M. & Uhlig, Harald, 2022. "Cryptocurrencies, currency competition, and the impossible trinity," Journal of International Economics, Elsevier, vol. 136(C).
    8. Joshua S. Gans & Hanna Halaburda, 2023. ""Zero Cost'' Majority Attacks on Permissionless Blockchains," NBER Working Papers 31473, National Bureau of Economic Research, Inc.
    9. Kenan Wood & Maurice Herlihy & Hammurabi Mendes & Jonad Pulaj, 2024. "Expiring Assets in Automated Market Makers," Papers 2401.04289, arXiv.org.
    10. Auer, Raphael & Tercero-Lucas, David, 2022. "Distrust or speculation? The socioeconomic drivers of U.S. cryptocurrency investments," Journal of Financial Stability, Elsevier, vol. 62(C).
    11. Osiebuni Collins OBU & Wilfred I. UKPERE, 2022. "The Implications of the Incursion of Cryptocurrency on the Effectiveness of Fiscal Policy," Review of Applied Socio-Economic Research, Pro Global Science Association, vol. 23(1), pages 134-150, June.
    12. Schilling, Linda & Fernández-Villaverde, Jesús & Uhlig, Harald, 2024. "Central bank digital currency: When price and bank stability collide," Journal of Monetary Economics, Elsevier, vol. 145(C).
    13. Altuntaş, Açelya & Phan, William & Tamura, Yuki, 2023. "Some characterizations of Generalized Top Trading Cycles," Games and Economic Behavior, Elsevier, vol. 141(C), pages 156-181.
    14. Anton Badev & Cy Watsky, 2023. "Interconnected DeFi: Ripple Effects from the Terra Collapse," Finance and Economics Discussion Series 2023-044, Board of Governors of the Federal Reserve System (U.S.).
    15. Marcelo A. T. Aragão, 2021. "A Few Things You Wanted to Know about the Economics of CBDCs, but were Afraid to Model: a survey of what we can learn from who has done," Working Papers Series 554, Central Bank of Brazil, Research Department.
    16. Kensuke Ito, 2024. "Cryptoeconomics and Tokenomics as Economics: A Survey with Opinions," Papers 2407.15715, arXiv.org.
    17. Joshua S. Gans & Richard Holden, 2022. "Mechanism Design Approaches to Blockchain Consensus," Papers 2206.10065, arXiv.org.
    18. A. Mantovi, 2021. "Bitcoin selection rule and foundational game theoretic representation of mining competition," Economics Department Working Papers 2021-EP02, Department of Economics, Parma University (Italy).
    19. Peplluis R. Esteva & Andrés El-Fakdi & Alberto Ballesteros-Rodríguez, 2023. "Invoice Discounting Using Kelly Criterion by Automated Market Makers-like Implementations," Mathematics, MDPI, vol. 11(7), pages 1-37, March.
    20. Lauzier, Jean-Gabriel & Lin, Liyuan & Wang, Ruodu, 2023. "Pairwise counter-monotonicity," Insurance: Mathematics and Economics, Elsevier, vol. 111(C), pages 279-287.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:11:y:2023:i:13:p:2966-:d:1185894. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.