РОЗРОБКА ТА АУДИТ СМАРТ-КОНТРАКТІВ ОСВІТНЬОЇ ПЛАТФОРМИ

Abstract

Онлайн освітні платформи почали з'являтися досить давно, але вони практично не розглядалися як варіант повної заміни традиційного офлайн- навчання у школах та університетах. Однак пандемія Covid-19 повністю змінила цю ситуацію. Студенти почали вчитися віддалено та виникла потреба в інструментах, які могли б підтримати цей процес. Однією з головних переваг освітніх онлайн-платформ є те, що вони дозволяють студентам здобувати якісну освіту незалежно від географічного положення та фізичного доступу до навчальних закладів. Тому не лише школярі чи студенти, а й працюючі люди, які бажають освоїти нову спеціальність чи підвищити свою кваліфікацію, можуть навчатися у зручний для них час. Перехід до онлайн освіти, зростання освітніх платформ та збільшення обсягу освітніх даних створюють серйозні проблеми, такі як безпека даних, автентифікація та управління фінансами. Блокчейн може стати потужним інструментом підвищення надійності та безпеки платформ онлайн-навчання. Він забезпечує незмінність даних, захищає їх від кібератак, забезпечує прозорість та безпеку для всіх учасників системи. Це може допомогти зміцнити довіру до онлайн-освіти та зробити її більш доступною та надійною для всіх. І одним із важливих компонентів блокчейну є смарт-контракти. Смарт-контракти відкривають нові освітні можливості, перетворюючи традиційні системи навчання на безпечне та прозоре середовище. Однак із зростанням використання смарт-контрактів у додатках бізнес-процесів виникає необхідність перевірки безпеки. Смарт- контракти ґрунтуються на програмному коді, тому можуть містити помилки, що призводять до некоректного виконання контракту. Оскільки сфера використання смарт-контрактів часто пов'язана із фінансами, ціна таких помилок може бути досить високою. Актуальність дослідження полягає у необхідності створення надійних та безпечних смарт-контрактів для підтримки освітнього процесу, реєстрації студентів, визначення їх успішності, розподілу фінансових ресурсів та багатьох інших аспектів освіти. Частиною мети цього проекту є перевірка розроблених смарт-контрактів на наявність вразливостей, коректність виконання та відповідність специфікаціям.