Методи off-chain обчислень з on-chain верифiкацiєю за вiдсутностi ефективної SNARK-верифiкацiї
Вантажиться...
Дата
2026
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Метою роботи є систематизацiя iснуючих пiдходiв до побудови систем off-chain обчислень з on-chain верифiкацiєю для Bitcoin подiбних мереж. Об’єктом дослiдження є протоколи виконання довiльних обчислень off-chain зi збереженням можливостi їхньої верифiкацiї on-chain. Предметом дослiдження є конкретнi протоколи, архiтектури графiв транзакцiй та методи зменшення вартостi on-chain слiду в протоколах типу BitVM. У роботi розглянуто теоретичну базу (схеми комiтментiв, ZK-SNARK, схеми спотворення, ключовi властивостi мережi Bitcoin) та проведено порiвняльний аналiз трьох поколiнь протоколу BitVM. BitVM1 показав принципову можливiсть довiльних обчислень у Bitcoin без змiни консенсусу. BitVM2 застосував ZK-SNARK верифiкатор, щозволив будькому стати спостерiгачем, та покращив вигляд графу транзакцiй. BitVM3 замiнює виконання верифiкатора на блокчейнi схемою спотворення, зводячи оскарження твердження до простого доведення знання секрету. Розглянуто оптимiзацiї Argo MAC, BABE та Duty-Free Bits, що скорочують розмiр схеми у тисячi разiв.
Опис
Ключові слова
bitcoin, блокчейн, bitvm, zk-snark, схеми спотворення, верифiкацiя, off-chain, on-chain, мiст мiж блокчейнами, blockchain, garbled circuits, verification, cross-chain bridge
Бібліографічний опис
Волинець, С. А. Методи off-chain обчислень з on-chain верифiкацiєю за вiдсутностi ефективної SNARK-верифiкацiї : магістерська дис. : 113 Прикладна математика / Волинець Сергiй Анатолiйович. - Київ, 2026. - 51 с.