Kaspa's vProgs verkennen: het raamwerk voor schaalbare, verifieerbare applicaties

Casp heeft de eerste versie van zijn vProgs Geel Papier op 11 september 2025. Dit document beschrijft een protocol voor verifieerbare programma's, of vProgs, die off-chain berekeningen mogelijk maken die beveiligd zijn door zero-knowledge-bewijzen en verankerd zijn aan Kaspa's Laag 1 netwerk. 

Het framework is bedoeld om gedecentraliseerde applicaties te ondersteunen en tegelijkertijd de hoge blokproductiesnelheden van het netwerk te behouden. De aankondiging, gedeeld via een X bericht van @DailyKaspa, vindt een dag voor de Kaspa Experience-conferentie in Berlijn plaats, waar ontwikkelaars en leden van de community de routekaart van het project bespreken.

Achtergrondinformatie over Kaspa's BlockDAG-architectuur

Kaspa werkt anders dan lineaire blockchains, zoals Bitcoin or EthereumHet maakt gebruik van een blockDAG, waarmee meerdere blokken parallel naar elkaar kunnen verwijzen, waardoor de noodzaak om blokken te 'orphanen' tijdens het minen wordt verminderd. Dit ontwerp is gebaseerd op het GHOSTDAG-protocol, ontwikkeld door Yonatan Sompolinsky, dat de Nakamoto-consensus uitbreidt om hogere bloksnelheden mogelijk te maken zonder de veiligheid in gevaar te brengen.

Momenteel, Kaspa verwerkt 10 blokken per seconde, met plannen om dit te verhogen naar 32 blokken per seconde en mogelijk 100 op de langere termijn. Bevestigingen vinden doorgaans plaats binnen één tot tien seconden, met als belangrijkste beperking de netwerklatentie in plaats van de on-chain verwerking. Dit resulteert in een theoretische doorvoer van meer dan 10,000 transacties per seconde, wat de 3 tot 7 transacties per seconde van Bitcoin of de 15 tot 30 transacties per seconde van Ethereum op Layer 1 vóór sharding-implementaties ruimschoots overtreft.

Het netwerk is gebaseerd op proof-of-work-consensus, waarbij miners rekenkundige puzzels oplossen om blokken toe te voegen. Transactiekosten en blokbeloningen worden betaald in KAS-tokens, de native cryptocurrency van het Kaspa-netwerk. Kaspa werd in 2021 gelanceerd met een eerlijk distributiemodel, waarbij durfkapitaal werd vermeden, wat heeft bijgedragen aan de community-gedreven ontwikkeling. 

Kaspa diende voornamelijk als basislaag voor betalingen en dataverwerking, met standaarden zoals KRC-20 voor fungible tokens. Tot het vProgs-voorstel ontbrak native ondersteuning voor smart contracts en was er voor basisbewerkingen een beroep gedaan op eenvoudigere scripts.

Ontdek veelbelovende projecten...

Veelbelovende projecten...

(Advertentie)

Artikel gaat verder...

Wat is Kaspa vProgs?

vProgs, een afkorting voor verifieerbare programma's, introduceert een systeem voor het uitvoeren van complexe logica buiten de hoofdketen, terwijl de resultaten geverifieerd kunnen worden op Kaspa's Layer 1. Elke vProg fungeert als een zelfstandige eenheid die zijn eigen status en overgangsregels beheert, vergelijkbaar met hoe programma's functioneren op Solana maar met toegevoegde zero-knowledge bewijsverificatie.

Zero-knowledge proofs stellen een prover in staat de correctheid van een berekening aan te tonen zonder de onderliggende data openbaar te maken. In vProgs worden deze proofs periodiek ingediend bij Layer 1, waarmee de integriteit van off-chain activiteiten wordt bevestigd. Deze aanpak houdt de hoofdketen licht en richt zich op validatie in plaats van uitvoering, wat aansluit bij Kaspa's nadruk op snelheid en efficiëntie.

Het concept van het Yellow Paper, versie 0.0.1, beschrijft vProgs als applicaties die "soevereine maar toch samenstelbare" applicaties mogelijk maken. Soevereiniteit betekent dat elke vProg zijn interne processen onafhankelijk beheert, inclusief lees- en schrijfrechten. Samenstelbaarheid stelt één vProg in staat om data van een andere te lezen, wat interacties zoals transacties tussen applicaties mogelijk maakt. Schrijfbewerkingen zijn echter beperkt tot de oorspronkelijke vProg om conflicten te voorkomen.

De ontwikkeling van vProgs gaat terug tot een discussie in augustus 2025 op het onderzoeksforum van Kaspa, waar bijdragers het volgende bespraken: uitdagingen in synchrone composabiliteit, inclusief bewijslatentie en het delen van bronnen. Het concept is gebaseerd op feedback uit die sessies, hoewel veel elementen nog moeten worden verfijnd, waaronder processen voor het aanmaken van accounts en mechanismen voor het snoeien van gegevens.

Kerntechnische kenmerken van vProgs

De functionaliteit van vProgs is gebaseerd op diverse mechanismen die zijn ontworpen om afhankelijkheden en efficiëntie in een omgeving met hoge doorvoer te verwerken:

Proefsteek:Proof stitching combineert meerdere zero-knowledge proofs van onderling verbonden vProgs tot één commitment, die vervolgens wordt ingediend bij Layer 1. Dit ondersteunt atomaire transacties tussen applicaties, waarbij de resultaten gelijktijdig worden verrekend zonder tussenliggende vertragingen die veel voorkomen in op rollups gebaseerde systemen.

Voorwaardelijke bewijsbatches: Voorwaardelijk bewijs groepeert gerelateerde transacties in batches voor collectief bewijs, wat de rekenkracht verlaagt. In een DeFi-scenario met meerdere swaps vermindert batching bijvoorbeeld het aantal benodigde individuele bewijzen.

