Mi a Silverscript? A Kaspa első magas szintű intelligens szerződéses nyelve és fordítója

Silverscript egy magas szintű intelligens szerződéses nyelv és fordító, amelyet a következő számára fejlesztettek ki: Kaspa blokkláncA fejlesztő, Ori Newman által 2026. február 10-én bejelentett alkalmazás programozható funkciókat vezet be közvetlenül a Kaspa készülékén. 1. réteg (L1) külső virtuális gépek vagy megosztott globális állapotmodellek, például Az Ethereum EVM-je.

A Silverscript natív Kaspa Script nyelvre fordul, és a Kaspa UTXO-alapú architektúrájához készült. Lehetővé teszi a fejlesztők számára, hogy olvasható szövetségi logikát írjanak, amely protokoll szinten érvényesíti a tranzakciós szabályokat.

Milyen problémát old meg a Silverscript a Kaspán?

A Kaspa egy Proof-of-Work (PoW) kriptovaluta, amely egy BlockDAG (irányított aciklikus gráf) szerkezet. A lineáris blokkláncokkal ellentétben a Kaspa párhuzamosan dolgozza fel a blokkokat. A hálózat jelenleg másodpercenként 10 blokkot céloz meg, olyan fejlesztésekkel, mint például DAGKnight másodpercenként 100+ blokk elérésére törekedve.

Eddig a Kaspa szkriptek kifejezőereje korlátozott volt. A Silverscript ezt strukturált programozási funkciók bevezetésével kezeli, amelyek fejlettebb szerződéstervezést tesznek lehetővé, miközben továbbra is összhangban maradnak az UTXO modellel.

A fiókalapú rendszerekben megszokott megosztott globális állapot helyett a Silverscript UTXO-nként egy lokális állapotot tart fenn. Ez csökkenti az olyan kockázatokat, mint az EVM-alapú rendszerekben található ismételt belépési sebezhetőségek.

Hogyan működik a Silverscript?

A Silverscriptet a Bitcoin Cashben használt intelligens szerződéses nyelv, a CashScript ihlette. Azonban a CashScriptet kibővíti a bonyolultabb DeFi primitívekhez szükséges strukturált programozási eszközökkel.

Magas szintű kódot fordít alacsony szintű Kaspa opkódokká, beleértve:

• KIP-10 (introspekciós opkódok)
• KIP-16 (nulla tudású ellenőrző opkódok)
• KIP-17 (bájt primitívek)

Úgy tervezték, hogy integrálható legyen közelgő hálózati fejlesztések 2026. május 5-re tervezett, a következőket bevezető:

• Szövetségek++ (speciális költési korlátozások)
• KIP-20 alatt álló natív eszközök (token származás és eredetkövetés)
• Nulla tudású (ZK) ellenőrzési támogatás

A Silverscript fejlesztői rétegként működik ezen protokollfunkciók számára.

Fedezze fel az ígéretes projekteket...

Ígéretes projektek...

(Hirdetés)

A cikk folytatódik...

Milyen funkciókat ad hozzá a Silverscript a Kaspához?

A Silverscript olyan strukturált programozási elemeket vezet be, amelyek korábban nem voltak elérhetők a Kaspa Scriptben.

Loops

Támogatja az iteratív műveleteket, mint például mert hurkok.
Ez lehetővé teszi az ismételt számításokat, a kötegelt feldolgozást és a feltételes eszközlogikát.

tömbök

Támogatja a dinamikus adatszerkezeteket.
A fejlesztők kezelhetik a tokenegyenlegeket, a több aláírásos feltételeket vagy a strukturált kimeneteket.

Függvényhívások

Lehetővé teszi az újrafelhasználható függvények paraméterekkel és visszatérési értékekkel való használatát.
Javítja a kód érthetőségét és csökkenti a megvalósítási hibákat.

Utasítások megkövetelése

Beépített állításokat biztosít.
A szerződések olyan korlátozásokat érvényesíthetnek, mint a tömbméret-korlátok vagy az értékellenőrzések fordítási vagy futási időben.

UTXO-központú tervezés

