Prozkoumání Kaspa vProgs: Rámec pro škálovatelné a ověřitelné aplikace

Kaspa zveřejnila první verzi svého Žlutý papír vProgs 11. září 2025. Tento dokument podrobně popisuje protokol pro ověřitelné programy neboli vProgs, které umožňují off-chain výpočty zabezpečené důkazy s nulovou znalostí a ukotvené v Kaspově... Síť vrstvy 1. 

Cílem frameworku je podporovat decentralizované aplikace a zároveň zachovat vysokou míru produkce bloků v síti. Oznámení, zveřejněné prostřednictvím Příspěvek X od @DailyKaspa, přichází den před konferencí Kaspa Experience v Berlíně, kde vývojáři a členové komunity budou diskutovat o plánu projektu.

Pozadí architektury BlockDAG od Kaspy

Kaspa funguje odlišně od lineárních blockchainů, jako například Bitcoin or EthereumVyužívá protokol blockDAG, který umožňuje paralelní odkazování více bloků na sebe, čímž se snižuje potřeba osiřelých bloků během těžby. Tento návrh je založen na protokolu GHOSTDAG, vyvinutém Yonatanem Sompolinskym, který rozšiřuje Nakamotův konsenzus tak, aby vyhovoval vyšším rychlostem blokování bez kompromisů v zabezpečení.

V současné době Kaspa zpracovává 10 bloků za sekundu, s plány na zvýšení na 32 bloků za sekundu a potenciálně na 100 v dlouhodobém horizontu. Potvrzení obvykle probíhají během jedné až deseti sekund, přičemž hlavním omezením je spíše latence sítě než zpracování v řetězci. To má za následek teoretickou propustnost přes 10 10,000 transakcí za sekundu, což daleko překračuje 3 až 7 transakcí za sekundu u Bitcoinu nebo 15 až 30 transakcí za sekundu u Etherea na 1. vrstvě před implementací shardingu.

Síť se spoléhá na konsensus typu Proof-of-Work, kde těžaři řeší výpočetní hádanky, aby přidali bloky. Transakční poplatky a odměny za bloky jsou vypláceny v… Tokeny KAS, nativní kryptoměna sítě Kaspa. Kaspa byla spuštěna v roce 2021 s modelem spravedlivé distribuce a vyhýbá se financování rizikovým kapitálem, což přispělo k jejímu komunitně řízenému rozvoji. 

Kaspa sloužila primárně jako základní vrstva pro platby a vypořádání dat a zahrnovala standardy jako KRC-20 pro zastupitelné tokeny. Až do návrhu vProgs postrádala nativní podporu pro chytré smlouvy a pro základní operace se spoléhala na jednodušší skriptování.

Objevte slibné projekty...

Slibné projekty...

(Inzerát)

Článek pokračuje...

Co je Kaspa vProgs?

vProgs, zkratka pro ověřitelné programy, zavádí systém pro provádění složité logiky mimo hlavní řetězec a zároveň zajišťuje, že výsledky lze ověřit na vrstvě 1 Kaspa. Každý vProg funguje jako samostatná jednotka, která spravuje svá vlastní pravidla pro stav a přechody, podobně jako programy fungují na... Solana ale s přidaným ověřováním s nulovými znalostmi.

Důkazy s nulovou znalostí umožňují dokazovateli prokázat správnost výpočtu bez zveřejnění podkladových dat. Ve vProgs jsou tyto důkazy pravidelně odesílány do vrstvy 1, čímž se potvrzuje integrita aktivit mimo řetězec. Tento přístup udržuje hlavní řetězec lehký a zaměřuje se na validaci spíše než na provádění, což je v souladu s důrazem Kaspy na rychlost a efektivitu.

Návrh Žluté knihy, verze 0.0.1, popisuje vProgy jako nástroje umožňující vytváření „suverénních, ale zároveň kompozibilních“ aplikací. Suverenita znamená, že každý vProg řídí své interní operace nezávisle, včetně oprávnění pro čtení a zápis. Kompozibilita umožňuje jednomu vProgu číst data z jiného, ​​což usnadňuje interakce, jako jsou transakce mezi aplikacemi, ale zápisy jsou omezeny na původní vProg, aby se předešlo konfliktům.

Vývoj vProgs se datuje od diskusního vlákna na výzkumném fóru Kaspy ze srpna 2025, kde se přispěvatelé zabývali... problémy se synchronní kompozicí, včetně latence důkazů a sdílení zdrojů. Návrh zahrnuje zpětnou vazbu z těchto setkání, ačkoli mnoho prvků je stále v procesu dopracování, včetně procesů vytváření účtů a mechanismů prořezávání dat.

Základní technické vlastnosti vProgs

Funkčnost vProgs je podpořena několika mechanismy, které jsou navrženy pro zpracování závislostí a efektivity ve vysoce výkonném prostředí:

Zkušební stehSešívání důkazů kombinuje více důkazů s nulovou znalostí z propojených vProg do jednoho závazku, který je poté odeslán vrstvě 1. To podporuje atomické transakce napříč aplikacemi, kde se výsledky vypořádávají současně bez mezilehlých zpoždění běžných v systémech založených na souhrnných procesech.

Dávky podmíněného důkazuDávky podmíněných důkazů seskupují související transakce pro kolektivní dokazování, což snižuje výpočetní režii. Například v DeFi scénáři zahrnujícím více swapů dávkování snižuje počet potřebných jednotlivých důkazů.

