Предстоящий хардфорк Kaspa, ориентированный на использование ковенантов: что нам известно.

Что представляет собой хардфорк Kaspa, ориентированный на ковенанты?

По оценкам  Тема Тераха, Каспа готовится хардфорк, ориентированный на соблюдение соглашений, запланированный на активация основной сети 5 мая 2026 года. Обновление расширяет возможности системы. Слой 1 (L1) Программируемость достигается за счет внедрения собственных ресурсов и расширенной функциональности соглашений. Это также закладывает основу для Проверяемые программы (vProgs) и интеграции с нулевым разглашением (ZK).

Kaspa работает как блокчейн с алгоритмом Proof-of-Work, использующий архитектуру blockDAG. Обновление крещендо В мае 2025 года пропускная способность была увеличена до 10 блоков в секунду (BPS). Таким образом, предстоящий хардфорк основывается на этом фундаменте, не меняя требований к узлам или основных принципов консенсуса.

Основные разработчики описывают этот релиз как поэтапное обновление. Он сосредоточен на обеспечении возможности выпуска собственных токенов, программируемых правил расходования средств и проверки ZK на уровне L1. 

Каковы сроки хардфорка 5 мая 2026 года?

Согласно сообщению Тераха, активации основной сети предшествует несколько важных этапов:

• Сброс тестовой сети 12 (TN12): Планируется на начало февраля 2026 года для поддержки тестирования соглашений и активов коренных народов.
   
• KIP подтверждения секвенсора: Ожидается примерно 12 февраля 2026 года. Это предложение вводит обязательства майнеров по распределению полезной нагрузки для усиления децентрализации в режиме реального времени.
   
• Релиз SilverScript: Высокоуровневый язык программирования для написания программ на Kaspa. Разработан Ори Ньюманом и другими участниками проекта, упрощает разработку в рамках ковенанта.
   
• Хардфорк основной сети: Может 5, 2026.

Обновления после хардфорка включают DAGKnight, ориентированный на адаптивный консенсус и пропускную способность выше 100 бит/с, а также полное развертывание vProgs.

Как работают права коренных жителей и соглашения на острове Каспа?

Нативные ресурсы на уровне 1

В результате хардфорка были добавлены собственные ресурсы, включая поддержку... Токены KRC20Эти активы находятся непосредственно на уровне L1 и могут передаваться атомарно.

Атомные переносы применяются к:

• Обычные встроенные соглашения
• Исполнение соглашений ZK и не-ZK
• Переводы токенов KRC20

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

Расширенные соглашения (Соглашения++)

Система соглашений Kaspa вдохновлена ​​исследованиями Bitcoin, посвященными программируемым условиям расходования UTXO. Covenants++ расширяет эту систему, позволяя создавать более выразительные правила транзакций.

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

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

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

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

Варианты использования включают в себя:

• Системы безопасности, аналогичные тем, что используются в хранилищах.
• механизмы депонирования
• Условные переводы
• Структурированная логика токенов

Система использует модель UTXO, а не полноценные смарт-контракты на основе учетных записей.

Что такое вычислительный направленный ациклический граф (CDAG)?

В результате хардфорка появилась вычислительная модель направленного ациклического графа (CDAG).). CDAG записывает все объявления о чтении и записи, сделанные программами.

Эта структура:

• Отслеживает использование ресурсов
• Регулирует зависимости между программами.
• Обеспечивает выполнение обязательств по поставкам газа.

Данная архитектура сопоставима с моделями исполнения в таких блокчейнах, как Solana и Sui, но реализована в полном объеме в среде blockDAG от Kaspa.

CDAG играет центральную роль в обеспечении суверенитета vProgs.

Что такое vProgs и чем они отличаются от смарт-контрактов?

vProgs — это суверенные программы, которые выполняются вне логического уровня L1, а результаты утверждаются в логическом уровне L1 посредством доказательств.

Ключевые свойства:

