Kaspaův nadcházející hardfork zaměřený na Covenant: Co víme

Co je Kaspaův hardfork zaměřený na Covenant?

Podle Terahovo vlákno, Kaspa připravuje hardfork zaměřený na kovenanty, který je naplánován na aktivace hlavní sítě 5. května 2026. Aktualizace se rozšiřuje Vrstva 1 (L1) programovatelnost zavedením nativních aktiv a rozšířené funkcionality smluvních podmínek. Zároveň pokládá základy pro ověřitelné programy (vProgs) a integrace s nulovými znalostmi (ZK).

Kaspa funguje jako blockchain s technologií Proof-of-Work a architekturou blockDAG. Vylepšení Crescendo v květnu 2025 zvýšila propustnost na 10 bloků za sekundu (BPS). Nadcházející hardfork tedy staví na tomto základě, aniž by měnil požadavky na uzly nebo konsenzuální principy.

Vývojáři klíčových programů popisují tuto verzi jako upgrade s širokým rozsahem. Zaměřuje se na umožnění nativního vydávání tokenů, programovatelná pravidla pro utrácení a ověřování ZK na L1. 

Jaký je časový harmonogram hardforku 5. května 2026?

Podle Terahina vlákna předchází aktivaci mainnetu několik milníků:

• Reset testovací sítě 12 (TN12): Naplánováno na začátek února 2026 pro podporu testování smluvních a nativních aktiv.
   
• Závazek sekvenceru KIP: Očekává se kolem 12. února 2026. Tento návrh zavádí závazky týkající se datového zatížení těžařů s cílem posílit decentralizaci v reálném čase.
   
• Vydání SilverScriptu: Programovací jazyk na vysoké úrovni pro psaní programů na platformě Kaspa. Vyvinuto Orim Newmanem a jeho spolupracovníky, zjednodušuje vývoj covenantů.
   
• Hardfork mainnetu: Může 5, 2026.

Mezi vylepšeními po hardforku je DAGKnight, zaměřený na adaptivní konsenzus a propustnost nad 100 BPS a plné nasazení vProgs.

Jak fungují domorodá aktiva a smlouvy na Kaspě?

Nativní aktiva na vrstvě 1

Hardfork představuje nativní aktiva, včetně podpory pro Tokeny KRC20Tato aktiva existují přímo na L1 a lze je atomicky převádět.

Atomové převody se vztahují na:

• Pravidelné inline smlouvy
• Realizace smluv ZK a mimo ZK
• Převody tokenů KRC20

Inline covenanty generují okamžité důkazy v peněžence. Nedochází k oddělení transakčních dat od přechodu stavů. Tento design podporuje atomicitu a deterministické provádění.

Rozšířené smlouvy (Smlouvy++)

Systém smluvních podmínek Kaspy je inspirován výzkumem Bitcoinu v oblasti programovatelných podmínek výdajů UTXO. Covenants++ tento systém rozšiřuje o expresivnější pravidla transakcí.

Objevte slibné projekty...

Slibné projekty...

(Inzerát)

Článek pokračuje...

Mezi případy použití patří:

• Bezpečnostní ovládací prvky ve stylu trezoru
• Mechanismy úschovy
• Podmíněné převody
• Strukturovaná logika tokenů

Systém udržuje model UTXO, nikoli plně založené na chytrých smlouvách na účtech.

Co je výpočetní DAG (CDAG)?

Hardfork představuje výpočetní DAG (CDAG). CDAG zaznamenává všechna prohlášení o čtení a zápisu provedená programy.

Tato struktura:

• Sleduje využití zdrojů
• Reguluje závislosti mezi programy
• Vymáhá závazky týkající se plynu

Design je srovnatelný s modely provádění v blockchainech, jako jsou Solana a Sui, ale v plné podobě je implementován v prostředí blockDAG od Kaspy.

CDAG hraje ústřední roli v umožňování suverenity vProgs.

Co jsou vProgy a jak se liší od chytrých smluv?

vProgy jsou suverénní programy, které se provádějí mimo L1, zatímco výsledky se usazují na L1 pomocí důkazů.

Klíčové vlastnosti:

• Suverénní provedení: Každý vProg definuje svá vlastní pravidla propustnosti a závislostí.
• Řízení závislosti na plynu: vProg nemůže číst stav jiného vProgu, pokud nezaplatí za spotřebu zdrojů.
• Neatomové přenosy: vProgy nejsou pro L1 transparentní stejným způsobem jako nativní datová zdroje. Přenosy jsou asynchronní a neatomické.
• Požadavek na zabalený KAS: Jakákoli neinline smlouva musí používat zabalený KAS přes kanonický most. Nativní L1 KAS nelze použít přímo.

Tato konstrukce odděluje výpočet a stav od L1 a zároveň zachovává sdílené sekvenování a vypořádání.

Kdo by měl vytvářet vProgy?

Podle diskusí v komunitě většina běžných vývojářů aplikací nemusí vProgs potřebovat.

vProgs se však může líbit:

• Architekti Appchainu
• Týmy vyhodnocující systémy typu rollup
• Projekty vytvářející agenty s umělou inteligencí s velkým stavem v řetězci
• Systémoví návrháři porovnávající smlouvy L1, rollupy L2 a hybridní modely

vProgs kombinují sjednocené L1 sekvenování s externalizovaným stavem a výpočtem.

Jakou roli hraje nulová znalost (ZK)?

Hardfork integruje ověřování ZK na L1 a rozšiřuje tak dřívější návrhy, jako například KIP-16.

Mezi podporované funkce patří:

• Ověření důkazu Groth16
• Nedůvěryhodné mosty k systémům L2
• Potenciální aplikace zaměřené na soukromí

Očekává se, že počáteční aplikace budou běžet in-line, přičemž peněženky budou generovat důkazy přímo. Dokonce i implementace ZK založené na kovenantech vyvinuté přispěvateli, jako jsou Hans a Maxim, by měly běžet na běžném hardwaru. Pro rané nasazení není vyžadována žádná specializovaná infrastruktura prověřovačů.

Standardní notebook dokáže generovat důkazy za současných předpokladů.

Programy zaměřené na soukromí jsou po hardforku technicky možné. Soukromí však není uvedeno jako primární zaměření plánu.

Jaký je vztah mezi Sparkle a vProgs?

Sparkle je architektura navržená Antonem pro kombinaci výpočetních DAG a ZK důkazů. Ačkoli Sparkle i vProgs používají komponenty CDAG a ZK, řeší odlišné otázky návrhu.

Charakteristickým rysem vProgs je regulace závislostí. Každý program řídí svou propustnost a vyhýbá se libovolným externím závislostem. Tento model podporuje kompozovatelnost a zároveň zachovává izolaci.

Ovlivní hardfork zabezpečení, MEV nebo požadavky na uzly?

• Rozpočet na bezpečnost: V krátkodobém horizontu se neočekává žádný přímý dopad. Zlepšení závisí spíše na skutečném přijetí produktu než na změnách infrastruktury.
   
• Požadavky na uzel: Žádné změny.
   
• Aukce s provizí pro MEV: Vzhledem k současné fázi vývoje ekosystému je to považováno za předčasné.
   
• PoW mletí pro STARKy: Diskuse se zmiňují o historickém chování raného Etherea, kde adresy s úvodními nulami snižovaly náklady na plyn, což následně vedlo k trhům s grindováním typu Proof-of-Work. Zmínka se týkala spíše kontextu než aktuální funkce.

Co přidává SilverScript?

SilverScript je programovací jazyk na vysoké úrovni určený pro programy Kaspa. Jeho cílem je zjednodušit vývoj smluvních podmínek a programů.

Mezi jeho designové cíle patří:

• Čitelná syntaxe
• Přístupnost pro nové vývojáře
• Kompatibilita s automatizovanými nástroji

Očekává se, že SilverScript sníží bariéru pro psaní aplikací založených na smluvních podmínkách, jakmile budou nativní aktiva spuštěna.

Závěr

Hardfork společnosti Kaspa zaměřený na covenanty rozšiřuje funkcionalitu Layer 1 prostřednictvím nativních aktiv, rozšířených covenantů a ověřování ZK. Zavádí CDAG pro strukturované sledování závislostí a pokládá základy pro suverénní vProgs. Aktualizace zachovává stávající požadavky na uzly a konsenzus Proof-of-Work a zároveň umožňuje vydávání programovatelných tokenů a atomické převody.

Aktivace 5. května 2026 představuje technický krok v plánu společnosti Kaspa. Přidává strukturovanou programovatelnost na úrovni protokolu a připravuje síť na další upgrady, včetně DAGKnight a plného nasazení vProgs.

Zdroje:

• Pevná vidlice Kaspa Convenant-centricOdpočítávání na Kas.live
• Vlákno Terah XNadcházející milníky a hard fork zaměřený na Covenant
• Kaspa ResearchFormální páteřní model pro výpočetní DAG vProg