Основная цель работы - представить модели и протоколы защищенных автоматических транзакций на основе технологии Blockchain, провести их формализацию, выполнить оценку производительности представленной модели. Предмет исследования - модели и протоколы защищенных автоматических транзакций на основе технологии Blockchain. В результате работы была представлены модели и протоколы защищенных автоматических транзакций на основе технологии Blockchain, дано их формальное представление, выполнена оценка производительности представленной модели. АВТОМАТИЧЕСКИЕ ТРАНЗАКЦИИ, СМАРТ-КОНТРАКТЫ, ТЕХНОЛОГИЯ BLOCKCHAIN, КРИПТОВАЛЮТА, МОДЕЛИРОВАНИЕ, КОНФИДЕНЦИАЛЬНОСТЬ, ПСЕВДОНИМ, ДЕЦЕНТРАЛИЗОВАННЫЙ РАСПРЕДЕЛЕННЫЙ РЕГИСТР, ШАБЛОН ПРОЕКТИРОВАНИЯ, SNARK, НЕИНТЕРАКТИВНОЕ ДОКАЗАТЕЛЬСТВО С НУЛЕВЫМ РАЗГЛАШЕНИЕМ, КРАУДФАНДИНГ, АУКЦИОН Основна мета роботи - представити моделі та протоколи захищених автоматичних транзакцій на основі технології Blockchain, провести їх формалізацію, виконати оцінку продуктивності представленої моделі. Предмет дослідження - моделі і протоколи захищених автоматичних транзакцій на основі технології Blockchain. В результаті роботи була представлени моделі та протоколи захищених автоматичних транзакцій на основі технології Blockchain, надано їх формальне подання, виконано оцінку продуктивності представленої моделі. АВТОМАТИЧНІ ТРАНЗАКЦІЇ, СМАРТ-КОНТРАКТИ, ТЕХНОЛОГІЯ BLOCKCHAIN, КРИПТОВАЛЮТА, МОДЕЛЮВАННЯ, КОНФІДЕНЦІЙНІСТЬ, ПСЕВДОНІМ, ДЕЦЕНТРАЛІЗОВАНИЙ РОЗПОДІЛЕНИЙ РЕГІСТР, ШАБЛОН ПРОЕКТУВАННЯ, SNARK, НЕІНТЕРАКТИВНИЙ ДОКАЗ З НУЛЬОВИМ РОЗГОЛОШЕННЯМ, КРАУДФАНДІНГ, АУКЦІОН The main objective of the work - to present models and protocols of secure automatic transactions based on Blockchain technology, to conduct their formalization, to execute performance evaluation of the presented model. Subject of research -models and protocols of secure automatic transactions based on Blockchain technology. As a result of the work models and protocols of secure automatic transactions based on Blockchain technology have been presented, their formal presentation has been given, the performance evaluation of the presented model has been executed. AUTOMATIC TRANSACTIONS, SMART-CONTRACTS, BLOCKCHAIN TECHNOLOGY, CRYPTOCURRENCY, MODELING, PRIVACY, PSEUDONYM, DECENTRALIZED SHARED LEDGER, WRAPPERS, SNARK, NON-INTERACTIVE ZERO-KNOWLEDGE PROOF, CROWDFUNDING, AUCTION
