Kaspa vProgs-ának felfedezése: A skálázható, ellenőrizhető alkalmazások keretrendszere

Amikor kiadta az első vázlatát vProgs sárga papír 2025. szeptember 11-én. Ez a dokumentum egy ellenőrizhető programok, vagy vProgs protokollt részletez, amelyek lehetővé teszik a láncon kívüli számításokat, amelyeket nulla tudásbizonyítások biztosítanak, és Kaspa módszeréhez vannak rögzítve. 1. rétegű hálózat. 

A keretrendszer célja a decentralizált alkalmazások támogatása, miközben fenntartja a hálózat magas blokkgyártási rátáját. A bejelentést egy ...-n keresztül tették közzé. X bejegyzés @DailyKaspa-tól, egy nappal a berlini Kaspa Experience konferencia előtt kerül megrendezésre, ahol a fejlesztők és a közösség tagjai megvitatják a projekt ütemtervét.

Kaspa BlockDAG architektúrájának háttere

A Kaspa másképp működik, mint a lineáris blokkláncok, mint például a Bitcoin or EthereumEgy blockDAG-ot használ, amely lehetővé teszi, hogy több blokk párhuzamosan hivatkozzon egymásra, csökkentve az árva blokkok szükségességét a bányászat során. Ez a kialakítás a Yonatan Sompolinsky által kifejlesztett GHOSTDAG protokollon alapul, amely kiterjeszti a Nakamoto konszenzust, hogy magasabb blokkradatokat is lehetővé tegyen a biztonság feláldozása nélkül.

Jelenleg Kaspa másodpercenként 10 blokkot dolgoz fel, azzal a tervvel, hogy ezt másodpercenként 32 blokkra, hosszú távon pedig potenciálisan 100-ra növeljék. A megerősítések jellemzően 1-10 másodpercen belül megtörténnek, az elsődleges korlátozás a hálózati késleltetés, nem pedig a láncon belüli feldolgozás. Ez elméletileg több mint 10 000 tranzakciós másodpercenkénti átviteli sebességet eredményez, ami messze meghaladja a Bitcoin 3-7 tranzakciós másodpercenkénti vagy az Ethereum 15-30 tranzakciós másodpercenkénti sebességét az 1. rétegen a sharding implementációk előtt.

A hálózat a Proof-of-Work konszenzusra épül, ahol a bányászok számítási rejtvényeket oldanak meg a blokkok hozzáadásához. A tranzakciós díjakat és a blokkjutalmakat a következőképpen fizetik ki: KAS tokenek, a Kaspa hálózat natív kriptovalutája. A Kaspa 2021-ben indult, tisztességes elosztási modellel, elkerülve a kockázati tőkebefektetéseket, ami hozzájárult a közösségvezérelt fejlesztéséhez. 

A Kaspa elsősorban a fizetések és az adatelszámolás alaprétegeként szolgált, olyan szabványokat tartalmazva, mint a KRC-20 a helyettesíthető tokenekre vonatkozóan. A vProgs javaslatáig hiányzott belőle natív támogatás az intelligens szerződésekhez, az alapvető műveletekhez egyszerűbb szkriptekre támaszkodott.

Fedezze fel az ígéretes projekteket...

Ígéretes projektek...

(Hirdetés)

A cikk folytatódik...

Mi az a Kaspa vProgs?

A vProgs, a verififable programs (ellenőrizhető programok) rövidítése, egy olyan rendszert vezet be, amely összetett logikát hajt végre a fő láncon kívül, miközben biztosítja az eredmények ellenőrizhetőségét a Kaspa 1. rétegén. Minden vProg önálló egységként működik, amely saját állapot- és átmeneti szabályait kezeli, hasonlóan ahhoz, ahogyan a programok működnek a következő rétegen: Solana de hozzáadott nulla tudásbizonyítási ellenőrzéssel.

A nulla tudású bizonyítások lehetővé teszik a bizonyító számára, hogy bemutassa egy számítás helyességét anélkül, hogy felfedné az alapul szolgáló adatokat. A vProgs-ban ezeket a bizonyításokat rendszeresen elküldik az 1. rétegnek, megerősítve a láncon kívüli tevékenységek integritását. Ez a megközelítés könnyűsúlyúvá teszi a fő láncot, a végrehajtás helyett a validációra összpontosítva, ami összhangban van a Kaspa sebességre és hatékonyságra helyezett hangsúlyával.

