Дослідження vProgs Kaspa: Рамкова структура для масштабованих, перевіряємих додатків

Kaspa випустила перший проект свого жовтого документа vProgs 11 вересня 2025 року. Цей документ містить деталі протоколу для верифікованих програм, або vProgs, які дозволяють поза блокчейном обчислення, захищені нульовими доказами, та прив'язані до мережі першого рівня Kaspa.

Фреймворк має на меті підтримувати децентралізовані додатки, зберігаючи при цьому високі темпи виробництва блоків мережі. Оголошення, опубліковане в пості X від @DailyKaspa, з'явилося за день до конференції Kaspa Experience у Берліні, де розробники та члени спільноти обговорять дорожню карту проєкту.

Фон архітектури BlockDAG Kaspa

Kaspa працює інакше, ніж лінійні блокчейни, такі як Bitcoin або Ethereum. Він використовує blockDAG, що дозволяє кільком блокам посилатися один на одного паралельно, зменшуючи потребу в сирітських блоках під час майнінгу. Цей дизайн базується на протоколі GHOSTDAG, розробленому Йонатаном Сомполінським, який розширює консенсус Накамото для забезпечення вищих швидкостей блоків без шкоди для безпеки.

На даний момент Kaspa обробляє 10 блоків за секунду, з планами збільшити цю цифру до 32 блоків за секунду і потенційно до 100 у довгостроковій перспективі. Підтвердження зазвичай відбуваються протягом від 1 до 10 секунд, при цьому основним обмеженням є затримка мережі, а не обробка поза блокчейном. Це призводить до теоретичної пропускної спроможності понад 10 000 транзакцій за секунду, що значно перевищує 3-7 транзакцій за секунду Bitcoin або 15-30 транзакцій за секунду Ethereum на Layer 1 до реалізації шардінгу.

Мережа покладається на консенсус proof-of-work, де майнери вирішують обчислювальні головоломки для додавання блоків. Комісії за транзакції та винагороди за блоки виплачуються токенами KAS, рідною криптовалютою мережі Kaspa. Kaspa була запущена в 2021 році з моделлю справедливого розподілу, уникаючи венчурного капіталу, що сприяло її розвитку, орієнтованому на спільноту.

Kaspa в основному слугує базовим рівнем для платежів та врегулювання даних, включаючи стандарти, такі як KRC-20 для фунгібельних токенів. До пропозиції vProgs у ньому не було рідної підтримки смарт-контрактів, і він покладався на простіше скриптування для базових операцій.

Що таке Kaspa vProgs?

vProgs, скорочення від верифікованих програм, впроваджує систему виконання складної логіки поза блокчейном, забезпечуючи при цьому можливість перевірки результатів на Layer 1 Kaspa. Кожен vProg діє як самостійна одиниця, керуючи своїм власним станом і правилами переходу, подібно до того, як програми функціонують на Solana, але з доданою верифікацією за допомогою нульових знань.

Докази з нульовим знанням дозволяють довести правильність обчислення без розкриття підлягаючих даних. У vProgs ці докази періодично подаються до Layer 1, підтверджуючи цілісність поза блокчейном діяльності. Цей підхід зберігає основний ланцюг легким, зосереджуючи увагу на валідації, а не на виконанні, що відповідає акценту Kaspa на швидкості та ефективності.

Чернетка Жовтого документа, версія 0.0.1, описує vProgs як такі, що дозволяють "суверенні, але композовані" додатки. Суверенітет означає, що кожен vProg контролює свої внутрішні операції незалежно, включаючи дозволи на читання та запис. Композованість дозволяє одному vProg читати дані з іншого, що полегшує взаємодію, таку як транзакції між додатками, але записи обмежені вихідним vProg, щоб уникнути конфліктів.

Розробка vProgs датується серпневим обговоренням 2025 року на дослідницькому форумі Kaspa, де учасники обговорювали виклики в синхронній композиторності, включаючи затримку доказів і обмін ресурсами. Проект включає відгуки з цих сесій, хоча багато елементів залишаються в процесі вдосконалення, включаючи процеси створення облікових записів і механізми очищення даних.

Основні технічні характеристики vProgs

Кілька механізмів лежать в основі функціональності vProgs, розроблених для управління залежностями та ефективністю в середовищі з високою пропускною здатністю:

Proof Stitching: Proof stitching об'єднує кілька нульових доказів з взаємопов'язаних vProgs в одне зобов'язання, яке потім подається на Layer 1. Це підтримує атомарні транзакції між додатками, де результати вирішуються одночасно без проміжних затримок, характерних для систем на основі rollup.

Умовні пакети доказів: Умовні пакети доказів об'єднують пов'язані транзакції для колективного доведення, що знижує обчислювальні витрати. Наприклад, у сценарії DeFi, що передбачає кілька обмінів, пакетування зменшує кількість окремих доказів, які потрібні.