Výpočet DAGVýpočetní DAG vytváří graf závislostí na aplikační vrstvě, který zrcadlí strukturu blockDAG systému Kaspa. Sleduje datové toky mezi vProgy a zajišťuje, aby odkazované informace zůstaly k dispozici a aby bylo zachováno pořadí provádění při paralelním zpracování. Tento graf pomáhá předcházet přetížení sekvenováním závislých operací.

Měření zdrojůMěření zdrojů zavádí kontroly pro správu nákladů. Interně každý vProg používá pro výpočty svůj vlastní model plynu vrstvy 2. Na vrstvě 1 ScopeGas měří interakce mezi vProg a účtuje poplatky na základě datových závislostí, aby odradil od spamu nebo nadměrného využívání zdrojů, například když jedna aplikace zahlcuje vstupní požadavky jiné.

Ekonomický modelEkonomický model pro vProgs se spoléhá na bezúčelové dokazovatele – uzly, které generují a odesílají důkazy – kteří vydělávají poplatky od uživatelů. Živost, neboli záruka včasných důkazů, funguje ve dvou režimech: optimistickém, kde dokazovatelé spolupracují, nebo suverénním, kde aplikace běží nezávisle. Toto nastavení motivuje k účasti bez spoléhání se na centralizované koordinátory.

Funkce ochrany osobních údajůFunkce ochrany soukromí přirozeně vycházejí z důkazů s nulovou znalostí a umožňují šifrované stavy v aplikacích, jako jsou důvěrné transakce nebo věštby. Rámec podporuje řadu případů užití, od mikroplateb až po vypořádání podnikových dat, a to ukotvením ověřitelných výstupů v rychlých časech potvrzení Kaspa.

Konference Kaspa Experience v Berlíně

Oznámení o vProgs je v souladu s Zážitek z Kaspy, komunitní konference naplánovaná na 13. září 2025 v Atelier Gardens v Berlíně. Tato jednodenní akce, omezená na 500 vstupenek v ceně 150 dolarů plus poplatek za afterparty ve výši 50 dolarů, vyžaduje platbu v tokenech KAS, což představuje rané reálné využití této kryptoměny pro logistiku akcí, včetně jídla, nápojů a zboží.

Program zahrnuje klíčové projevy klíčových vývojářů, včetně Sompolinského o pokroku v GHOSTDAG, panelové diskuse o integraci chytrých smluv a workshopy zaměřené na praktické implementace. Hackathon podpoří tvorbu prototypů a zároveň Kaspa Art Expo představí kreativní využití sítě. Ačkoli v programu není žádná specializovaná sekce věnovaná vProgs, tiskové materiály akce zdůrazňují programovatelnou vrstvu Kaspy jako základ pro DeFi a platební systémy a naznačují neformální diskuse o novém rámci.

Účastníci z řad těžařů, obchodníků a vývojářů se setkají v prostředí, které zdůrazňuje decentralizovaný étos projektu Kaspa. Konference představuje první velké osobní setkání projektu, které staví na online fórech a telegramových kanálech pro spolupráci.

Výzvy a časový harmonogram implementace

Implementace vProgs se potýká s překážkami, které jsou běžné pro systémy s nulovými znalostmi. Generování důkazů zůstává výpočetně náročné, což může i přes vysokou rychlost bloků Kaspy způsobit latenci. Vývojáři se musí zaměřit na kompatibilitu virtuálních strojů, aby usnadnili portování z prostředí, jako je virtuální stroj Ethereum.

Přispěvatelé fóra simulovali modely sdílení plynu, aby zmírnili externality, kdy aktivita jednoho vProgu ovlivňuje ostatní. Dostupnost dat v Computation DAG vyžaduje pečlivý návrh, aby se předešlo rizikům centralizace.

Časový harmonogram srpnových diskusí naznačoval spuštění testovací sítě do čtvrtého čtvrtletí roku 2025, a to na základě zpětné vazby od komunity k návrhu. Úplná integrace mainnetu by závisela na auditu a výkonnostních benchmarkech, přičemž prořezávání a mechanismy účtů by byly naplánovány na budoucí revize.

Ve srovnání s roll-upy Etherea, které mohou fragmentovat likviditu napříč vrstvami, nebo s on-chain executionem Solany, který testuje limity propustnosti, se vProgs snaží integrovat ověřitelné výpočty přímo do základní vrstvy Proof-of-Work. To zachovává decentralizaci a zároveň využívá paralelní produkci bloků.

Proč investovat do čističky vzduchu?

vProgs vybavuje Kaspu nástroji pro off-chain provádění ověřenými důkazy s nulovými znalostmi, včetně sešívání důkazů pro kompozibilitu, výpočetní DAG pro správu závislostí a ScopeGas pro řízení zdrojů. 

Tyto prvky umožňují aplikacím škálovatelně fungovat v síti, která potvrzuje bloky každých několik sekund, a podporují tak případy užití od DeFi až po vypořádání dat, aniž by byla ohrožena bezpečnost na 1. vrstvě.

Zdroje:

• Článek Kaspa Daily X o vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Návrh žlutého papíru vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Vlákno fóra Kaspa Research o synchronní kompozibilitě: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Zážitek s Kaspou v Berlíně: https://experience.kaspa.events/