Czym jest Silverscript? Pierwszy wysokopoziomowy język inteligentnych kontraktów i kompilator Kaspa

Silverscript jest wysokopoziomowym językiem inteligentnych kontraktów i kompilatorem stworzonym dla Blockchain KaspaZapowiedziana 10 lutego 2026 r. przez dewelopera Ori Newmana, wprowadza programowalne funkcje bezpośrednio w systemie Kaspa Warstwa 1 (L1) bez polegania na zewnętrznych maszynach wirtualnych lub współdzielonych globalnych modelach stanu, takich jak EVM Ethereum.

Silverscript kompiluje się do natywnego skryptu Kaspa i jest przeznaczony dla architektury Kaspa opartej na UTXO. Umożliwia programistom pisanie czytelnej logiki umów, która wymusza reguły transakcji na poziomie protokołu.

Jaki problem rozwiązuje Silverscript w Kaspa?

Kaspa to kryptowaluta oparta na zasadzie Proof-of-Work (PoW) BlockDAG (Skierowany graf acykliczny) Struktura. W przeciwieństwie do liniowych blockchainów, Kaspa przetwarza bloki równolegle. Sieć obecnie dąży do 10 bloków na sekundę, z ulepszeniami takimi jak DAGKnight celując w 100+ bloków na sekundę.

Do tej pory skrypty Kaspa charakteryzowały się ograniczoną ekspresją. Silverscript rozwiązuje ten problem, wprowadzając strukturalne funkcje programowania, które umożliwiają bardziej zaawansowane projektowanie przymierzy, zachowując jednocześnie zgodność z modelem UTXO.

Zamiast współdzielonego stanu globalnego, powszechnego w systemach opartych na kontach, Silverscript utrzymuje stan lokalny dla każdego UTXO. Zmniejsza to ryzyko, takie jak luki w zabezpieczeniach związane z reentrancją, występujące w systemach opartych na EVM.

Jak działa Silverscript?

Silverscript jest inspirowany CashScript, językiem inteligentnych kontraktów używanym w Bitcoin Cash. Rozszerza on jednak CashScript, dodając strukturalne narzędzia programistyczne niezbędne do bardziej złożonych prymitywów DeFi.

Kompiluje kod wysokiego poziomu do kodów operacyjnych Kaspa niskiego poziomu, w tym:

• KIP-10 (kody operacji introspekcji)
• KIP-16 (kody operacji weryfikacji zerowej wiedzy)
• KIP-17 (prymitywy bajtowe)

Jest przeznaczony do integracji z nadchodzące aktualizacje sieci zaplanowane na 5 maja 2026 r., które wprowadzają:

• Covenants++ (zaawansowane ograniczenia wydatków)
• Aktywa rodzime w ramach KIP-20 (śledzenie pochodzenia i pochodzenia tokenów)
• Wsparcie weryfikacji zerowej wiedzy (ZK)

Silverscript działa jako warstwa rozwojowa dla tych funkcji protokołu.

Odkryj obiecujące projekty...

Obiecujące projekty...

(Reklama)

Artykuł ciąg dalszy...

Jakie funkcje Silverscript dodaje do Kaspy?

Silverscript wprowadza strukturalne elementy programowania, które wcześniej były niedostępne w Kaspa Script.

Metalowe ramki

Obsługuje operacje iteracyjne, takie jak: dla pętle.
Umożliwia to powtarzanie obliczeń, przetwarzanie wsadowe i warunkową logikę zasobów.

Tablice

Obsługuje dynamiczne struktury danych.
Programiści mogą zarządzać saldami tokenów, warunkami wielokrotnego podpisu i ustrukturyzowanymi wynikami.

Wywołania funkcji

Umożliwia wielokrotne używanie funkcji z parametrami i wartościami zwracanymi.
Poprawia przejrzystość kodu i zmniejsza liczbę błędów implementacji.

Wymagaj oświadczeń

Zapewnia wbudowane asercje.
Kontrakty mogą egzekwować ograniczenia, takie jak limity rozmiaru tablicy lub sprawdzanie wartości w czasie kompilacji lub wykonania.

Projekt skoncentrowany na UTXO

