Eksploracja vProgs firmy Kaspa: Struktura skalowalnych i weryfikowalnych aplikacji

Kaspa opublikował pierwszy szkic swojego Żółty dokument vProgs 11 września 2025 r. W tym dokumencie szczegółowo opisano protokół dla weryfikowalnych programów, czyli vProgs, które umożliwiają obliczenia poza łańcuchem zabezpieczone dowodami zerowej wiedzy i zakotwiczone w mechanizmie Kaspa Sieć warstwy 1. 

Struktura ma na celu obsługę zdecentralizowanych aplikacji przy jednoczesnym utrzymaniu wysokiej wydajności produkcji bloków w sieci. Ogłoszenie, udostępnione za pośrednictwem X post autorstwa @DailyKaspa, ma miejsce na dzień przed konferencją Kaspa Experience w Berlinie, na której deweloperzy i członkowie społeczności będą dyskutować o planie rozwoju projektu.

Informacje o architekturze BlockDAG firmy Kaspa

Kaspa działa inaczej niż liniowe blockchainy, takie jak Bitcoin or EthereumWykorzystuje protokół blockDAG, który pozwala wielu blokom na równoległe odwoływanie się do siebie, redukując konieczność oddzielania bloków podczas kopania. Projekt ten opiera się na protokole GHOSTDAG, opracowanym przez Yonatana Sompolinsky'ego, który rozszerza konsensus Nakamoto, umożliwiając obsługę większej liczby bloków bez narażania bezpieczeństwa.

Obecnie Kaspa przetwarza 10 bloków na sekundę, z planami zwiększenia tej przepustowości do 32 bloków na sekundę, a potencjalnie do 100 w dłuższej perspektywie. Potwierdzenia zazwyczaj następują w ciągu 1–10 sekund, a głównym ograniczeniem jest opóźnienie sieci, a nie przetwarzanie w łańcuchu. Daje to teoretyczną przepustowość ponad 10 000 transakcji na sekundę, znacznie przewyższając 3–7 transakcji na sekundę w Bitcoinie lub 15–30 transakcji na sekundę w Ethereum na warstwie 1 przed implementacją shardingu.

Sieć opiera się na konsensusie proof-of-work, w którym górnicy rozwiązują łamigłówki obliczeniowe, aby dodawać bloki. Opłaty transakcyjne i nagrody za bloki są wypłacane w Tokeny KAS, natywna kryptowaluta sieci Kaspa. Kaspa została uruchomiona w 2021 roku z uczciwym modelem dystrybucji, unikając finansowania venture capital, co przyczyniło się do jej rozwoju opartego na społeczności. 

Kaspa służyła przede wszystkim jako warstwa bazowa dla płatności i rozliczeń danych, uwzględniając standardy takie jak KRC-20 dla tokenów zamiennych. Do czasu pojawienia się propozycji vProgs brakowało jej natywnego wsparcia dla inteligentnych kontraktów, a podstawowe operacje opierały się na prostszych skryptach.

Odkryj obiecujące projekty...

Obiecujące projekty...

(Reklama)

Artykuł ciąg dalszy...

Czym jest Kaspa vProgs?

vProgs, skrót od verifiable programs (weryfikowalne programy), wprowadza system wykonywania złożonej logiki poza głównym łańcuchem, zapewniając jednocześnie możliwość weryfikacji wyników na warstwie 1 Kaspy. Każdy vProg działa jako samodzielna jednostka, zarządzając własnymi regułami stanu i przejścia, podobnie jak programy działają na Solana ale z dodanym dowodem zerowej wiedzy.

Dowody zerowej wiedzy pozwalają osobie dowodzącej wykazać poprawność obliczeń bez ujawniania danych bazowych. W vProgs dowody te są okresowo przesyłane do warstwy 1, potwierdzając integralność działań poza łańcuchem. Takie podejście sprawia, że ​​główny łańcuch jest lekki, koncentrując się na walidacji, a nie na wykonaniu, co jest zgodne z naciskiem firmy Kaspa na szybkość i wydajność.