A Sárga Könyv tervezete, a 0.0.1-es verzió, a vProgokat „szuverén, mégis komponálható” alkalmazásokként írja le. A szuverenitás azt jelenti, hogy minden vProg függetlenül szabályozza belső működését, beleértve az olvasási és írási jogosultságokat is. A komponálhatóság lehetővé teszi, hogy egy vProg adatokat olvasson egy másikból, megkönnyítve az olyan interakciókat, mint az alkalmazások közötti tranzakciók, de az írások az eredeti vProg-ra korlátozódnak az ütközések elkerülése érdekében.

A vProgs fejlesztése a Kaspa kutatási fórumán 2025 augusztusában tartott beszélgetéssorozatra nyúlik vissza, ahol a közreműködők a következőket tették fel: kihívások a szinkron komponálhatóságban, beleértve a bizonyítási késleltetést és az erőforrás-megosztást. A tervezet tartalmazza az ezen munkamenetekből származó visszajelzéseket, bár számos elem még finomítás alatt áll, beleértve a fióklétrehozási folyamatokat és az adattisztítási mechanizmusokat.

A vProgs alapvető technikai jellemzői

A vProgs funkcionalitását számos mechanizmus támasztja alá, amelyeket a függőségek és a hatékonyság kezelésére terveztek nagy áteresztőképességű környezetben:

Proof varrásA bizonyítási összeillesztés több, összekapcsolt vProg-okból származó nulla tudású bizonyítást egyesít egyetlen kötelezettségvállalássá, amelyet aztán elküldenek az 1. rétegnek. Ez támogatja az alkalmazások közötti atomi tranzakciókat, ahol az eredmények egyidejűleg rendeződnek, köztes késések nélkül, amelyek megszokottak a felgöngyölítés-alapú rendszerekben.

Feltételes bizonyítási tételekA feltételes bizonyítás kötegelt feldolgozással csoportosítja a kapcsolódó tranzakciókat a kollektív bizonyítás érdekében, ami csökkenti a számítási terhelést. Például egy több swapot magában foglaló DeFi-forgatókönyvben a kötegelt feldolgozás csökkenti a szükséges egyedi bizonyítások számát.

Számítási DAGA Computation DAG egy függőségi gráfot hoz létre az alkalmazásrétegen, tükrözve a Kaspa blockDAG struktúráját. Nyomon követi az adatfolyamokat a vProg-ok között, biztosítva, hogy a hivatkozott információk elérhetőek maradjanak, és hogy a végrehajtási sorrend megmaradjon a párhuzamos feldolgozás során. Ez a gráf segít megelőzni a túlterhelést a függő műveletek sorba rendezésével.

Erőforrás-mérésAz erőforrás-mérés költséggazdálkodási vezérlőket vezet be. Belsőleg minden vProg a saját 2. rétegbeli gázmodelljét használja a számításokhoz. Az 1. rétegen a ScopeGas méri a vProg-ok közötti interakciókat, és az adatfüggőségek alapján díjakat számít fel a spam vagy a túlzott erőforrás-felhasználás – például egy alkalmazás bemeneti követelményeinek elárasztásával – visszaszorítása érdekében.

Gazdasági modellA vProgs gazdasági modellje engedély nélküli bizonyítókra – bizonyításokat generáló és beküldő csomópontokra – épül, akik díjakat kapnak a felhasználóktól. Az élőség, vagyis az időben történő bizonyítások garanciája kétféle módon működik: optimista módon, ahol a bizonyítók együttműködnek, és szuverén módon, ahol az alkalmazások függetlenül futnak. Ez a beállítás ösztönzi a részvételt anélkül, hogy központosított koordinátorokra támaszkodna.

Adatvédelmi funkciókAz adatvédelmi funkciók természetes módon a nulla tudásbizonyításokból származnak, lehetővé téve a titkosított állapotokat olyan alkalmazásokban, mint a bizalmas tranzakciók vagy az orákulumok. A keretrendszer számos felhasználási esetet támogat, a mikrofizetésektől a vállalati adatelszámolásig, azáltal, hogy az ellenőrizhető kimeneteket a Kaspa gyors visszaigazolási idejéhez rögzíti.

