Explorarea vProg-urilor Kaspa: Cadrul pentru aplicații scalabile și verificabile

mătreaţă a lansat prima schiță a sa Cartea galbenă vProgs pe 11 septembrie 2025. Acest document detaliază un protocol pentru programe verificabile, sau vProgs, care permit calcule off-chain securizate prin demonstrații zero-knowledge și ancorate la Kaspa Rețea de nivel 1. 

Cadrul de lucru își propune să sprijine aplicațiile descentralizate, menținând în același timp ratele ridicate de producție de blocuri ale rețelei. Anunțul, distribuit prin intermediul unui... Postare X de la @DailyKaspa, are loc cu o zi înainte de conferința Kaspa Experience de la Berlin, unde dezvoltatorii și membrii comunității vor discuta despre foaia de parcurs a proiectului.

Informații despre arhitectura BlockDAG a Kaspa

Kaspa funcționează diferit față de blockchain-urile liniare, cum ar fi Bitcoin or EthereumFolosește un blockDAG, care permite mai multor blocuri să se referențieze reciproc în paralel, reducând necesitatea blocurilor orfane în timpul mineritului. Acest design se bazează pe protocolul GHOSTDAG, dezvoltat de Yonatan Sompolinsky, care extinde consensul Nakamoto pentru a permite rate de bloc mai mari fără a compromite securitatea.

În prezent, Kaspa procesează 10 blocuri pe secundă, cu planuri de a crește această rată la 32 de blocuri pe secundă și potențial la 100 pe termen lung. Confirmările au loc de obicei în decurs de una până la zece secunde, principala limitare fiind latența rețelei, mai degrabă decât procesarea on-chain. Acest lucru are ca rezultat un randament teoretic de peste 10,000 de tranzacții pe secundă, depășind cu mult cele 3 până la 7 tranzacții pe secundă ale Bitcoin sau cele 15 până la 30 de tranzacții pe secundă ale Ethereum pe Layer 1 înainte de implementările de sharding.

Rețeaua se bazează pe consensul de tip proof-of-work, unde minerii rezolvă puzzle-uri computaționale pentru a adăuga blocuri. Taxele de tranzacție și recompensele pentru blocuri sunt plătite în Jetoane KAS, criptomoneda nativă a rețelei Kaspa. Kaspa a fost lansată în 2021 cu un model de distribuție echitabil, evitând finanțarea cu capital de risc, ceea ce a contribuit la dezvoltarea sa bazată pe comunitate. 

Kaspa a servit în principal ca nivel de bază pentru plăți și decontare a datelor, încorporând standarde precum KRC-20 pentru token-uri fungibile. Până la propunerea vProgs, nu avea suport nativ pentru contracte inteligente, bazându-se pe scripturi mai simple pentru operațiuni de bază.

Descoperă proiecte promițătoare...

Proiecte promițătoare...

(Publicitate)

Articolul continuă...

Ce este Kaspa vProgs?

vProgs, prescurtare de la programe verificabile, introduce un sistem pentru executarea logicii complexe în afara lanțului principal, asigurând în același timp verificarea rezultatelor pe Layer 1 al Kaspa. Fiecare vProg acționează ca o unitate autonomă, gestionându-și propriile reguli de stare și tranziție, similar modului în care funcționează programele pe suntrap dar cu verificare adăugată a dovezii cu cunoștințe zero.

Demonstrațiile zero-knowledge permit unui demonstrator să demonstreze corectitudinea unui calcul fără a dezvălui datele subiacente. În vProgs, aceste demonstrații sunt trimise periodic către Layer 1, confirmând integritatea activităților din afara lanțului. Această abordare menține lanțul principal ușor, concentrându-se pe validare mai degrabă decât pe execuție, ceea ce se aliniază cu accentul pus de Kaspa pe viteză și eficiență.

Versiunea 0.0.1 a proiectului Yellow Paper descrie vProg-urile ca permițând aplicații „suverane, dar compozabile”. Suveranitatea înseamnă că fiecare vProg își controlează independent operațiunile interne, inclusiv permisiunile de citire și scriere. Compozabilitatea permite unui vProg să citească date de la altul, facilitând interacțiuni precum tranzacțiile între aplicații, dar scrierile sunt restricționate la vProg-ul de origine pentru a evita conflictele.

Dezvoltarea vProgs datează dintr-un fir de discuții din august 2025 pe forumul de cercetare Kaspa, unde contribuitorii au abordat provocări în compozibilitatea sincronă, inclusiv latența dovezilor și partajarea resurselor. Versiunea preliminară include feedback-ul din acele sesiuni, deși multe elemente sunt încă în curs de rafinare, inclusiv procesele de creare a conturilor și mecanismele de eliminare a datelor.

Caracteristici tehnice de bază ale vProg-urilor

Funcționalitatea vProgs se bazează pe mai multe mecanisme, concepute pentru a gestiona dependențele și eficiența într-un mediu cu randament ridicat:

Cusături de probăÎmpletirea dovezilor combină mai multe dovezi zero-knowledge din vProg-uri interconectate într-o singură angajament, care este apoi trimisă la Nivelul 1. Aceasta acceptă tranzacții atomice între aplicații, unde rezultatele se stabilesc simultan fără întârzieri intermediare comune în sistemele bazate pe cumulare.

Loturi de probă condiționatăLoturile de demonstrații condiționate grupează tranzacțiile corelate pentru demonstrarea colectivă, ceea ce reduce costurile de calcul. De exemplu, într-un scenariu DeFi care implică swap-uri multiple, gruparea reduce numărul de demonstrații individuale necesare.