Wersja robocza Żółtej Księgi, 0.0.1, opisuje vProgi jako umożliwiające tworzenie „suwerennych, a jednocześnie komponowalnych” aplikacji. Suwerenność oznacza, że ​​każdy vProg niezależnie kontroluje swoje wewnętrzne operacje, w tym uprawnienia do odczytu i zapisu. Komponowalność pozwala jednemu vProgowi odczytywać dane z innego, ułatwiając interakcje, takie jak transakcje międzyaplikacyjne, ale zapisy są ograniczone do źródłowego vProgu, aby uniknąć konfliktów.

Rozwój vProgs sięga wątku dyskusji z sierpnia 2025 r. na forum badawczym Kaspa, w którym współautorzy poruszyli temat wyzwania w zakresie komponowalności synchronicznej, w tym opóźnienia w dowodach i współdzielenie zasobów. Projekt uwzględnia opinie z tych sesji, choć wiele elementów wciąż wymaga dopracowania, w tym procesy tworzenia kont i mechanizmy usuwania danych.

Podstawowe cechy techniczne vProgs

Funkcjonalność vProgs opiera się na kilku mechanizmach zaprojektowanych w celu obsługi zależności i wydajności w środowisku o wysokiej przepustowości:

Szycie próbne:Łączenie dowodów polega na łączeniu wielu dowodów zerowej wiedzy z połączonych vProgów w jedno zobowiązanie, które jest następnie przesyłane do Warstwy 1. Obsługuje to transakcje atomowe w różnych aplikacjach, w których wyniki ustalają się jednocześnie, bez opóźnień pośrednich, które są powszechne w systemach opartych na zestawianiu.

Partie prób warunkowych:Partie dowodów warunkowych grupują powiązane transakcje w celu zbiorczego dowodzenia, co zmniejsza obciążenie obliczeniowe. Na przykład, w scenariuszu DeFi obejmującym wiele swapów, grupowanie zmniejsza liczbę potrzebnych pojedynczych dowodów.

DAG obliczeniowy:DAG obliczeniowy tworzy graf zależności na poziomie aplikacji, odzwierciedlając strukturę blockDAG Kaspy. Śledzi przepływy danych między vProgami, zapewniając dostępność odwoływanych informacji i zachowanie kolejności wykonywania podczas przetwarzania równoległego. Ten graf pomaga zapobiegać przeciążeniom poprzez sekwencjonowanie zależnych operacji.

Pomiar zasobówPomiar zasobów wprowadza mechanizmy kontroli kosztów. Wewnętrznie każdy vProg używa własnego modelu gazu warstwy 2 do obliczeń. W warstwie 1 ScopeGas mierzy interakcje między vProg, naliczając opłaty na podstawie zależności danych, aby zapobiegać spamowi lub nadmiernemu wykorzystaniu zasobów, na przykład gdy jedna aplikacja zalewa inną danymi wejściowymi.

Model ekonomicznyModel ekonomiczny vProgs opiera się na niezależnych dowodach (ang. permissionless proofers) – węzłach generujących i przesyłających dowody – które pobierają opłaty od użytkowników. Żywotność, czyli gwarancja terminowych dowodów, działa w dwóch trybach: optymistycznym, w którym dowody współpracują, lub suwerennym, w którym aplikacje działają niezależnie. Taka konfiguracja zachęca do uczestnictwa bez polegania na scentralizowanych koordynatorach.

Funkcje prywatnościFunkcje prywatności naturalnie wynikają z dowodów zerowej wiedzy, umożliwiając szyfrowanie stanów w aplikacjach, takich jak poufne transakcje czy wyrocznie. Platforma obsługuje szereg przypadków użycia, od mikropłatności po rozliczanie danych korporacyjnych, poprzez zakotwiczenie weryfikowalnych wyników w krótkich czasach potwierdzania Kaspy.

