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

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

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

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

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

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

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

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

Что такое Kaspa vProgs?

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

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

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

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

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

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

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

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

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

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

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

Функции конфиденциальности: Функции конфиденциальности естественным образом возникают из нулевых доказательств знаний, позволяя создавать зашифрованные состояния в таких приложениях, как конфиденциальные транзакции или оракулы. Этот фреймворк поддерживает различные случаи использования, от микроплатежей до расчета корпоративных данных, привязывая проверяемые результаты к быстрым временам подтверждения Kaspa.

Конференция Kaspa Experience в Берлине

Объявление о vProgs соответствует Kaspa Experience, конференции сообщества, запланированной на 13 сентября 2025 года в Atelier Gardens в Берлине. Это однодневное мероприятие ограничено 500 билетами по цене 150 долларов плюс 50 долларов за послеparty, оплата производится токенами KAS, что является ранним применением криптовалюты в реальном мире для логистики мероприятий, включая еду, напитки и товары.

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

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

Вызовы и сроки реализации

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

Участники форума смоделировали модели совместного использования газа, чтобы смягчить внешние эффекты, где деятельность одного vProg влияет на других. Доступность данных в Computation DAG требует тщательной разработки, чтобы избежать рисков централизации.

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

По сравнению с роллапами Ethereum, которые могут фрагментировать ликвидность между слоями, или с выполнением на цепочке Solana, которое испытывает пределы пропускной способности, vProgs стремится интегрировать проверяемые вычисления непосредственно в базовый уровень proof-of-work. Это сохраняет децентрализацию, используя параллельное производство блоков.

Заключение

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

Эти элементы позволяют приложениям функционировать масштабируемо в сети, которая подтверждает блоки каждые несколько секунд, поддерживая сценарии использования от DeFi до урегулирования данных, не compromising безопасность Layer 1.

Источники:

• Статья Kaspa Daily X о vProgs:
• Черновик Желтой книги vProgs v0.0.1:
• Тематическая ветка форума Kaspa Research по синхронной композируемости:
• Опыт Kaspa в Берлине: