Формализация систем управления распределенными данными на основе технологии «блокчейн»

Abstract

Впервые появившаяся в криптовалюте Bitcoin, в настоящее время технология «блокчейн» используется не только в многочисленных криптовалютах, но и в криптоконтейнерах (реестры данных) и смарт-контрактах (финансовые сделки). Однако, несмотря на большую популярность технологии, до сих пор не построена ее формализованная модель. В данной работе описываются базовые элементы и операции, необходимые для построения данной модели, сравниваются алгоритмы достижения консенсуса. Материалы работы могут быть использованы при проектировании и аудите систем, основанных на блокчейне.