Działa na lokalnym stanie UTXO, a nie na współdzielonym stanie globalnym.
Model ten wymusza jawną walidację i zapobiega problemom ponownego wprowadzania danych.

Jak wygląda kod Silverscript?

Silverscript używa uproszczonej składni podobnej do C. Poniższy przykład demonstruje tablice, pętle i instrukcje require:

Ten przykład definiuje funkcję sumującą elementy tablicy liczb całkowitych. Sprawdza długość tablicy, iteruje po elementach i upewnia się, że suma jest równa 6.

W zastosowaniach produkcyjnych podobna logika mogłaby mieć zastosowanie do:

• Egzekwowanie dystrybucji tokenów
• Warunki wypłaty ze skarbca
• Zasady walidacji depozytu
• Ustrukturyzowane wyniki DeFi

Składnia jest eksperymentalna i obecnie dostępna jedynie w sieci Testnet-12.

Czym Silverscript różni się od CashScript?

Silverscript bazuje na CashScript, ale rozszerza jego możliwości.

Podobieństwa:

• Składnia wysokiego poziomu dla przymierzy opartych na UTXO
• Skup się na ograniczeniach transakcyjnych, a nie na pełnej kompletności Turinga

Różnice:

• Natywne wsparcie dla pętli
• Tablice natywne
• Definicje funkcji i struktura modułowa
• Zaprojektowany specjalnie dla BlockDAG firmy Kaspa

CashScript nie zapewnia wbudowanej obsługi pętli strukturalnych ani tablic dynamicznych. Silverscript wprowadza te funkcje, aby zapewnić bardziej ekspresyjną logikę umów.

Jak Silverscript wpisuje się w ekosystem Kaspa?

Silverscript działa w ramach szerszej architektury, która oddziela lokalne i współdzielone modele stanu:

• Stan lokalny: Zarządzane przez Silverscript za pośrednictwem umów UTXO
• Wspólne obliczenia: Zarządzane przez vProgs (weryfikowalne programy), weryfikowane w łańcuchu przy użyciu dowodów zerowej wiedzy

Integruje się z:

• KIP-20 obsługa zasobów natywnych (egzekwowanie pochodzenia tokenów)
• CDAG (Computational DAG) dla zależności programów
• Sparkle, framework rollup oparty na ZK

Ta struktura umożliwia:

• Zautomatyzowani animatorzy rynku (AMM) wykorzystujący wymuszone struktury wyjściowe
• Skarbce pożyczkowe
• Swapy atomowe
• Zarządzanie DAO zakodowane w skryptach

Wszystko to bez zmiennego stanu globalnego.

Jaki jest aktualny stan rozwoju?

Silverscript jest programem eksperymentalnym i kompatybilnym tylko z siecią testową Kaspa Testnet-12. Nie jest jeszcze dostępny w sieci głównej.

Repozytorium GitHub zawiera:

• Implementacja kompilatora
• Przykłady
• Dokumentacja TUTORIAL.md

Deweloper Ori Newman, działający w Bitcoin od 2013 roku utrzymuje projekt i wskazał na potencjalne wsparcie dla WebAssembly (WASM) w przyszłości.

Zgodność z siecią główną zależy od hardforku z 5 maja 2026 r., który aktywuje Covenants++ i natywną funkcjonalność zasobów.

Podsumowanie

Silverscript wprowadza ustrukturyzowane tworzenie inteligentnych kontraktów do sieci BlockDAG opartej na UTXO firmy Kaspa. Dodaje pętle, tablice, funkcje i egzekwowalne asercje podczas kompilacji do natywnych kodów operacji. Język jest zgodny z nadchodzącymi aktualizacjami protokołów, w tym Covenants++, natywnymi zasobami i weryfikacją z zerową wiedzą. 

Obecnie ograniczony do Testnetu-12, Silverscript zapewnia techniczne podstawy dla programowalnych aplikacji warstwy 1 w systemie Kaspa bez konieczności stosowania współdzielonych modeli stanu globalnego.

Źródła:

• Repozytorium Kaspa GitHub:Samouczek języka Silverscript 
• Post X:Ogłoszenie publiczne Ori Newman