Что такое Silverscript? Первый высокоуровневый язык и компилятор смарт-контрактов от Kaspa.

Серебряный сценарий — это высокоуровневый язык смарт-контрактов и компилятор, созданный для... Блокчейн КаспыАнонсированная 10 февраля 2026 года разработчиком Ори Ньюманом, эта разработка представляет программируемые функции непосредственно в Kaspa. Слой 1 (L1)) без использования внешних виртуальных машин или моделей общего глобального состояния, таких как EVM от Ethereum.

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

Какую проблему решает Silverscript в Kaspa?

Kaspa — это криптовалюта, использующая алгоритм Proof-of-Work (PoW), построенная на основе... BlockDAG (направленный ациклический граф) структура. В отличие от линейных блокчейнов, Kaspa обрабатывает блоки параллельно. В настоящее время сеть нацелена на обработку 10 блоков в секунду, и планируется дальнейшее улучшение, например, в будущем. DAGKnight Цель – достичь скорости более 100 блоков в секунду.

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

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

Как работает Silverscript?

Silverscript вдохновлён CashScript, языком смарт-контрактов, используемым в Bitcoin Cash. Однако он расширяет возможности CashScript, добавляя инструменты структурированного программирования, необходимые для более сложных примитивов DeFi.

Он компилирует высокоуровневый код в низкоуровневые операции Kaspa, включая:

• КИП-10 (коды интроспекции)
• КИП-16 (Операции проверки с нулевым разглашением)
• КИП-17 (байтовые примитивы)

Он предназначен для интеграции с предстоящие обновления сети запланировано на 5 мая 2026 года и включает в себя:

• Covenants++ (расширенные ограничения на расходы)
• Нативные активы в рамках KIP-20 (отслеживание происхождения и происхождения токенов)
• Поддержка проверки с нулевым разглашением (ZK).

Silverscript выступает в качестве уровня разработки для этих функций протокола.

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

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

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

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

Какие новые функции Silverscript добавляет в Kaspa?

Silverscript представляет элементы структурированного программирования, которые ранее были недоступны в Kaspa Script.

Петли

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

Массивы

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

Вызовы функций

Позволяет использовать многократно применяемые функции с параметрами и возвращаемыми значениями.
Повышает ясность кода и снижает количество ошибок при реализации.

Требуемые заявления

Предоставляет встроенные утверждения.
Контракты могут устанавливать ограничения, такие как лимиты размера массива или проверки значений, на этапе компиляции или выполнения.

Проектирование, ориентированное на UTXO

Работает с локальным состоянием UTXO, а не с общим глобальным состоянием.
Эта модель обеспечивает явную проверку подлинности и позволяет избежать проблем с повторным входом.

Как выглядит код Silverscript?

Silverscript использует упрощенный синтаксис, похожий на C. Следующий пример демонстрирует массивы, циклы и операторы `require`:

В этом примере определена функция, которая суммирует элементы целочисленного массива. Она проверяет длину массива, перебирает его элементы и убеждается, что сумма равна 6.

В производственной среде аналогичная логика может применяться и к:

• Обеспечение распределения токенов
• Условия снятия средств из хранилища
• Правила проверки эскроу-счета
• Структурированные выходы DeFi

Данный синтаксис является экспериментальным и в настоящее время доступен только в тестовой сети Testnet-12.

Чем Silverscript отличается от CashScript?

Silverscript основан на CashScript, но расширяет его возможности.

сходства:

• Высокоуровневый синтаксис для соглашений на основе UTXO.
• Сосредоточьтесь на ограничениях транзакций, а не на полной полноте по Тьюрингу.

Различия:

• Встроенная поддержка циклов
• Нативные массивы
• Определения функций и модульная структура
• Разработано специально для BlockDAG от Kaspa.

CashScript не предоставляет встроенной поддержки структурированных циклов или динамических массивов. Silverscript вводит эти возможности для поддержки более выразительной логики взаимодействия.

Какова роль Silverscript в экосистеме Kaspa?

Silverscript работает в рамках более широкой архитектуры, которая разделяет локальные и общие модели состояния:

• Местный штат: Управление осуществляется компанией Silverscript через соглашения UTXO.
• Совместные вычисления: Управляется vProgs (проверяемыми программами), верифицированы в блокчейне с использованием доказательств с нулевым разглашением.

Интегрируется с:

• КИП-20 Поддержка собственных активов (обеспечение проверки происхождения токенов)
• CDAG (Computational DAG) для зависимостей программ
• Sparkle — фреймворк для агрегирования пакетов на основе ZK.

Эта структура позволяет:

• Автоматизированные маркет-мейкеры (АММ) с использованием принудительно установленных структур выпуска продукции.
• Кредитные хранилища
• Атомные свопы
• Управление DAO закодировано в скриптах.

Всё это без изменяемого глобального состояния.

Каков текущий статус разработки?

Silverscript — экспериментальная разработка, совместимая только с тестовой сетью Kaspa Testnet-12. В основной сети она пока недоступна.

В репозиторий GitHub входят:

• Реализация компилятора
• Примеры
• Документация TUTORIAL.md

Разработчик Ори Ньюман, активно работающий в Bitcoin Проект поддерживается с 2013 года, и в будущем планируется его дальнейшая поддержка с использованием WebAssembly (WASM).

Совместимость с основной сетью зависит от хардфорка, который состоится 5 мая 2026 года и активирует Covenants++ и функциональность нативных ресурсов.

Заключение

Silverscript внедряет структурированную разработку смарт-контрактов в сеть BlockDAG на основе UTXO от Kaspa. Он добавляет циклы, массивы, функции и принудительно выполняемые утверждения, компилируясь при этом в нативные опкоды. Язык соответствует предстоящим обновлениям протокола, включая Covenants++, нативные ресурсы и проверку с нулевым разглашением. 

В настоящее время Silverscript доступен только в тестовой сети Testnet-12 и обеспечивает техническую основу для программируемых приложений уровня 1 на платформе Kaspa без использования моделей общего глобального состояния.

источники:

• Репозиторий Kaspa GitHub: Учебное пособие по языку Silverscript 
• X-пост: Публичное заявление Ори Ньюмана