Berekening DAG: De Computation DAG vormt een afhankelijkheidsgrafiek op applicatielaag, die de blockDAG-structuur van Kaspa weerspiegelt. Deze grafiek volgt gegevensstromen tussen vProgs en zorgt ervoor dat de gerefereerde informatie beschikbaar blijft en de uitvoeringsvolgorde behouden blijft tijdens parallelle verwerking. Deze grafiek helpt overbelasting te voorkomen door afhankelijke bewerkingen te sequencen.

Resourcemeting: Resourcemeting introduceert controles om kosten te beheren. Intern gebruikt elke vProg zijn eigen Layer 2-gasmodel voor berekeningen. Op Layer 1 meet ScopeGas interacties tussen vProgs en brengt kosten in rekening op basis van data-afhankelijkheden om spam of overmatig resourcegebruik te ontmoedigen, zoals wanneer één applicatie de invoervereisten van een andere applicatie overbelast.

Economisch modelHet economische model voor vProgs is gebaseerd op permissieloze provers – knooppunten die bewijzen genereren en indienen – die geld verdienen aan gebruikers. Liveness, oftewel de garantie van tijdige bewijzen, werkt via twee modi: optimistisch, waarbij provers samenwerken, of soeverein, waarbij applicaties onafhankelijk van elkaar draaien. Deze opzet stimuleert deelname zonder afhankelijk te zijn van gecentraliseerde coördinatoren.

PrivacyfunctiesPrivacyfuncties komen op natuurlijke wijze voort uit zero-knowledge proofs, waardoor versleutelde statussen mogelijk zijn in toepassingen zoals vertrouwelijke transacties of oracles. Het framework ondersteunt een scala aan use cases, van microbetalingen tot zakelijke data-afwikkeling, door verifieerbare output te koppelen aan Kaspa's snelle bevestigingstijden.

De Kaspa Experience Conferentie in Berlijn

De aankondiging van vProgs sluit aan bij de Kaspa-ervaring, een communityconferentie die gepland staat voor 13 september 2025 in Atelier Gardens in Berlijn. Dit eendaagse evenement, met een maximum van 500 tickets voor $ 150 plus $ 50 afterpartykosten, vereist betaling in KAS-tokens. Dit markeert een vroege, praktische toepassing van de cryptocurrency voor evenementenlogistiek, inclusief eten, drinken en merchandise.

Op de agenda staan ​​keynotes van kernontwikkelaars, waaronder Sompolinsky over de ontwikkelingen in GHOSTDAG, panels over de integratie van smart contracts en workshops gericht op praktische implementaties. Een hackathon stimuleert prototyping, naast een Kaspa Art Expo die creatieve toepassingen van het netwerk demonstreert. Hoewel er geen speciale vProgs-sessie op het programma staat, benadrukken de persmaterialen van het evenement de programmeerbare laag van Kaspa als basis voor DeFi en betalingssystemen, wat suggereert dat er informele discussies over het nieuwe framework plaatsvinden.

Deelnemers, bestaande uit mijnwerkers, handelaren en ontwikkelaars, zullen netwerken in een setting die Kaspa's gedecentraliseerde ethos benadrukt. De conferentie is de eerste grote fysieke bijeenkomst van het project, voortbouwend op online forums en Telegram-kanalen voor samenwerking.

Uitdagingen en implementatietijdlijn

De implementatie van vProgs brengt obstakels met zich mee die kenmerkend zijn voor zero-knowledge systemen. Het genereren van bewijs blijft rekenintensief, wat mogelijk latentie veroorzaakt ondanks de hoge bloksnelheid van Kaspa. Ontwikkelaars moeten rekening houden met de compatibiliteit van virtuele machines om portering vanuit omgevingen zoals de Ethereum Virtual Machine te vergemakkelijken.

Forumdeelnemers hebben gas-sharingmodellen gesimuleerd om externaliteiten te beperken, waarbij de activiteit van één vProg andere beïnvloedt. De beschikbaarheid van gegevens in de Computation DAG vereist een zorgvuldig ontwerp om centralisatierisico's te voorkomen.

De tijdlijnen van de discussies in augustus wezen op een uitrol van het testnet in het vierde kwartaal van 2025, na feedback van de community op het concept. Volledige integratie van het mainnet zou afhangen van audits en prestatiebenchmarks, waarbij pruning en accountmechanismen gepland staan ​​voor toekomstige herzieningen.

Vergeleken met Ethereum's rollups, die liquiditeit over verschillende lagen kunnen fragmenteren, of Solana's on-chain uitvoering, die doorvoerlimieten test, streeft vProgs ernaar om verifieerbare berekeningen rechtstreeks in een proof-of-work-basislaag te integreren. Dit behoudt decentralisatie en maakt tegelijkertijd gebruik van parallelle blokproductie.

Conclusie

vProgs voorziet Kaspa van hulpmiddelen voor off-chain-uitvoering, geverifieerd door zero-knowledge-bewijzen, waaronder proof stitching voor samenstelbaarheid, een Computation DAG voor afhankelijkheidsbeheer en ScopeGas voor resourcebeheer. 

Dankzij deze elementen kunnen applicaties schaalbaar werken op een netwerk dat elke paar seconden blokken bevestigt. Zo worden use cases ondersteund van DeFi tot gegevensverwerking, zonder dat de beveiliging van Layer 1 in gevaar komt.

Bronnen:

• Kaspa Daily X-artikel over vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• vProgs Yellow Paper-concept v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Kaspa Research Forum-thread over synchrone compositionaliteit: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Kaspa Experience in Berlijn: https://experience.kaspa.events/