Modelirovanie i Analiz Informatsionnykh Sistem
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Modelirovanie i Analiz Informatsionnykh Sistem, 2018, Volume 25, Number 4, Pages 402–410
DOI: https://doi.org/10.18255/1818-1015-2018-4-402-410
(Mi mais637)
 

This article is cited in 3 scientific papers (total in 3 papers)

Blockchain Technology

On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»

V. G. Durnev, D. M. Murin, V. A. Sokolov, D. Ju. Chalyy

P.G. Demidov Yaroslavl State University, 14 Sovetskaya str., Yaroslavl 150003, Russia
Full-text PDF (505 kB) Citations (3)
References:
Abstract: The blockchain technology is based on the ”Proof-of-work” principles. The essence of this principle is that some event (for example the bill-to-bill money transaction) becomes significant after the confirmation by a certain computer work. So, a demand arose for such computational problems to work on, and we will spend on it about the whole blockchain system computing capacity. Now the main kind of such a problem is a hash-puzzle — the problem to find a bit string with a hash that satisfies some conditions. The important hash-puzzle weakness is the lack of the useful application outside of the blockchain technology. In this work, we offer some approaches to ”Useful Proof-of-work for blockchains” problem, namely, consider some practical variants of the NP-complete problems that could be solved with the help of SAT or LLL-solvers as the Proof-of-work computational problems. The use of the FPTproblems requires special study. The offered approach allows to provide the following characteristics of the proof-of-work computational problems: usefulness, problems complexity management (through the dimension change, choosing problems of certain kind, the indication of necessary solution precision), mass character. Herewith we admit that not every solved problem can be useful but we consider the opportunity to solve some practical problems with the help of the blockchain technology. Among other things it is also possible to compare the virtual crypto-currency value (through the energy costs spent) and the effective result of the practical problems solution. The most complicated points of the described approach are the realization of the events-problems (providing the computer work for these events) relations and the realization of the problems complexity analysis system. This issue should be viewed as the study program because of many technical details that must be worked out further.
Keywords: FPT, proof-of-work, blockchain, satisfiability, SAT-solver, NP-complete, FPT, algorithm.
Received: 30.07.2018
Bibliographic databases:
Document Type: Article
UDC: 51-37
Language: Russian
Citation: V. G. Durnev, D. M. Murin, V. A. Sokolov, D. Ju. Chalyy, “On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»”, Model. Anal. Inform. Sist., 25:4 (2018), 402–410
Citation in format AMSBIB
\Bibitem{DurMurSok18}
\by V.~G.~Durnev, D.~M.~Murin, V.~A.~Sokolov, D.~Ju.~Chalyy
\paper On some approaches to the solution of the problem <<Useful Proof-of-work for blockchains>>
\jour Model. Anal. Inform. Sist.
\yr 2018
\vol 25
\issue 4
\pages 402--410
\mathnet{http://mi.mathnet.ru/mais637}
\crossref{https://doi.org/10.18255/1818-1015-2018-4-402-410}
\elib{https://elibrary.ru/item.asp?id=35452927}
Linking options:
  • https://www.mathnet.ru/eng/mais637
  • https://www.mathnet.ru/eng/mais/v25/i4/p402
  • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024