Разглеждане на vProgs на Kaspa: Рамката за мащабируеми, проверими приложения

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

Рамката има за цел да поддържа децентрализирани приложения, като същевременно поддържа високите нива на производство на блокове в мрежата. Съобщението, споделено чрез... Публикация X от @DailyKaspa, идва ден преди конференцията Kaspa Experience в Берлин, където разработчици и членове на общността ще обсъдят пътната карта на проекта.

Предистория на архитектурата BlockDAG на Kaspa

Kaspa работи различно от линейните блокчейни, като например Bitcoin or EthereumИзползва blockDAG, който позволява на множество блокове да се свързват паралелно един с друг, намалявайки необходимостта от осиротели блокове по време на добив. Този дизайн е базиран на протокола GHOSTDAG, разработен от Йонатан Сомполински, който разширява консенсуса на Nakamoto, за да се поберат по-високи скорости на блоковете, без да се прави компромис със сигурността.

В момента, Каспа обработва 10 блока в секунда, с планове за увеличаване до 32 блока в секунда и потенциално 100 в дългосрочен план. Потвържденията обикновено се случват в рамките на една до 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, съкращение от проверими програми, въвежда система за изпълнение на сложна логика извън главната верига, като същевременно гарантира, че резултатите могат да бъдат проверени на ниво 1 на Kaspa. Всеки vProg действа като самостоятелна единица, управляваща собствените си правила за състояние и преход, подобно на начина, по който програмите функционират на... Солана но с добавена проверка с нулево знание.

Доказателствата с нулево знание позволяват на доказващия да демонстрира коректността на изчисление, без да разкрива основните данни. В vProgs тези доказателства се подават периодично към Слой 1, потвърждавайки целостта на дейностите извън веригата. Този подход поддържа основната верига лека, фокусирайки се върху валидирането, а не върху изпълнението, което е в съответствие с акцента на Kaspa върху скоростта и ефективността.

В черновата на „Жълтия документ“, версия 0.0.1, vProg-ите се описват като позволяващи създаването на „суверенни, но композируеми“ приложения. Суверенитетът означава, че всеки vProg контролира вътрешните си операции независимо, включително разрешенията за четене и запис. Композируемостта позволява на един vProg да чете данни от друг, улеснявайки взаимодействия като транзакции между приложения, но записите са ограничени до оригиналния vProg, за да се избегнат конфликти.

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

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

Няколко механизма са в основата на функционалността на vProgs, предназначени да обработват зависимости и ефективност във високопроизводителна среда:

Доказателство за шевовеСвързването на доказателства комбинира множество доказателства с нулево знание от взаимосвързани vProgs в един ангажимент, който след това се изпраща към Слой 1. Това поддържа атомарни транзакции в различни приложения, където резултатите се установяват едновременно без междинни забавяния, често срещани в системите, базирани на обобщаване.

Условни партиди за доказателствоУсловните доказателства групират свързани транзакции за колективно доказване, което намалява изчислителните разходи. Например, в DeFi сценарий, включващ множество суапове, групирането намалява броя на необходимите отделни доказателства.

Изчисляване на DAGDAG за изчисления формира граф на зависимостите на приложното ниво, отразявайки структурата на blockDAG на Kaspa. Той проследява потоците от данни между vProgs, като гарантира, че референтната информация остава налична и че редът на изпълнение се поддържа при паралелна обработка. Този график помага за предотвратяване на претоварване чрез подреждане на зависими операции.

Измерване на ресурситеИзмерването на ресурсите въвежда контроли за управление на разходите. Вътрешно, всеки vProg използва свой собствен газов модел от ниво 2 за изчисления. На ниво 1, 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 влияе върху други. Наличността на данни в Computation DAG изисква внимателно проектиране, за да се избегнат рисковете от централизация.

Графиците от дискусиите през август показват, че тестовата мрежа ще бъде внедрена до четвъртото тримесечие на 2025 г., след обратна връзка от общността относно черновата. Пълната интеграция с основната мрежа ще зависи от одит и показатели за производителност, като подобренията в механиката на акаунтите са предвидени за бъдещи редакции.

В сравнение с рол-ъповете на Ethereum, които могат да фрагментират ликвидността между слоевете, или он-чейн изпълнението на Solana, което тества ограниченията на пропускателната способност, vProgs се стреми да интегрира проверими изчисления директно в базов слой за доказателство за работа (proof-of-work). Това запазва децентрализацията, като същевременно използва паралелно производство на блокове.

Заключение

vProgs предоставя на Kaspa инструменти за изпълнение извън веригата, проверени чрез доказателства с нулево знание, включително сглобяване на доказателства за композируемост, Computation DAG за управление на зависимостите и ScopeGas за контрол на ресурсите. 

Тези елементи позволяват на приложенията да работят мащабируемо в мрежа, която потвърждава блокове на всеки няколко секунди, поддържайки случаи на употреба, вариращи от DeFi до уреждане на данни, без да се прави компромис със сигурността на ниво 1.

Източници:

• Статия на Kaspa Daily X за vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• vProgs Жълта хартия Чернова v0.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/