Lokális UTXO állapotban működik a megosztott globális állapot helyett.
Ez a modell explicit validációt érvényesít, és elkerüli az ismételt belépési problémákat.

Hogyan néz ki a Silverscript kód?

A Silverscript egyszerűsített, C-szerű szintaxist használ. A következő példa tömböket, ciklusokat és require utasításokat mutat be:

Ez a példa egy olyan függvényt definiál, amely egy egész tömb elemeit összegzi. Ellenőrzi a tömb hosszát, végigmegy az elemeken, és biztosítja, hogy az összeg 6 legyen.

Éles környezetben hasonló logika alkalmazható a következőkre:

• Token terjesztési végrehajtás
• Trezorból való kivonás feltételei
• Letéti érvényesítési szabályok
• Strukturált DeFi kimenetek

A szintaxis kísérleti jellegű, és jelenleg csak a Testnet-12-n érhető el.

Miben különbözik a Silverscript a CashScripttől?

A Silverscript a CashScriptre épül, de kibővíti annak képességeit.

Hasonlóságok:

• Magas szintű szintaxis UTXO-alapú szerződésekhez
• A tranzakciós korlátokra összpontosítsunk a teljes Turing-teljesség helyett

Különbségek:

• Natív támogatás ciklusokhoz
• Natív tömbök
• Függvénydefiníciók és moduláris felépítés
• Kifejezetten a Kaspa BlockDAG-jához tervezve

A CashScript nem biztosít beépített támogatást strukturált ciklusokhoz vagy dinamikus tömbökhöz. A Silverscript ezeket a funkciókat a kifejezőbb szövetségi logika támogatása érdekében vezeti be.

Hogyan illeszkedik a Silverscript a Kaspa ökoszisztémájába?

A Silverscript egy szélesebb architektúrán belül működik, amely elkülöníti a helyi és a megosztott állapotmodelleket:

• Helyi állam: A Silverscript kezeli UTXO szerződéseken keresztül
• Megosztott számítás: vProgs (Verifiable Programs) által kezelve, láncon belül, nulla tudásbizonyítással ellenőrizve

Integrálódik a következőkkel:

• KIP-20 natív eszköztámogatás (token eredetének érvényesítése)
• CDAG (számítási DAG) programfüggőségekhez
• Sparkle, egy ZK-alapú összesítő keretrendszer

Ez a struktúra lehetővé teszi:

• Automatizált árjegyzők (AMM-ek) kényszerített kimeneti struktúrákat használnak
• Kölcsöntrezorok
• Atomi csereügyletek
• Szkriptekbe kódolt DAO irányítás

Mindez változtatható globális állapot nélkül.

Mi a jelenlegi fejlesztési állapot?

A Silverscript kísérleti jellegű, és csak a Kaspa Testnet-12-vel kompatibilis. A főhálózaton egyelőre nem érhető el.

A GitHub repository a következőket tartalmazza:

• Fordítóprogram implementációja
• Példák
• TUTORIAL.md dokumentáció

Ori Newman fejlesztő, aktív a következő területen: Bitcoin 2013 óta karbantartja a projektet, és jelezte, hogy a jövőben támogatni fogja a WebAssembly-t (WASM).

A mainnet kompatibilitás a 2026. május 5-én kiadott hardforktól függ, amely aktiválja a Covenants++-t és a natív eszközfunkciókat.

Összegzés

A Silverscript strukturált intelligens szerződésfejlesztést vezet be a Kaspa UTXO-alapú BlockDAG hálózatába. Ciklusokat, tömböket, függvényeket és végrehajtható assertioneket ad hozzá, miközben natív opcode-okra fordítja a rendszert. A nyelv összhangban van a közelgő protokollfrissítésekkel, beleértve a Covenants++-t, a natív eszközöket és a nulla tudású verifikációt. 

A jelenleg a Testnet-12-re korlátozott Silverscript technikai alapot biztosít a programozható 1. rétegbeli alkalmazásokhoz Kaspán anélkül, hogy megosztott globális állapotmodelleket alkalmazna.

Források:

• Kaspa GitHub adattárSilverscript nyelv oktatóanyag 
• X-PostOri Newman nyilvános bejelentése