Формальная верификация смарт-контрактов

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

Первое упоминание о смарт контракте было представлено в 1994 г американским ученым в области информатики, криптографии и права, Ником Сабо.

Смарт-контракт (или умный контракт) представляет собой компьютерный алгоритм для формирования, управления и предоставления информации о владении чем-либо. В более узком смысле под смарт-контрактом понимается набор функций и данных, находящихся по определённому адресу в блокчейне. 

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

Источник: Хабрахабр