A Kaspa Élmény Konferencia Berlinben

A vProgs bejelentése összhangban van a ...-val/-vel. Kaspa élmény, egy közösségi konferencia, amelyet 2025. szeptember 13-án terveznek a berlini Atelier Gardensben. Ez az egynapos rendezvény, amelyre 500 jegyet lehet vásárolni, és amelynek ára 150 dollár, plusz egy 50 dolláros afterparty díj, KAS tokenekkel kell fizetni, ami a kriptovaluta korai valós alkalmazását jelzi az események logisztikájában, beleértve az ételeket, italokat és árucikkeket.

A programban fő fejlesztők előadásai szerepelnek, köztük Sompolinsky előadása a GHOSTDAG fejlesztéseiről, az intelligens szerződések integrációjáról szóló panelek, valamint a gyakorlati megvalósításokra összpontosító workshopok. Egy hackathon ösztönzi a prototípus-készítést, a Kaspa Art Expo pedig bemutatja a hálózat kreatív felhasználási módjait. Bár a programban nem szerepel külön vProgs szekció, az esemény sajtóanyagai kiemelik a Kaspa programozható rétegét, mint a DeFi és a fizetési rendszerek alapját, ami informális megbeszélésekre utal az új keretrendszerről.

A bányászok, kereskedők és fejlesztők közül érkező résztvevők egy olyan környezetben építhetik kapcsolataikat, amely hangsúlyozza a Kaspa decentralizált szellemiségét. A konferencia a projekt első nagyobb személyes találkozója, amely online fórumokra és Telegram-csatornákra épít az együttműködéshez.

Kihívások és megvalósítási ütemterv

A vProgs implementálása a nulla tudású rendszerekre jellemző akadályokkal jár. A bizonyításgenerálás továbbra is számításigényes, ami a Kaspa nagy blokksebessége ellenére is késleltetést okozhat. A fejlesztőknek a virtuális gépek kompatibilitásával kell foglalkozniuk, hogy megkönnyítsék a portolást olyan környezetekből, mint az Ethereum Virtual Machine.

A fórum közreműködői gázmegosztási modelleket szimuláltak a külső hatások mérséklésére, ahol az egyik vProg tevékenysége hatással van másokra. A számítási DAG-ban az adatok elérhetősége gondos tervezést igényel a centralizációs kockázatok elkerülése érdekében.

Az augusztusi megbeszélések ütemterve a teszthálózat bevezetését 2025 negyedik negyedévére jelezte, a közösségi visszajelzéseket követően. A teljes mainnet integráció az auditálástól és a teljesítmény-referenciaértékektől függ, a metszés és a fiókmechanika pedig a jövőbeni felülvizsgálatok tárgyát képezi.

Az Ethereum rétegek közötti likviditást feldaraboló roll-upjaihoz vagy a Solana átviteli korlátokat tesztelő on-chain végrehajtásához képest a vProgs a verifikálható számításokat közvetlenül a proof-of-work alaprétegbe kívánja integrálni. Ez megőrzi a decentralizációt, miközben kihasználja a párhuzamos blokkgyártást.

Összegzés

A vProgs olyan eszközökkel látja el a Kaspát, amelyek lehetővé teszik a láncon kívüli, nulla tudású bizonyításokkal ellenőrzött végrehajtást, beleértve a bizonyításösszefűzést az összeállíthatósághoz, egy számítási DAG-ot a függőségek kezeléséhez és a ScopeGas-t az erőforrás-vezérléshez. 

Ezek az elemek lehetővé teszik az alkalmazások skálázható működését egy olyan hálózaton, amely néhány másodpercenként megerősíti a blokkokat, támogatva a DeFi-től az adatelszámolásig terjedő felhasználási eseteket az 1. rétegbeli biztonság veszélyeztetése nélkül.

Források:

• Kaspa Daily X cikk a vProgs-on: https://x.com/DailyKaspa/status/1966149209968505132  
• vProgs Sárga Papír Vázlat v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Kaspa Kutatófórum Téma a Szinkron Komponálhatóságról: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Kaspa élmény Berlinben: https://experience.kaspa.events/