Ознайомлення з vProgs від Kaspa: фреймворк для масштабованих та перевірених застосунків

Каспа опублікував перший варіант його Жовтий папір vProgs 11 вересня 2025 року. У цьому документі детально описано протокол для перевірених програм, або vProgs, які дозволяють виконувати позаланцюгові обчислення, захищені доказами з нульовим розголошенням та прив'язані до Kaspa's. Мережа 1 рівня. 

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

Передумови щодо архітектури BlockDAG від Kaspa

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

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

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

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

Відкрийте для себе перспективні проекти...

Перспективні проекти...

(Реклама)

Стаття продовжується...

Що таке Kaspa vProgs?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Проблеми та терміни впровадження

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

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

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

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

Висновок

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

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

джерела:

• Стаття Kaspa Daily X про vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Чернетка жовтого паперу vProgs версії 0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Тема дослідницького форуму Kaspa про синхронну компонуємість: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Досвід Каспа в Берліні: https://experience.kaspa.events/