Введение в смарт-контракты. Их потенциальные и реальные ограничения

[stanislavkulikov]

Наконец то первая адекватная статья, с объективной оценкой текущей ситуации. А то надоели уже эти фанатично-восторженные восклицания, о том, что вот пряма завтра вся мировая экономика измениться.

[potan]

Смартконтракты не обязательно должны выполняться в блокчейне, они вполне осмыслены и для централизованных систем, которым участники контракта доверяют. Например, интересно было бы использовать смартконтракты в играх с развитой экономикой. Да и корпоративные системы, по большому счеты, можно считать очень сложными смартконтрактами.

Главное препятствие на пути широкого внедрения смарт-контрактов: сторонам придётся полагаться на доверенных технических экспертов, которые будут реализовывать соглашения в коде или подтверждать точность кода, написанного третьей стороной.

— значит требуется формальная, но достаточно простая нотация, с одной стороны понимаемая человеком без слишком специализированных знания и навыков, с другой стороны допускающая доказательство соответствия смартконтракта заданному соглашению.
Пока на роль такой нотации в голову лезут модальные логики, теория процессов, сети Петри, но непонятно, какая требуется минимальная подготовка читателя этой нотации.