Изучение vProgs от Kaspa: фреймворк для масштабируемых, проверяемых приложений

Каспа выпустил первый черновик своего vProgs Желтая бумага 11 сентября 2025 года. В этом документе подробно описан протокол для проверяемых программ, или vProgs, которые позволяют проводить вычисления вне сети, защищенные доказательствами с нулевым разглашением и привязанные к Kaspa Сеть уровня 1. 

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

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

Kaspa работает иначе, чем линейные блокчейны, такие как Bitcoin or Эфириум. Он использует алгоритм blockDAG, который позволяет нескольким блокам ссылаться друг на друга параллельно, что снижает необходимость в создании блоков-сирот во время майнинга. Эта архитектура основана на протоколе GHOSTDAG, разработанном Йонатаном Сомполински, который расширяет консенсус Накамото для обеспечения более высокой скорости блоков без ущерба для безопасности.

В настоящее время Каспа обрабатывает 10 блоков в секунду, и планируется увеличить эту скорость до 32 блоков в секунду, а в перспективе — до 100. Подтверждения обычно происходят в течение 10–10,000 секунд, при этом основным ограничением является задержка сети, а не обработка в блокчейне. Это приводит к теоретической пропускной способности более 3 7 транзакций в секунду, что значительно превышает 15–30 транзакций в секунду у Биткойна или 1–XNUMX транзакций в секунду у Эфириума на уровне XNUMX до внедрения шардинга.

Сеть основана на консенсусе Proof-of-Work, где майнеры решают вычислительные задачи для добавления блоков. Комиссии за транзакции и вознаграждения за блоки выплачиваются в токены КАС, собственная криптовалюта сети Kaspa. Kaspa была запущена в 2021 году с моделью справедливого распределения, избегая венчурного финансирования, что способствовало её развитию, основанному на участии сообщества. 

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

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

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

(Рекламное объявление)

Продолжение статьи...

Что такое Kaspa vProgs?

vProgs (сокращение от проверяемых программ) представляет собой систему для выполнения сложной логики вне основной цепи, гарантируя при этом возможность проверки результатов на уровне 1 Kaspa. Каждый vProg действует как самостоятельная единица, управляя собственным состоянием и правилами перехода, подобно тому, как программы функционируют на Solana но с дополнительной проверкой с нулевым разглашением.

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

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

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

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

В основе функциональности vProgs лежит несколько механизмов, предназначенных для обработки зависимостей и повышения эффективности в высокопроизводительной среде:

Пробная строчка: Сшивание доказательств объединяет несколько доказательств с нулевым разглашением из взаимосвязанных vProg в единое обязательство, которое затем отправляется на уровень 1. Это поддерживает атомарные транзакции между приложениями, где результаты устанавливаются одновременно без промежуточных задержек, обычных для систем на основе накопления.

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

Вычисление DAG: Computation DAG формирует граф зависимостей на уровне приложения, отражающий структуру blockDAG Kaspa. Он отслеживает потоки данных между vProg, обеспечивая доступность ссылочной информации и сохранение порядка выполнения при параллельной обработке. Этот граф помогает предотвратить перегрузку, упорядочивая зависимые операции.

Измерение ресурсов: Учёт ресурсов позволяет контролировать расходы. Внутри каждого 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 Yellow Paper Draft 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
• Опыт Kaspa в Берлине: https://experience.kaspa.events/