ИСТИНА |
Войти в систему Регистрация |
|
ФНКЦ РР |
||
Доклад посвящен текущему состоянию проблемы описания на теоретико-автоматном языке смарт-контрактов, функционирующих в среде блокчейн. C точки зрения математического описания, любой юридически правильно составленный контракт можно рассматривать как конечный автомат. Сказанное означает, что функционирование смарт-контрактов в среде блокчейн можно рассматривать как взаимодействие автоматов во времени. В литератре используются модели смарт-контрактов, основанные на автоматах с метками времени, а также модели автоматов с действительным временем. Показано, что вторая модель не явлется релевантной, сводится к первой модели, а первая модель сводится к обычным автоматам с дискретным временем.