НАУКОВІ РОБОТИ ЗДОБУВАЧІВ ВИЩОЇ ОСВІТИ
Permanent URI for this communityhttps://ekhsuir.kspu.edu/handle/123456789/10243
Browse
2 results
Search Results
Item РОЗРОБКА ТА АУДИТ СМАРТ-КОНТРАКТІВ ОСВІТНЬОЇ ПЛАТФОРМИ(2023) Коннова, О. В.Онлайн освітні платформи почали з'являтися досить давно, але вони практично не розглядалися як варіант повної заміни традиційного офлайн- навчання у школах та університетах. Однак пандемія Covid-19 повністю змінила цю ситуацію. Студенти почали вчитися віддалено та виникла потреба в інструментах, які могли б підтримати цей процес. Однією з головних переваг освітніх онлайн-платформ є те, що вони дозволяють студентам здобувати якісну освіту незалежно від географічного положення та фізичного доступу до навчальних закладів. Тому не лише школярі чи студенти, а й працюючі люди, які бажають освоїти нову спеціальність чи підвищити свою кваліфікацію, можуть навчатися у зручний для них час. Перехід до онлайн освіти, зростання освітніх платформ та збільшення обсягу освітніх даних створюють серйозні проблеми, такі як безпека даних, автентифікація та управління фінансами. Блокчейн може стати потужним інструментом підвищення надійності та безпеки платформ онлайн-навчання. Він забезпечує незмінність даних, захищає їх від кібератак, забезпечує прозорість та безпеку для всіх учасників системи. Це може допомогти зміцнити довіру до онлайн-освіти та зробити її більш доступною та надійною для всіх. І одним із важливих компонентів блокчейну є смарт-контракти. Смарт-контракти відкривають нові освітні можливості, перетворюючи традиційні системи навчання на безпечне та прозоре середовище. Однак із зростанням використання смарт-контрактів у додатках бізнес-процесів виникає необхідність перевірки безпеки. Смарт- контракти ґрунтуються на програмному коді, тому можуть містити помилки, що призводять до некоректного виконання контракту. Оскільки сфера використання смарт-контрактів часто пов'язана із фінансами, ціна таких помилок може бути досить високою. Актуальність дослідження полягає у необхідності створення надійних та безпечних смарт-контрактів для підтримки освітнього процесу, реєстрації студентів, визначення їх успішності, розподілу фінансових ресурсів та багатьох інших аспектів освіти. Частиною мети цього проекту є перевірка розроблених смарт-контрактів на наявність вразливостей, коректність виконання та відповідність специфікаціям.Item ВИКОРИСТАННЯ МЕТОДІВ АЛГЕБРАЇЧНОГО ПРОГРАМУВАННЯ ДЛЯ АНАЛІЗУ МОДЕЛЕЙ ТОКЕНIЗАЦЇ ОСВIТИ(2022) Коннова, О. В.Використання блокчейну в освіті все ще знаходиться в зародковому стані, і лише невелика кількість установ впроваджують цю технологію. Але блокчейн в освітніх закладах відкриває величезні можливості для ефективного використання та може допомогти у вирішенні багатьох проблем. Саме технологія блокчейн дозволяє ефективно реалізувати нову освітню парадигму шляхом створення активів чи токенів, які стануть основою нової системи стимулів для студентів та викладачів. Токенізація у сфері освіти — це революційна альтернатива традиційним неефективним підходам до навчання. Але для того, щоб модель токеноміки була ефективною важливо вміти правильно аналізувати, перевіряти та тестувати її за допомогою спеціальних інструментів. Це дасть змогу перевірити життєздатність моделі, знайти вразливості, які можуть представляти небезпеку для системи та її користувачів у майбутньому. У даній роботі ми дослідити використання методів алгебраїчного програмування для аналізу та верифікації моделей токенізації освіти. Зробили формалізацію моделі та дослідити її основні властивості. Основною метою формалізації є пошук помилок моделювання, недоліків або можливих протиріч; пошук ефективних сценаріїв роботи системи. / The use of blockchain in education is still in its infancy, and only a small number of institutions are implementing this technology. But the blockchain in educational institutions offers great opportunities for effective use and can help solve a lot of problems. It is blockchain technology that allows users to effectively implement a new educational paradigm by creating assets or tokens that will form the basis of a new system of rewarding students and teachers. Tokenization in education is a revolutionary alternative to traditional ineffective approaches to learning. But in order for the tokenomics model to be effective, it is important to be able to properly analyze, verify and test it with special tools. This will allow to test the viability of the model, to find vulnerabilities that could pose a threat to the system and its users in the future. In this paper, we investigate the use of algebraic programming methods for the analysis and verification of models of education tokenization. We formalized the model and investigated its basic properties. The main purpose of formalization is to search for modeling errors, shortcomings or possible contradictions; search for effective system scenarios.