Методи i моделi побудови систем для off-chain обчислень з on-chain верификацiєю
Вантажиться...
Дата
2026
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Дана стаття присвячена розгляду методів та моделей побудови систем off-chain обчислень з on-chain верифікацією. Основну увагу приділено мережі Біткоін, яка, на відміну від інших блокчейнів, має обмежену мову скриптів. Основним об'єктом дослідження є протоколи типу BitVM, які і дозволяють виконувати довільні обчислення. Проаналізовано еволюцію даного протоколу на прикладі основної лінії протоколів BitVM, та певні покращення від зацікавлених компаній. Це, наприклад Alpen Labs, GoatNetwork, Babylon Labs, Citrea, тощо.
Опис
Ключові слова
Блокчейн, Біткоін, BitVM, доведення з нульовим розголошенням, ZK-SNARK, схеми спотворення, розподілені системи
Бібліографічний опис
Волинець, С. А. Методи i моделi побудови систем для off-chain обчислень з on-chain верификацiєю / С. А. Волинець // Теоретичні і прикладні проблеми фізики, математики та інформатики : матеріали XXIV Всеукраїнської науково-практичної конференції студентів, аспірантів та молодих вчених, [Київ], 13–16 травня 2026 р. / КПІ ім. Ігоря Сікорського. – Київ, 2026. – С. 395-400.