RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2018, том 25, номер 4, страницы 402–410 (Mi mais637)  

Технология блокчейн

О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»

В. Г. Дурнев, Д. М. Мурин, В. А. Соколов, Д. Ю. Чалый

Ярославский государственный университет им. П.Г. Демидова, ул. Советская, 14, г. Ярославль, 150003 Россия

Аннотация: Технология блокчейн основана на принципе доказательства работой «Proof-ofwork». Суть данного принципа состоит в том, что некоторое событие (например, перевод денежных средств с одного счета на другой) становится значимым только после того, как оно подтверждено определенным объемом вычислительной работы. Соответственно возникает потребность в вычислительных задачах, над которыми такую работу можно производить, причем на решение этих задач будет тратиться практически вся вычислительная мощность блокчейн-сети. На сегодня в качестве таких задач получили распространение «хэш-головоломки» — задачи поиска битовой строки с хэшем, удовлетворяющим определенным условиям. Существенным недостатком хэш-головоломок является отсутствие у них какого-либо полезного применения за пределами технологии блокчейн. В работе описываются подходы к решению задачи «Useful Proof-of-work for blockchains», а именно предлагается рассматривать в качестве вычислительных задач для доказательства работой возникающие на практике индивидуальные представители NP-полных задач, которые могут решаться, например, SAT- или LLL-решателями. Отдельной проработки требует вопрос об использовании FPT-задач. Предлагаемый подход позволяет обеспечить следующие свойства вычислительных задач для доказательства работой: полезность, управляемость сложностью задач (через изменение размерности, выбор задач определенного вида, указание точности необходимого решения), массовость. При этом допускается, что не каждая решенная задача может оказаться полезной, однако предоставляется возможность решать с помощью технологии блокчейн задачи, возникающие на практике. Кроме прочего, таким образом становится возможным сопоставить стоимость виртуальной криптовалюты через затраты электроэнергии при ее генерации с практическим результатом от решения вычислительных задач. Наиболее трудными вопросами в контексте рассматриваемого подхода являются реализация связи событий и задач, обеспечивающих эти события вычислительной работой, и реализация системы анализа сложности задач. Статью следует воспринимать как программу исследований, поскольку многие технические детали требуют отдельной проработки.

Ключевые слова: доказательство работой, блокчейн, выполнимость, SAT-решатель, NP-полнота, алгоритм.

DOI: https://doi.org/10.18255/1818-1015-2018-4-402-410

Полный текст: PDF файл (505 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 51-37
Поступила в редакцию: 30.07.2018

Образец цитирования: В. Г. Дурнев, Д. М. Мурин, В. А. Соколов, Д. Ю. Чалый, “О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»”, Модел. и анализ информ. систем, 25:4 (2018), 402–410

Цитирование в формате AMSBIB
\RBibitem{DurMurSok18}
\by В.~Г.~Дурнев, Д.~М.~Мурин, В.~А.~Соколов, Д.~Ю.~Чалый
\paper О некоторых подходах к решению задачи <<Useful Proof-of-work for blockchains>>
\jour Модел. и анализ информ. систем
\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{http://elibrary.ru/item.asp?id=35452927}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais637
  • http://mi.mathnet.ru/rus/mais/v25/i4/p402

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:81
    Полный текст:41
    Литература:7
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019