Konferencja Kaspa Experience w Berlinie

Ogłoszenie vProgs jest zgodne z Doświadczenie Kaspy, konferencja społeczności zaplanowana na 13 września 2025 roku w Atelier Gardens w Berlinie. To jednodniowe wydarzenie, którego liczba biletów ograniczona jest do 500 w cenie 150 dolarów plus opłata za afterparty w wysokości 50 dolarów, wymaga płatności w tokenach KAS, co stanowi wczesne, realne zastosowanie kryptowaluty w logistyce wydarzeń, obejmującej jedzenie, napoje i gadżety.

W programie przewidziano wystąpienia głównych programistów, w tym Sompolinsky'ego, na temat postępów w GHOSTDAG, panele dyskusyjne dotyczące integracji inteligentnych kontraktów oraz warsztaty poświęcone praktycznym wdrożeniom. Hackathon będzie zachęcał do prototypowania, a Kaspa Art Expo zaprezentuje kreatywne zastosowania sieci. Chociaż w harmonogramie nie przewidziano dedykowanej sesji vProgs, materiały prasowe wydarzenia podkreślają programowalną warstwę Kaspa jako fundament dla DeFi i systemów płatności, sugerując nieformalne dyskusje na temat nowego frameworka.

Uczestnicy, reprezentujący górników, handlowców i deweloperów, będą mogli nawiązać kontakty w otoczeniu, które podkreśla zdecentralizowany etos Kaspy. Konferencja jest pierwszym dużym spotkaniem osobistym w ramach projektu, opartym na forach internetowych i kanałach Telegram, umożliwiających współpracę.

Wyzwania i harmonogram wdrażania

Implementacja vProgs wiąże się z przeszkodami typowymi dla systemów zerowej wiedzy. Generowanie dowodów nadal wymaga dużych nakładów obliczeniowych, co potencjalnie wprowadza opóźnienia pomimo wysokiej szybkości bloków Kaspy. Deweloperzy muszą zadbać o kompatybilność maszyn wirtualnych, aby ułatwić przenoszenie ze środowisk takich jak maszyna wirtualna Ethereum.

Uczestnicy forum symulowali modele współdzielenia gazu, aby złagodzić efekty zewnętrzne, w których aktywność jednego vProg wpływa na inne. Dostępność danych w Computation DAG wymaga starannego projektowania, aby uniknąć ryzyka centralizacji.

Harmonogram z sierpniowych dyskusji wskazywał na wdrożenie sieci testowej do czwartego kwartału 2025 roku, po otrzymaniu opinii społeczności na temat projektu. Pełna integracja z siecią główną będzie zależeć od audytu i testów wydajności, a przycinanie i mechanizmy kont będą planowane do przyszłych zmian.

W porównaniu z rollupami Ethereum, które mogą fragmentować płynność między warstwami, czy z wykonywaniem on-chain Solany, które testuje limity przepustowości, vProgs dąży do integracji weryfikowalnych obliczeń bezpośrednio z warstwą bazową proof-of-work. Pozwala to zachować decentralizację przy jednoczesnym wykorzystaniu równoległej produkcji bloków.

Podsumowanie

vProgs wyposaża Kaspę w narzędzia do wykonywania zadań poza łańcuchem, weryfikowane przy użyciu dowodów zerowej wiedzy, w tym łączenie dowodów w celu zapewnienia kompozycyjności, Computation DAG do zarządzania zależnościami i ScopeGas do kontroli zasobów. 

Dzięki tym elementom aplikacje mogą działać skalowalnie w sieci, która potwierdza bloki co kilka sekund, obsługując przypadki użycia od DeFi po rozliczenie danych, bez narażania zabezpieczeń warstwy 1.

Źródła:

• Artykuł Kaspa Daily X na temat vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Wersja robocza żółtego dokumentu vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Wątek forum badawczego Kaspa na temat kompozycyjności synchronicznej: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Doświadczenie Kaspy w Berlinie: https://experience.kaspa.events/