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 that defines a class of blockchain structures using the axioms of the first-order logic. The models of the theory 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 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.

Cite: Goncharov S. , Nechesov A.
Axiomatization of Blockchain Theory
Mathematics. 2023. V.11. N13. 2966 :1-16. DOI: 10.3390/math11132966 WOS Scopus РИНЦ OpenAlex

Dates:

Submitted:	Jun 6, 2023
Accepted:	Jun 28, 2023
Published print:	Jul 3, 2023
Published online:	Jul 3, 2023

Identifiers:

Web of science:	WOS:001031995400001
Scopus:	2-s2.0-85164910867
Elibrary:	62008810
OpenAlex:	W4383068581

Citing:

DB	Citing
OpenAlex	3
Scopus	2
Web of science	1
Elibrary	2

Altmetrics: