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

Решение поставленных задач потребует корректного использования наработок из таких областей, как теория игр, network science, теория конечных автоматов, economics, криптография, computer science и т.д. От результата работы над этими задачами во многом будет зависеть облик той новой Blockchain-экосистемы, которая сейчас активно создается по всему миру.