Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://elartu.tntu.edu.ua/handle/lib/43276
Назва: Дослідження застосунків блокчейну та смарт-контрактів засобами мови програмування Rust для оптимізації різногалузевих задач
Інші назви: Research of blockchain applications and smart contracts using Rust programming tools to optimize multi-sectoral problems
Автори: Семак, Антоній Вікторович
Semak, Antonii
Хома, Святослав-Зорян Юрійович
Khoma, Sviatoslav-Zorian
Приналежність: ТНТУ ім. І. Пулюя, Факультет комп’ютерно-інформаційних систем і програмної інженерії, Кафедра комп’ютерних наук, м. Тернопіль, Україна
Бібліографічний опис: Семак А.В., Хома С.-З. Ю. Дослідження застосунків блокчейну та смарт-контрактів засобами мови програмування Rust для оптимізації різногалузевих задач : кваліфікаційна робота магістра за спеціальністю „124 — системний аналіз“ / Семак А.В., Хома С.-З. Ю. — Тернопіль: ТНТУ, 2023. – 101 с.
Дата публікації: 29-гру-2023
Дата подання: 15-гру-2023
Дата внесення: 2-січ-2024
Країна (код): UA
Місце видання, проведення: ТНТУ ім. І.Пулюя, ФІС, м. Тернопіль, Україна
Науковий керівник: Козбур, Галина Володимирівна
Члени комітету: Бойко, Ігор Володимирович
Осухівська, Галина Михайлівна
УДК: 004.43
Теми: смарт-контракт
smart contract
блокчейн
blockchain
Rust
VSCode
Linux
DeFi
Solana
Cargo
Короткий огляд (реферат): Кваліфікаційна робота присвячена розробці смарт-контракту, що реалізує систему голосування та смарт-контракту, що реалізує liquidity pool. В першому розділі кваліфікаційної роботи вислітлено аналіз існуючих рішень. Розглянуто поняття ноди та метод досягнення консенсусу для роботи смарт-контрактів. Проаналізовано поняття смарт-контрактів, їхні переваги і недоліки. В другому розділі кваліфікаційної роботи описано технологію блокчейн. Досліджено застосування платформи Solana та мови програмування Rust для розробки смарт-контрактів. Подано опис середовища для програмування Visual Studio Code. Розглянуто операційну систему Linux В третьому розділі кваліфікаційної роботи описано процес практичної реалізації смарт-контрактів у блокчейні Solana. Спроектовано архітектуру смартконтракту, що реалізує систему голосування та смарт-контракту, що реалізує liquidity pool. Проведено тестування функціоналу розроблених смарт-контрактів за допомогою інтеграційних тестів. Об’єкт дослідження: оптимізація різногалузевих задач за допомогою застосунків блокчейну та смарт-контрактів. Предмет дослідження: застосунки блокчейну та смарт-контракти засобами мови програмування Rust. Thesis is devoted to the development of a smart contract implementing a voting system and a smart contract implementing a liquidity pool. The first chapter of the thesis analyzes existing solutions. The concept of a node and the method of reaching consensus for the operation of smart contracts are considered. The concept of smart contracts, their advantages and disadvantages are analyzed. The second chapter of the thesis describes the blockchain technology. The application of the Solana platform and the Rust programming language for the development of smart contracts is investigated. A description of the Visual Studio Code programming environment is given. The Linux operating system is considered. The third chapter of the thesis describes the process of practical implementation of smart contracts in the Solana blockchain. The architecture of a smart contract that implements the voting system and a smart contract that implements the liquidity pool is designed. The functionality of the developed smart contracts was tested using integration tests. Object of research: optimization of diverse tasks using blockchain applications and smart contracts. Subject of research: blockchain applications and smart contracts using the Rust programming language.
Зміст: ВСТУП 8 1 АНАЛІЗ ІСНУЮЧИХ РІШЕНЬ ТА ОБҐРУНТУВАННЯ ТЕМИ МАГІСТЕРСЬКОЇ РОБОТИ 10 1.1 Блокчейн 10 1.2 Переваги та недоліки блокчейну 13 1.3 Поняття ноди 14 1.4 Методи досягнення консенсусу 16 1.5 Ліквідні пули 17 1.6 Інноваційні технології для виборів 21 1.7 Смарт-контракти 22 1.8 Переваги та недоліки смарт-контрактів 25 1.9 Аналіз існуючих рішень 26 1.10 Висновок до першого розділу 28 2 ТЕХНОЛОГІЯ БЛОКЧЕЙН. ЗАСТОСУВАННЯ ПЛАТФОРМИ SOLANA ТА МОВИ ПРОГРАМУВАННЯ RUST ДЛЯ РОЗРОБКИ СМАРТ-КОНТРАКТІВ 29 2.1 Блокчейн Solana 29 2.2 Мова програмування Rust 32 2.3 Середовище для програмування Visual Studio Code 37 2.4 Операційна система Linux 44 2.5 Висновок до другого розділу 52 3 ПРАКТИЧНА РЕАЛІЗАЦІЯ СМАРТ-КОНТРАКТІВ У БЛОКЧЕЙНІ SOLANA 53 3.1 Написання смарт-контракту, який реалізує систему голосування 53 3.2 Вхідна точка у смарт-контракт, який реалізує систему голосування 54 3.3 Інструкції смарт-контракту, який реалізує систему голосування 56 3.4 Помилки смарт-контракту, який реалізує систему голосування 57 3.5 Структури даних смарт-контракту, який реалізує систему голосування 57 3.6 Основна логіка смарт-контракту, який реалізує систему голосування 59 3.7 Тести смарт-контракту, який реалізує систему голосування 62 3.8 Написання смарт-контракту, який реалізує liquidity pool 66 3.9 Структури даних смарт-контракту, який реалізує liquidity pool 68 3.10 Помилки смарт-контракту, який реалізує liquidity pool 68 3.11 Основна логіка смарт-контракту, який реалізує liquidity pool 69 3.12 Тести смарт-контракту, який реалізує liquidity pool 73 3.13 Висновок до третього розділу 76 4 ОХОРОНА ПРАЦІ ТА БЕЗПЕКА В НАДЗВИЧАЙНИХ СИТУАЦІЯХ 77 4.1 Вимоги щодо охорони праці при роботі з комп’ютерами. 77 4.2 Організація охорони праці працівників на підприємстві 79 4.3 Інженерний захист персоналу об’єкту та населення 81 4.4 Критичні стани людини 83 4.5 Підвищення стійкості роботи об'єктів приладобудівної галузі в воєнний час 86 4.6 Висновок до четвертого розділу 92 ВИСНОВКИ 94 ПЕРЕЛІК ДЖЕРЕЛ 96 ДОДАТКИ
URI (Уніфікований ідентифікатор ресурсу): http://elartu.tntu.edu.ua/handle/lib/43276
Власник авторського права: © Семак Антоній Вікторович, Хома Святослав-Зорян Юрійович, 2023
Перелік літератури: 1. Raj, Koshik. Foundations of blockchain: the pathway to cryptocurrencies and decentralized blockchain applications. Packt Publishing Ltd, 2019.
2. Song, Jimmy. Programming bitcoin: Learn how to program bitcoin from scratch. O'Reilly Media, 2019.
3. Klabnik, Steve, and Carol Nichols. The Rust programming language. No Starch Press, 2023.
4. McNamara, Tim. Rust in Action. Simon and Schuster, 2021.
5. Klabnik, Steve, and Carol Nichols. The Rust programming language. No Starch Press, 2023.
6. Wu, Xun Brian, Zhihong Zou, and Dongying Song. Learn ethereum: build your own decentralized applications with ethereum and smart contracts. Packt Publishing Ltd, 2019.
7. Comert, Oguz. "Blockchain Revolution: How the Technology behind Bitcoin and Other Cryptocurrencies Is Changing the World." (2020): 272.
8. Zheng, Zibin, et al. "An overview on smart contracts: Challenges, advances and platforms." Future Generation Computer Systems 105 (2020): 475-491.
9. Bugden, William, and Ayman Alahmar. "Rust: The programming language for safety and performance." arXiv preprint arXiv:2206.05503 (2022).
10. Tapscott, Don, and Alex Kaplan. "Blockchain revolution in education and lifelong learning." Blockchain Research Institute-IBM Institute for Business Value (2019).
11. Herian, Robert. "Smart contracts: a remedial analysis." Information & Communications Technology Law 30.1 (2021): 17-34.
12. Burger, Annetta, William G. Kennedy, and Andrew Crooks. "Organizing theories for disasters into a complex adaptive system framework." Urban Science 5.3 (2021): 61.
13. Labouseur, Alan G., Matthew Johnson, and Thomas Magnusson. "Demystifying blockchain by teaching it in computer science: adventures in essence, accidents, and data structures." Journal of Computing Sciences in Colleges 34.6 (2019): 43-56.
14. Fandl, Kevin J. "Can smart contracts enhance firm efficiency in emerging markets?." Nw. J. Int'l L. & Bus. 40 (2019): 333.
15. Jung, Ralf. "Understanding and evolving the Rust programming language." (2020).
16. Tapscott, Don, and Alex Tapscott. Blockchain revolution: how the technology behind bitcoin is changing money, business, and the world. Penguin, 2019.
17. Bomprezzi, Chantal. Implications of blockchain-based smart contracts on contract law. Vol. 23. Nomos Verlag, 2021.
18. Cogo, Filipe Roseiro, Xin Xia, and Ahmed E. Hassan. "Assessing the alignment between the information needs of developers and the documentation of programming languages: a case study on Rust." ACM Transactions on Software Engineering and Methodology 32.2 (2023): 1-48.
19. Antonopoulos, Andreas M., Olaoluwa Osuntokun, and René Pickhardt. Mastering the Lightning Network. " O'Reilly Media, Inc.", 2021.
20. Zhu, Shuofei, et al. "Learning and programming challenges of rust: A mixed-methods study." Proceedings of the 44th International Conference on Software Engineering. 2022.
21. Moringiello, Juliet M., and Christopher K. Odinet. "The property law of tokens." Fla. L. Rev. 74 (2022): 607.
22. Jean-Louis, Nerla, et al. "Sgxonerated: Finding (and partially fixing) privacy flaws in tee-based smart contract platforms without breaking the tee." Cryptology ePrint Archive (2023).
23. Klabnik, Steve, and Carol Nichols. The Rust programming language. No Starch Press, 2023.
24. Singh, Manpreet. Is blockchain a paradigmatic shift in accounting technology?. Diss. RMIT University, 2023.
25. Singh, Manpreet. Is blockchain a paradigmatic shift in accounting technology?. Diss. RMIT University, 2023.
26. Klabnik, Steve, and Carol Nichols. The Rust programming language. No Starch Press, 2023.
27. Chisnall, David, et al. "Secure Compilation (Dagstuhl Seminar 21481)." Dagstuhl Reports. Vol. 11. No. 10. Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022.
28. Strutynska, I., Dmytrotsa, L., Kozbur, H., Ermolayev, V., Mallet, F., Yakovyna, V., ... & Spivakovsky, A. (2019, June). The Main Barriers and Drivers of the Digital Transformation of Ukraine Business Structures. In ICTERI (pp. 50-64).
29. Marinova, Svetla T., and Marin A. Marinov. "RECONFIGURATION OF BUSINESS MODELS AND ECOSYSTEMS."
30. Craib, Raymond. Adventure capitalism: A history of libertarian exit, from the era of decolonization to the digital age. PM Press, 2022.
31. Wright, Robert E., and Aleksandra Przegalińska. Debating Universal Basic Income: Pros, Cons, and Alternatives. Springer Nature, 2022.
32. Gopu, Arunkumar, Neelanarayanan Venkataraman, and M. Nalini. "Toward the Internet of Things and Its Applications: A Review on Recent Innovations and Challenges." Cognitive Computing for Internet of Medical Things (2022): 1-21.
33. CHIAVAZZO, ELIODORO, et al. "Critical overview and feasibility study of two-phase immersion cooling systems for power electronics." (2022).
34. Acemoglu, Daron, Capital Deepening, and Non-Balanced Economic Growth. "VeronicaGuerrieri." Capital Deepening andNonbalanced Economic Growth Journal ofPolitical Economy 116 (2018).
35. Evans, Ana Nora, Bradford Campbell, and Mary Lou Soffa. "Is Rust used safely by software developers?." Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering. 2020.
36. Borgsmüller, Nico. The Rust programming language for embedded software development. Diss. Technische Hochschule Ingolstadt, 2021.
37. Bae, Yechan, et al. "Rudra: finding memory safety bugs in rust at the ecosystem scale." Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles. 2021.
38. Sharma, Rahul, Vesa Kaihlavirta, and Claus Matzinger. The The Complete Rust Programming Reference Guide: Design, develop, and deploy effective software systems using the advanced constructs of Rust. Packt Publishing Ltd, 2019.
39. Qin, Boqin, et al. "Understanding memory and thread safety practices and issues in real-world Rust programs." Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. 2020.
40. Rivera, Elijah, et al. "Keeping safe rust safe with galeed." Annual Computer Security Applications Conference. 2021.
41. Bugden, William, and Ayman Alahmar. "The Safety and Performance of Prominent Programming Languages." International Journal of Software Engineering and Knowledge Engineering 32.05 (2022): 713-744.
42. Ardito, Luca, et al. "rust-code-analysis: A Rust library to analyze and extract maintainability information from source codes." SoftwareX 12 (2020): 100635.
43. Tillemann, Tomicah, et al. "The blueprint for blockchain and social innovation." New America (2019).
44. Tapscott, Don, and Alex Tapscott. Blockchain revolution: how the technology behind bitcoin is changing money, business, and the world. Penguin, 2019.
45. Korneychuk, Boris. "The Political Economy of the Blockchain Society." Digital Transformation and Global Society: Third International Conference, DTGS 2018, St. Petersburg, Russia, May 30–June 2, 2018, Revised Selected Papers, Part I 3. Springer International Publishing, 2018.
46. Novotný, Tomáš. Překážky uplatnění blockchainu v obchodním modelu založeném na sdílené ekonomice. Diss. Masaryk University, Faculty of Economics and Administration, 2022.
47. Herian, Robert. "Taking blockchain seriously." Law and Critique 29 (2018): 163-171.
48. O'Dair, Marcus, and Marcus O’Dair. "Blockchain: the internet of value." Distributed Creativity: How Blockchain Technology will Transform the Creative Economy (2019): 15-30.
49. Hart, Cara Confer. Exploring the Experiences of Primary Care Staff Due to the Lack of Interoperability between Electronic Health Records. Diss. Colorado Technical University, 2022.
50. Dwamena, Elizabeth. Smart contracts: the Fourth Industrial Revolution and private international law. University of Johannesburg (South Africa), 2021.
51. Ghodoosi, Farshad. "Contracting in the age of smart contracts." Wash. L. Rev. 96 (2021): 51.
52. Bayern, Shawn. Autonomous organizations. Cambridge University Press, 2021.
53. Fandl, Kevin J. "Can smart contracts enhance firm efficiency in emerging markets?." Nw. J. Int'l L. & Bus. 40 (2019): 333.
54. Reyes, Carla L. "If Rockefeller were a coder." Geo. Wash. L. Rev. 87 (2019): 373.
55. Alonzo, Carolina. "Decentralized autonomous organization: is it the corporate future?." (2022).
56. Rust, Chelsea Lynn. "Implementation of a Clinical Practice Guideline for the Prevention and Management of Adult Obesity." (2019).
57. Chatley, Robert, Alastair Donaldson, and Alan Mycroft. "The next 7000 programming languages." Computing and software science: State of the art and perspectives (2019): 250-282.
58. Kennedy, Fred George William. Impact of nuclear thermal propulsion on the NASA 90-day study's baseline missions for the space exploration initiative. Diss. Massachusetts Institute of Technology, 2020.
59. Angst, Ueli M. "Challenges and opportunities in corrosion of steel in concrete." Materials and Structures 51 (2018): 1-20.
60. Crichton, Will, et al. "Modular information flow through ownership." Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 2022.
61. McColl-Kennedy, Janet R., et al. "Gaining customer experience insights that matter." Journal of service research 22.1 (2019): 8-26.
62. VanHattum, Alexa. Lightweight Formal Methods for Correct, Efficient Systems Programming. Diss. Cornell University, 2023.
63. Obot, I. B., et al. "Progress in the development of sour corrosion inhibitors: Past, present, and future perspectives." Journal of Industrial and Engineering Chemistry 79 (2019): 1-18.
64. Obot, I. B., et al. "Progress in the development of sour corrosion inhibitors: Past, present, and future perspectives." Journal of Industrial and Engineering Chemistry 79 (2019): 1-18.
65. Howell, Bronwyn E., and Petrus H. Potgieter. "Governance of smart contracts in blockchain institutions." Available at SSRN 3423190 (2019).
66. Міщенко, С. М. "Управління персоналом підприємства." (2023).
67. Міщенко, Юлія Павлівна. "Аналіз і оцінка підприємницької діяльності." (2023).
68. Слухай, Олександра Олександрівна. "Діагностика фінансового стану підприємства та шляхи його покращення." (2020).
69. Петрованов, Андрій Сергійович. "Вдосконалення управління грошовими розрахунками сільськогосподарського підприємства." (2021).
70. Кравченко, Олександр Олександрович. "Формування системи стратегічного управління кадровим складом підприємства." (2023).
71. Захарчук, Світлана Павлівна. "Інноваційні напрями стратегічного розвитку підприємства (на прикладі ТОВ «ОСП Корпорація Ватра»)." (2019).
72. Руднєва, Олена Юріївна. "РЕГУЛЮВАННЯ ЕКОЛОГІЧНИХ НАСЛІДКІВ ДІЯЛЬНОСТІ ПРОМИСЛОВОГО ПІДПРИЄМСТВА." (2020).
73. Міщенко, Валерія Олександрівна. "Інноваційне забезпечення надання послуг на ТОВ «Нова пошта»." (2023).
74. Орлатий, Михайло Кузьмович. "25.00. 02–механізми державного управління Дисертація на здобуття наукового ступеня."
75. Аулін, В. В., et al. "Теоретичні і методологічні основи логістики транспортних і виробничих систем." (2021).
Тип вмісту: Master Thesis
Розташовується у зібраннях:124 — системний аналіз

Файли цього матеріалу:
Файл Опис РозмірФормат 
Магістерська робота Хома Семак Козбур 2023.pdf4,3 MBAdobe PDFПереглянути/відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.

Інструменти адміністратора