Обчислювальний DAG: Обчислювальний DAG формує граф залежностей на рівні додатків, відображаючи структуру blockDAG Kaspa. Він відстежує потоки даних між vProgs, забезпечуючи доступність посиланої інформації та підтримуючи порядок виконання під час паралельної обробки. Цей граф допомагає запобігти перевантаженню шляхом послідовності залежних операцій.

Облік ресурсів: Облік ресурсів запроваджує контролі для управління витратами. Внутрішньо кожен vProg використовує свою власну модель газу другого рівня для обчислень. На першому рівні ScopeGas обліковує взаємодії між vProg, стягуючи плату на основі залежностей даних, щоб запобігти спаму або надмірному використанню ресурсів, наприклад, коли один додаток затоплює вхідні вимоги іншого.

Економічна модель: Економічна модель для vProgs базується на бездозвольних провайдерах—вузлах, які генерують та подають докази—які отримують винагороду від користувачів. Живість, або гарантія своєчасних доказів, функціонує через два режими: оптимістичний, де провайдери співпрацюють, або суверенний, де застосунки працюють незалежно. Ця структура стимулює участь без покладання на централізованих координаторів.

Особливості конфіденційності: Особливості конфіденційності природно виникають з доказів нульового знання, що дозволяє зашифровані стани в таких застосунках, як конфіденційні транзакції або оракули. Ця структура підтримує широкий спектр випадків використання, від мікроплатежів до розрахунків корпоративних даних, закріплюючи перевірені результати за швидким часом підтвердження Kaspa.

Конференція Kaspa Experience у Берліні

Оголошення vProgs узгоджується з Kaspa Experience, конференцією для спільноти, запланованою на 13 вересня 2025 року в Atelier Gardens у Берліні. Ця одноденна подія обмежена 500 квитками за ціною $150 плюс $50 за вечірку після заходу, оплата проводиться токенами KAS, що позначає раннє використання криптовалюти в реальному житті для організації заходів, включаючи їжу, напої та товар.

В агенді представлені ключові доповіді від основних розробників, включаючи Сомполінського про досягнення в GHOSTDAG, панелі з інтеграції смарт-контрактів та майстер-класи, зосереджені на практичних впровадженнях. Хакатон заохочуватиме прототипування, поряд з виставкою мистецтв Kaspa, що демонструє креативне використання мережі. Хоча на розкладі немає спеціалізованої сесії vProgs, прес-релізи заходу підкреслюють програмований рівень Kaspa як основу для DeFi та платіжних систем, що свідчить про неформальні обговорення нової структури.

Учасники, до яких входять майнери, торговці та розробники, будуть спілкуватися в обстановці, що підкреслює децентралізовану ідеологію Kaspa. Конференція є першим великим особистим зібранням проєкту, яке базується на онлайн-форумах та каналах Telegram для співпраці.

Виклики та графік впровадження

Впровадження vProgs пов'язане з труднощами, характерними для систем нульового знання. Генерація доказів залишається обчислювально інтенсивною, що потенційно може призвести до затримок, незважаючи на високу швидкість блоків Kaspa. Розробникам потрібно вирішити питання сумісності віртуальних машин, щоб полегшити перенесення з таких середовищ, як Віртуальна машина Ethereum.

Учасники форуму змоделювали моделі спільного використання газу для пом'якшення екстерналій, де діяльність одного vProg впливає на інших. Доступність даних у DAG обчислень вимагає ретельного дизайну, щоб уникнути ризиків централізації.

Таймлайни з обговорень серпня вказували на запуск тестової мережі до четвертого кварталу 2025 року, після отримання відгуків від громади щодо проєкту. Повна інтеграція основної мережі залежатиме від аудиту та показників продуктивності, при цьому механізми скорочення та облікових записів заплановані для майбутніх доопрацювань.

У порівнянні з ролапами Ethereum, які можуть фрагментувати ліквідність між шарами, або виконанням Solana на ланцюзі, яке перевіряє межі пропускної спроможності, vProgs намагається інтегрувати перевірну обчислювальну потужність безпосередньо в базовий шар proof-of-work. Це зберігає децентралізацію, використовуючи паралельне виробництво блоків.

Висновок

vProgs забезпечує Kaspa інструментами для поза блокчейном виконання, що перевіряються нульовими доказами, включаючи зшивання доказів для композиторності, DAG обчислень для управління залежностями та ScopeGas для контролю ресурсів.

Ці елементи дозволяють застосункам працювати масштабовано в мережі, яка підтверджує блоки кожні кілька секунд, підтримуючи випадки використання від DeFi до розрахунків даних, не порушуючи безпеки рівня 1.

Джерела:

• Щоденна стаття Kaspa X про vProgs:
• vProgs Жовта книга Чернетка v0.0.1:
• Тема форуму досліджень Kaspa про синхронну комбінованість:
• Досвід Kaspa в Берліні: