De aanstaande, op het Covenant-systeem gerichte hardfork van Kaspa: wat we weten

Wat is Kaspa's Covenant-Centric Hardfork?

Think Terah's topic, Casp bereidt een op convenanten gerichte hardfork voor, die gepland staat voor mainnet-activering op 5 mei 2026. De upgrade breidt uit Laag 1 (L1) Programmeerbaarheid door de introductie van native assets en uitgebreide functionaliteit voor overeenkomsten. Het legt tevens de basis voor verifieerbare programma's (vProgs) en zero-knowledge (ZK) integraties.

Kaspa functioneert als een proof-of-work blockchain met een blockDAG-architectuur. Crescendo-upgrade In mei 2025 werd de doorvoer verhoogd naar 10 blokken per seconde (BPS). De aankomende hardfork bouwt dus voort op die basis zonder de vereisten voor knooppunten of de fundamentele principes van consensus te wijzigen.

Kernontwikkelaars beschrijven de release als een gerichte upgrade. Deze richt zich op het mogelijk maken van native tokenuitgifte, programmeerbare bestedingsregels en ZK-verificatie op L1-niveau. 

Wat is de tijdlijn voor de Hardfork van 5 mei 2026?

Volgens Terah's bericht gaan er verschillende mijlpalen vooraf aan de activering van het mainnet:

• Testnet 12 (TN12) Reset: Gepland voor begin februari 2026 ter ondersteuning van de toetsing van convenanten en lokale activa.
   
• Sequencer-commitment KIP: Naar verwachting rond 12 februari 2026. Dit voorstel introduceert verplichtingen voor miners met betrekking tot de payload om de realtime decentralisatie te versterken.
   
• SilverScript-release: Een programmeertaal op hoog niveau voor het schrijven van programma's op Kaspa. Ontwikkeld door Ori Newman en medewerkers, vereenvoudigt het de ontwikkeling van covenants.
   
• Mainnet Hardfork: Mei 5, 2026.

De upgrades na de hardfork omvatten DAGKnight, gericht op adaptieve consensus en een doorvoer van meer dan 100 BPS, en de volledige implementatie van vProgs.

Hoe werken inheemse bezittingen en overeenkomsten op Kaspa?

Native assets op laag 1

De hardfork introduceert native assets, inclusief ondersteuning voor KRC20-tokensDeze assets bestaan ​​direct op L1 en kunnen atomair worden overgedragen.

Atoomoverdracht is van toepassing op:

• Reguliere inline-overeenkomsten
• Uitvoering van ZK- en niet-ZK-overeenkomsten
• KRC20-tokenoverdrachten

Inline-overeenkomsten genereren direct bewijs binnen de wallet. Er is geen ontkoppeling tussen transactiegegevens en statusovergangen. Dit ontwerp ondersteunt atomiciteit en deterministische uitvoering.

Uitgebreide overeenkomsten (Covenants++)

Het covenant-systeem van Kaspa is geïnspireerd op Bitcoin-onderzoek naar programmeerbare UTXO-uitgavevoorwaarden. Covenants++ breidt dit systeem uit om meer expressieve transactieregels mogelijk te maken.

Ontdek veelbelovende projecten...

Veelbelovende projecten...

(Advertentie)

Artikel gaat verder...

Gebruiksgevallen zijn onder meer:

• Beveiligingssystemen in kluisstijl
• Escrow-mechanismen
• Voorwaardelijke overdrachten
• Gestructureerde tokenlogica

Het systeem hanteert een UTXO-model in plaats van volledig op accounts gebaseerde slimme contracten.

Wat is een computationele DAG (CDAG)?

De hardfork introduceert de Computational DAG (CDAG).). CDAG registreert alle lees- en schrijfopdrachten die door programma's worden uitgevoerd.

Deze structuur:

• Houdt het resourcegebruik bij.
• Reguleert de afhankelijkheden tussen programma's.
• Handhaaft gasafspraken

Het ontwerp is vergelijkbaar met uitvoeringsmodellen in blockchains zoals Solana en Sui, maar is volledig geïmplementeerd binnen de blockDAG-omgeving van Kaspa.

CDAG speelt een centrale rol in het mogelijk maken van de soevereiniteit van vProgs.

Wat zijn vProgs en waarin verschillen ze van smart contracts?

vProgs zijn soevereine programma's die buiten L1 worden uitgevoerd en de resultaten via bewijzen in L1 vastleggen.

Belangrijkste eigenschappen:

• Soevereine executie: Elke vProg definieert zijn eigen doorvoer- en afhankelijkheidsregels.
• Gasgebaseerde afhankelijkheidsbeheersing: Een vProg kan de status van een andere vProg niet lezen, tenzij er gas wordt betaald voor het verbruik van de resources.
• Niet-atomaire overdrachten: vProgs zijn niet op dezelfde manier transparant voor L1 als native assets. Overdrachten zijn asynchroon en niet-atomisch.
• Ingekapselde KAS-vereiste: Elke niet-inline overeenkomst moet gebruikmaken van ingekapselde KAS via een canonieke brug. Native L1 KAS kan niet rechtstreeks worden gebruikt.

Dit ontwerp scheidt de berekening en de toestand van L1, terwijl gedeelde sequentiebepaling en afwikkeling behouden blijven.

Wie moet vProgs bouwen?

Volgens discussies binnen de community hebben de meeste reguliere applicatieontwikkelaars vProgs mogelijk niet nodig.

vProgs is echter mogelijk aantrekkelijk voor:

• Appchain-architecten
• Teams evalueren rollup-achtige systemen
• Projecten die AI-agenten bouwen met een grote on-chain state.
• Systeemontwerpers vergelijken L1-contracten, L2-rollups en hybride modellen.

vProgs combineren uniforme L1-sequencing met geëxternaliseerde status en berekeningen.

Welke rol speelt zero-knowledge (ZK)?

De hardfork integreert ZK-verificatie op L1, waarmee eerdere voorstellen zoals worden uitgebreid. KIP-16.

Ondersteunde mogelijkheden zijn onder andere:

• Groth16 bewijsverificatie
• Vertrouwensloze bruggen naar L2-systemen
• Potentiële privacygerichte toepassingen

De eerste toepassingen zullen naar verwachting inline draaien, waarbij wallets direct bewijzen genereren. Zelfs op convenanten gebaseerde ZK-implementaties, ontwikkeld door bijdragers zoals Hans en Maxim, zullen naar verwachting op standaard hardware draaien. Voor vroege implementaties is geen gespecialiseerde infrastructuur voor bewijssystemen nodig.

Een standaard laptop kan onder de huidige aannames bewijzen genereren.

Programma's gericht op privacy zijn technisch mogelijk na de hardfork. Privacy staat echter niet vermeld als een primair aandachtspunt in de roadmap.

Wat is de relatie tussen Sparkle en vProgs?

Sparkle is een architectuur die door Anton is voorgesteld voor het combineren van computationele DAG's en ZK-bewijzen. Hoewel zowel Sparkle als vProgs gebruikmaken van CDAG- en ZK-componenten, behandelen ze verschillende ontwerpvraagstukken.

Het kenmerkende van vProgs is de regulering van afhankelijkheden. Elk programma bepaalt zijn eigen doorvoer en vermijdt willekeurige externe afhankelijkheden. Dit model ondersteunt combineerbaarheid met behoud van isolatie.

Zal de hardfork gevolgen hebben voor de beveiliging, MEV of de nodevereisten?

• Veiligheidsbudget: Er worden op korte termijn geen directe gevolgen verwacht. Verbeteringen zijn afhankelijk van de daadwerkelijke acceptatie van het product, en niet van infrastructurele veranderingen.
   
• Knooppuntvereisten: Geen veranderingen.
   
• MEV-terugkoopveilingen: Gezien het huidige stadium van de ecosysteemontwikkeling wordt dit als voorbarig beschouwd.
   
• PoW-grinden voor STARKs: De discussies verwijzen naar historisch gedrag op het vroege Ethereum, waar adressen met voorloopnullen de gaskosten verlaagden, wat op zijn beurt leidde tot proof-of-work-markten. De vermelding was contextueel en geen actuele functie.

Wat voegt SilverScript toe?

SilverScript is een programmeertaal op hoog niveau, speciaal ontwikkeld voor Kaspa-programma's. Het doel is om de ontwikkeling van overeenkomsten en programma's te vereenvoudigen.

De ontwerpdoelstellingen omvatten onder meer:

• Leesbare syntaxis
• Toegankelijkheid voor nieuwe ontwikkelaars
• Compatibiliteit met geautomatiseerde gereedschappen

SilverScript zal naar verwachting de drempel voor het schrijven van op convenanten gebaseerde applicaties verlagen zodra de native assets beschikbaar komen.

Conclusie

De op convenanten gerichte hardfork van Kaspa breidt de Layer 1-functionaliteit uit met native assets, uitgebreide convenanten en ZK-verificatie. Het introduceert CDAG voor gestructureerde afhankelijkheidsregistratie en legt de basis voor soevereine vProgs. De upgrade behoudt de bestaande nodevereisten en het proof-of-work-consensusmechanisme, terwijl programmeerbare tokenuitgifte en atomaire overdrachten mogelijk worden gemaakt.

De activering op 5 mei 2026 markeert een technische stap in de roadmap van Kaspa. Het voegt gestructureerde programmeerbaarheid toe op protocolniveau en bereidt het netwerk voor op verdere upgrades, waaronder DAGKnight en de volledige implementatie van vProgs.

Bronnen:

• Kaspa Convenant-centrische harde vork: Aftellen op Kas.live
• Terah X DraadAankomende mijlpalen en een op het verbond gerichte hard fork
• Kaspa-onderzoekEen formeel basismodel voor de vProg-berekenings-DAG