• Суверенная казнь: Каждый vProg определяет свои собственные правила пропускной способности и зависимостей.
• Управление зависимостями на основе газа: vProg не может считывать состояние другого vProg, если не оплатит газ за потребление ресурсов.
• Неатомные переносы: Виртуальные программы не являются прозрачными для уровня L1 так же, как собственные ресурсы. Передача данных происходит асинхронно и неатомарно.
• Завершённое требование KAS: Любой невстроенный протокол должен использовать обернутый KAS через канонический мост. Нативный L1 KAS использовать напрямую нельзя.

Данная конструкция отделяет вычисления и состояние от уровня L1, сохраняя при этом общую последовательность и распределение.

Кому следует создавать видеопрограммы?

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

Однако vProgs могут быть интересны следующим категориям пользователей:

• Архитекторы апчейнов
• Команды оценивают системы, использующие метод агрегирования данных.
• Проекты по созданию агентов искусственного интеллекта с большим объемом данных в блокчейне.
• Системные проектировщики сравнивают контракты L1, агрегированные контракты L2 и гибридные модели.

vProgs объединяют унифицированное секвенирование L1 с внешним состоянием и вычислениями.

Какова роль концепции нулевого знания (ZK)?

В хардфорке реализована верификация ZK на уровне L1, расширяющая более ранние предложения, такие как... КИП-16.

Поддерживаемые возможности включают:

• Проверка подлинности Groth16
• Не требующие доверия мосты к системам уровня L2
• Потенциальные приложения, ориентированные на защиту конфиденциальности.

Предполагается, что на начальном этапе приложения будут работать в режиме реального времени, при этом кошельки будут генерировать доказательства напрямую. Даже реализации ZK на основе ковенантов, разработанные такими участниками, как Ханс и Максим, предположительно будут работать на стандартном оборудовании. Для ранних этапов развертывания не требуется специализированная инфраструктура для проверки.

Стандартный ноутбук способен генерировать доказательства при текущих предположениях.

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

Как Sparkle связан с vProgs?

Sparkle — это архитектура, предложенная Антоном для объединения вычислительных DAG и доказательств ZK. Хотя и Sparkle, и vProgs используют компоненты CDAG и ZK, они решают разные проектные задачи.

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

Повлияет ли хардфорк на безопасность, MEV или требования к узлам?

• Бюджет на обеспечение безопасности: В краткосрочной перспективе прямого влияния не ожидается. Улучшения зависят от реального внедрения продукта, а не от изменений в инфраструктуре.
   
• Требования к узлу: Без изменений.
   
• Аукционы MEV Kickback: Учитывая текущий этап развития экосистемы, это считается преждевременным.
   
• Добыча STARK в PoW: В обсуждениях упоминается историческое поведение ранней версии Ethereum, где адреса с ведущими нулями снижали стоимость газа, что, в свою очередь, привело к появлению рынков, основанных на алгоритме Proof-of-Work. Упоминание носило контекстный характер, а не отражало текущую ситуацию.

Что добавляет SilverScript?

SilverScript — это язык высокого уровня, разработанный для программ Kaspa. Его цель — упростить разработку кодов и программ.

В число целей проектирования входят:

• Читабельный синтаксис
• Доступность для начинающих разработчиков
• Совместимость с автоматизированными инструментами

Ожидается, что SilverScript снизит барьер для написания приложений, основанных на соглашениях с поставщиками (covenant), после того, как станут доступны собственные ресурсы.

Заключение

Хардфорк Kaspa, ориентированный на соглашения, расширяет функциональность первого уровня за счет собственных ресурсов, расширенных соглашений и проверки ZK. Он вводит CDAG для структурированного отслеживания зависимостей и закладывает основу для суверенных виртуальных программ. Обновление сохраняет существующие требования к узлам и консенсус доказательства работы, одновременно обеспечивая программируемую эмиссию токенов и атомарные переводы.

Запуск 5 мая 2026 года знаменует собой технический шаг в дорожной карте Kaspa. Он добавляет структурированную программируемость на уровне протокола и подготавливает сеть к дальнейшим обновлениям, включая DAGKnight и полное развертывание vProgs.

источники:

• Хард-форк Kaspa, ориентированный на соглашенияОбратный отсчет на Kas.live
• Тема Тераха XПредстоящие этапы и хардфорк, ориентированный на Ковенант
• Исследования Каспа: Формальная базовая модель для вычислительного DAG vProg