Шпирко Віктор ВасильовичАнікушин Данило Романович2022-08-112024-05-092022-08-112022Анікушин Д. Р. Керування фізичними активами за допомогою блокчейну : кваліфікаційна робота бакалавра : 051 Економіка / Анікушин Данило Романович. - Київ, 2022. - 45 с.https://ir.library.knu.ua/handle/123456789/1701Досліджено можливість надання нерухомості в оренду за допомогою смарт-контрактів та розроблено смарт-контракт, який виступав би таким сервісом. Смарт-контракт було розроблено використовуючи предметно-орієнтовану мову програмування ink! та інфраструктуру з документацією Parity Technologies. Як теоретичне підґрунтя було взято модель смарт-контракту як машини зі скінченною кількістю станів. Дана модель була використана для проектування смарт-контракту перед його розробкою. Було виділено два можливих рішення проблеми захисту даного смарт-контракту від зловмисних дій його учасників та реалізоване рішення використовування рікардіанського контракту.uaБакалаврська робота