DAG de calculDAG-ul de calcul formează un grafic de dependențe la nivelul aplicației, oglindind structura blockDAG a Kaspa. Acesta urmărește fluxurile de date între vProg-uri, asigurându-se că informațiile la care se face referire rămân disponibile și că ordinea de execuție este menținută în timpul procesării paralele. Acest grafic ajută la prevenirea supraîncărcării prin secvențierea operațiilor dependente.

Măsurarea resurselorMăsurarea resurselor introduce controale pentru gestionarea costurilor. Intern, fiecare vProg folosește propriul model de gaz de Nivel 2 pentru calcule. Pe Nivelul 1, ScopeGas măsoară interacțiunile între vProg-uri, percepând taxe bazate pe dependențele de date pentru a descuraja spamul sau utilizarea excesivă a resurselor, cum ar fi o aplicație care inundă cerințele de intrare ale alteia.

Modelul economicModelul economic pentru vProgs se bazează pe demonstratori fără permisiune - noduri care generează și trimit dovezi - care câștigă comisioane de la utilizatori. Liveness, sau garanția dovezilor la timp, funcționează prin două moduri: optimist, în care demonstratorii cooperează, sau suveran, în care aplicațiile rulează independent. Această configurație stimulează participarea fără a se baza pe coordonatori centralizați.

Caracteristici de confidențialitateCaracteristicile de confidențialitate apar în mod natural din dovezile zero-knowledge, permițând stări criptate în aplicații precum tranzacții confidențiale sau oracole. Cadrul de lucru acceptă o gamă largă de cazuri de utilizare, de la microplăți la decontarea datelor întreprinderilor, prin ancorarea ieșirilor verificabile la timpii rapizi de confirmare ai Kaspa.

Conferința Kaspa Experience de la Berlin

Anunțul vProgs se aliniază cu Experiența Kaspa, o conferință comunitară programată pentru 13 septembrie 2025, la Atelier Gardens din Berlin. Acest eveniment de o zi, limitat la 500 de bilete la prețul de 150 USD plus o taxă de 50 USD pentru petrecerea ulterioară, necesită plata în token-uri KAS, marcând o aplicație timpurie în lumea reală a criptomonedei pentru logistica evenimentelor, inclusiv mâncare, băuturi și mărfuri.

Agenda include prezentări principale susținute de dezvoltatori principali, inclusiv Sompolinsky, despre progresele înregistrate în GHOSTDAG, paneluri despre integrarea contractelor inteligente și ateliere axate pe implementări practice. Un hackathon va încuraja prototiparea, alături de o expoziție de artă Kaspa care va prezenta utilizări creative ale rețelei. Deși nu este prevăzută nicio sesiune dedicată vProgs în program, materialele de presă ale evenimentului evidențiază stratul programabil al Kaspa ca fundație pentru sistemele DeFi și de plată, sugerând discuții informale despre noul cadru.

Participanții, formați din mineri, comercianți și dezvoltatori, vor interacționa într-un cadru care pune accentul pe etosul descentralizat al Kaspa. Conferința reprezintă prima întâlnire majoră față în față a proiectului, bazându-se pe forumuri online și canale Telegram pentru colaborare.

Provocări și calendarul implementării

Implementarea vProgs implică obstacole comune sistemelor zero-knowledge. Generarea de dovezi rămâne intensivă din punct de vedere computațional, introducând potențial latență în ciuda vitezei mari de blocare a Kaspa. Dezvoltatorii trebuie să abordeze compatibilitatea mașinilor virtuale pentru a facilita portarea din medii precum Mașina Virtuală Ethereum.

Participanții la forum au simulat modele de partajare a gazelor pentru a atenua externalitățile, în care activitatea unui vProg îi afectează pe ceilalți. Disponibilitatea datelor în Computation DAG necesită o proiectare atentă pentru a evita riscurile de centralizare.

Cronologia discuțiilor din august a indicat o lansare a rețelei de test până în trimestrul al patrulea al anului 2025, în urma feedback-ului comunității cu privire la proiect. Integrarea completă a rețelei principale ar depinde de teste de audit și de teste de performanță, iar reducerea structură și mecanica conturilor vor fi programate pentru revizuiri viitoare.

Comparativ cu rollup-urile Ethereum, care pot fragmenta lichiditatea pe mai multe niveluri, sau cu execuția on-chain a Solana, care testează limitele de randament, vProgs urmărește să integreze calcule verificabile direct într-un nivel de bază proof-of-work. Acest lucru păstrează descentralizarea, valorificând în același timp producția de blocuri paralele.

Concluzie

vProgs echipează Kaspa cu instrumente pentru execuție off-chain verificate prin demonstrații zero-knowledge, inclusiv proof stitching pentru compozabilitate, un Computation DAG pentru gestionarea dependențelor și ScopeGas pentru controlul resurselor. 

Aceste elemente permit aplicațiilor să funcționeze scalabil într-o rețea care confirmă blocurile la fiecare câteva secunde, suportând cazuri de utilizare variind de la DeFi la soluționarea datelor, fără a compromite securitatea Layer 1.

Surse:

• Articolul Kaspa Daily X despre vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• vProgs Ghid Galben v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Discuție pe forumul de cercetare Kaspa despre compozibilitatea sincronă: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Experiența Kaspa în Berlin: https://experience.kaspa.events/