Що таке Silverscript? Перша високорівнева мова смарт-контрактів та компілятор Kaspa

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 року, які запроваджують:

• Ковенанти++ (попередні обмеження витрат)
• Внутрішні активи згідно з 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 (Verifiable Programs), перевірено в мережі за допомогою доказів з нульовим розголошенням

Він інтегрується з:

• КІП-20 підтримка власних активів (забезпечення походження токенів)
• CDAG (Обчислювальний DAG) для залежностей програми
• Sparkle, фреймворк для зведення даних на основі ZK

Ця структура дозволяє:

• Автоматизовані маркет-мейкери (AMM) використовують примусові структури випуску
• Кредитні сховища
• Атомні свопи
• Управління DAO, закодоване у скриптах

Все без змінного глобального стану.

Який поточний стан розвитку?

Silverscript є експериментальним і сумісний лише з Kaspa Testnet-12. Він ще не доступний в основній мережі.

Репозиторій GitHub містить:

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

Розробник Орі Ньюман, активний у Біткойн з 2013 року підтримує проєкт і вказав на потенційну підтримку WebAssembly (WASM) у майбутньому.

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

Висновок

Silverscript впроваджує розробку структурованих смарт-контрактів у мережу BlockDAG на базі UTXO від Kaspa. Він додає цикли, масиви, функції та примусові твердження під час компіляції в нативні операційні коди. Мова програмування узгоджується з майбутніми оновленнями протоколів, включаючи Covenants++, нативні активи та перевірку з нульовим розголошенням. 

Наразі обмежений Testnet-12, Silverscript забезпечує технічну основу для програмованих застосунків першого рівня на Kaspa без використання спільних моделей глобальних станів.

джерела:

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