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 Kaspa's 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, przychodzi dzień przed Kaspa Konferencja Experience w Berlinie, na której deweloperzy i członkowie społeczności będą dyskutować na temat planu działania projektu.

Tło włączone KaspaArchitektura BlockDAG

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 przekraczając… Bitcoinod 3 do 7 transakcji na sekundę lub Ethereumod 15 do 30 transakcji na sekundę na warstwie 1 przed implementacją partycjonowania.

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 Kaspa sieci. Kaspa został uruchomiony w 2021 r. w oparciu o sprawiedliwy model dystrybucji, unikając finansowania ze strony kapitału podwyższonego ryzyka, co przyczyniło się do jego rozwoju opartego na społeczności. 

Kaspa Służył 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 propozycji vProgs brakowało mu 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, wprowadza system umożliwiający wykonywanie złożonej logiki poza głównym łańcuchem, zapewniając jednocześnie możliwość weryfikacji wyników KaspaWarstwa 1. Każdy vProg działa jako samodzielna jednostka, zarządzając własnymi regułami stanu i przejścia, podobnie jak działają programy 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 wykonywaniu, co jest zgodne z… KaspaNacisk kładzie się 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 Kaspaforum badawcze, na którym autorzy poruszali tematy 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.

rdzeń 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 KaspaStruktura blockDAG. Śledzi przepływy danych między vProg, zapewniając dostępność informacji, do których się odwołują, oraz 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 rozliczenia danych korporacyjnych, poprzez zakotwiczenie weryfikowalnych wyników. KaspaSzybkie czasy potwierdzenia.

Kaspa Konferencja Experience w Berlinie

Ogłoszenie vProgs jest zgodne z Doświadczenie Kaspy, konferencja społeczna zaplanowana na 13 września 2025 r. 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 uiszczenia opłaty w KAS tokenów, co oznaczało wczesne zastosowanie kryptowaluty w realnym świecie w logistyce wydarzeń, obejmującej jedzenie, napoje i gadżety.

W programie przewidziano wystąpienia: core Deweloperzy, w tym Sompolinsky, o postępach w GHOSTDAG, panele na temat integracji inteligentnych kontraktów oraz warsztaty poświęcone praktycznym wdrożeniom. Hackathon będzie zachęcał do prototypowania, a także Kaspa Art Expo prezentuje kreatywne zastosowania sieci. Chociaż w harmonogramie nie ma dedykowanej sesji vProgs, materiały prasowe wydarzenia podkreślają Kaspaprogramowalną warstwę jako fundament dla DeFi i systemów płatniczych, co sugeruje nieformalne dyskusje na temat nowych ram.

Uczestnicy, w tym górnicy, handlowcy i deweloperzy, będą mogli nawiązać kontakty w otoczeniu, które kładzie nacisk na KaspaZdecentralizowany etos. Konferencja jest pierwszym dużym spotkaniem osobistym w ramach projektu, bazującym na forach internetowych i kanałach Telegram do współpracy.

Wyzwania i harmonogram wdrażania

Wdrożenie 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… KaspaWysoka prędkość bloków. Deweloperzy muszą zadbać o kompatybilność maszyn wirtualnych, aby ułatwić przenoszenie ze środowisk takich jak Ethereum Maszyna wirtualna.

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 do Ethereum„rollupy”, które mogą fragmentować płynność na różnych warstwach lub SolanaW ramach wykonywania on-chain, 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.

Wniosek

vProgs wyposaża Kaspa z narzędziami do wykonywania zadań poza łańcuchem, weryfikowanymi dowodami zerowej wiedzy, w tym łączeniem 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:

• Kaspa Artykuł Daily X na 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 
• Kaspa Wątek forum badawczego na temat kompozycyjności synchronicznej: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Kaspa Doświadczenie w Berlinie: https://experience.kaspa.events/