Хард-форк Kaspa Toccata: соглашения, опкоды ZK и новая цель на июнь

КаспаПредстоящий хардфорк Toccata добавит в сеть два новых пути программирования: нативное программирование на уровне L1 и инфраструктуру приложений с нулевым разглашением (zk). Активация основной сети теперь запланирована на 5–20 июня 2026 года, что на некоторое время позже первоначальной цели — 5 мая.

Майкл Саттон из компании Kaspa Core опубликовал подробное обновление О том, что включает в себя хардфорк, почему была изменена дата и как, по прогнозам, будут развиваться события в ближайшие несколько месяцев. Первоначально форк был инициирован Ори Ньюманом как попытка внедрить ковенанты в скриптовый движок Kaspa, отчасти в ответ на обсуждение OP_CAT в биткоин-кругах. С тех пор он значительно разросся.

Что такое хардфорк «Токката»?

Toccata — это запланированный хардфорк для сети Kaspa, который внедряет новые возможности непосредственно в базовый уровень. Хардфорк, для тех, кто не знаком с этим термином, — это обновление протокола, которое не является обратно совместимым. Все узлы должны обновиться, чтобы продолжить участие в сети.

Название соответствует традиции Kaspa использовать музыкальные отсылки для обозначения существенных улучшений. В данном случае оно заимствовано из классической музыкальной формы — токкаты, произведения, призванного продемонстрировать техническое мастерство игры на клавишном инструменте.

В целом, Toccata добавляет к Kaspa две вещи:

• Программирование на уровне нативного L1. с помощью нового компилятора под названием Silverscript.
• На основе инфраструктуры приложений ZKпостроенный на тех же самых фундаментах, основанных на завете.

Эти системы не взаимозаменяемы. Они предназначены для разных целей и ориентированы на разные аудитории разработчиков.

Что такое соглашения и почему они важны для Каспы?

Ковенанты — это условия, определяющие, как средства, полученные в результате транзакции, могут быть потрачены в будущем. В стандартной транзакции Bitcoin или Kaspa, после отправки монет, получатель может делать с ними все, что захочет. Ковенанты меняют это, встраивая правила расходования средств непосредственно в скрипт.

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

Чтобы сделать разработку соглашений более доступной, Kaspa Core завершает работу над Silverscript, компилятором, разработанным Ори Ньюманом, Майклом Саттоном, IzioDev и Manyfest. Silverscript призван упростить и сделать более безопасным написание и развертывание сложных соглашений непосредственно на Kaspa L1, без необходимости работы разработчиков на уровне самого скриптового движка.

Что представляют собой приложения на основе ZK?

Второй столп программирования, представленный в Toccata, основан на приложениях zk. Это более сложный с технической точки зрения аспект, и его стоит внимательно изучить.

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

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

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

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

ZK расшифровывается как «нулевое разглашение» (zero-knowledge) — криптографический метод, позволяющий одной стороне доказать истинность чего-либо, не раскрывая исходных данных. Доказательства ZK всё чаще используются в масштабируемых блокчейнах, поскольку они позволяют дешево и безопасно проверять вычисления вне блокчейна непосредственно в нём.

В данном контексте «основанная» означает, что система zk полностью следует последовательности L1. Приложение zk, основанное на этой последовательности, не может добавлять или удалять транзакции независимо. Оно привязано к собственному порядку транзакций Kaspa, что и делает его надежным без отдельного секвенсора.

Для поддержки этого Toccata вводит несколько компонентов:

• Коды операций проверки ZKвключая гибкий верификатор Groth16 и верификатор RISC Zero STARK.
• Код доступа к подтверждению последовательности, что позволяет приложениям на основе L1 привязываться к порядку L1.
• КИП-21, это архитектура с разделенным планированием последовательности, которая гарантирует, что затраты на подтверждение приложения zk масштабируются в зависимости от его собственной активности, а не от общей активности DAG.

Верификатор RISC Zero STARK уже реализован и активирован в тестовой сети 12. Вопрос о его активации в основной сети еще решается.

Почему важны затраты на доказательство

Для практической реализации любого приложения zk стоимость генерации доказательств должна оставаться пропорциональной выполняемой им работе. Если бы приложению zk приходилось доказывать свою работу относительно всей активности в более широком направленном ациклическом графе (DAG), затраты стали бы непредсказуемыми и неуправляемыми. KIP-21 решает эту проблему путем разделения обязательств по последовательности, обеспечивая самодостаточность рабочей нагрузки каждого приложения.

Что уже реализовано?

Значительная часть хардфорка уже реализована. Следующие функции уже разработаны:

• Расширенная поддержка кодов операций в механизме сценариев, являющаяся основой основных соглашений, в рамках KIP-17.
• Идентификаторы ковенантов для управления родословной в качестве функции консенсуса и механизма, в рамках KIP-20.
• Коды операций ZK с подсистемой предварительной компиляции zk-verifier, разработанной в рамках KIP-16 Александром Сафстромом.
• Код доступа к подтверждению последовательности
• KIP-21, автором которого является Саттон, а реализацией занимается Максим Бирюков, полностью внедрен и ожидает проверки.

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

Почему дата хардфорка перенесена на июнь?

Первоначально запуск основной сети был запланирован на 5 мая 2026 года. Впоследствии он был перенесен на период с 5 по 20 июня 2026 года.

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

KIP-21 уже разработан с учетом будущей совместимости со схемой обязательств, которая в конечном итоге потребуется для vprogs — долгосрочной стратегии Kaspa по созданию синхронно компонуемых проверяемых программ. Фиксация правильной структуры до активации основной сети позволяет избежать дорогостоящих миграций в дальнейшем.

Ожидается, что заморозка функционала произойдет 15 апреля 2026 года.

Что происходит в период между заморозкой функционала и запуском основной сети?

После заморозки функционала 15 апреля Kaspa Core планирует чистый перезапуск выделенной тестовой сети TN12 с полным набором финальных функций. Это не имитация перехода к хардфорку. Это чистая сеть для тестирования полного набора функций в его окончательной форме.

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

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

Чего следует ожидать операторам узлов

Для майнеров и операторов узлов обновление разработано таким образом, чтобы быть простым. Узлы необходимо обновить, и существующий функционал должен продолжать работать. Ожидается, что требования к дисковому пространству увеличатся примерно на 20–50 процентов. Никаких существенных изменений в инфраструктуре не планируется.

Что на самом деле даёт токката Каспе

Toccata добавляет к базовому слою Kaspa две работающие системы программирования: нативное скриптирование на уровне L1 с использованием Silverscript и инфраструктуру приложений на базе zk с использованием KIP-16, KIP-20 и KIP-21. Большая часть технической работы уже выполнена. Осталось завершить разработку интерфейсов, объединить ожидающую ветку с основной веткой и провести полномасштабное тестирование на TN10 до подтверждения даты запуска основной сети.

Период с 5 по 20 июня 2026 года существует потому, что команда решила с самого начала правильно настроить архитектуру подтверждения секвенирования, а не исправлять ее позже в рабочих условиях. Для операторов узлов обновление разработано таким образом, чтобы быть простым и не требовать существенных изменений инфраструктуры, за исключением небольшого увеличения дискового пространства.

Ресурсы

1. Каспа на X: Сообщение (апрель 2026 г.)

2. Статья в блоге Майкла Саттона: Прогноз хард-форка Kaspa Covenants++ «Toccata»