Un développeur de Kaspa démontre le premier programme vérifiable avec règlement sur le testnet-10
Le développeur de Kaspa Maksim Biriukov a déployé un jeu de morpion sous forme de programme vérifiable (vprog) sur le testnet-10, marquant une première implémentation combinant exécution hors chaîne et règlement sur la chaîne. Le système exécute la logique hors chaîne à l'aide de preuves RISC Zero et s'appuie sur les clauses contractuelles (covenants) et les engagements de séquencement de Kaspa introduits lors de la mise à niveau Toccata pour vérifier les règles et distribuer les fonds.
Pourquoi c’est important pour Kaspa
Cette réalisation démontre comment les clauses contractuelles de l'ère Toccata de Kaspa (KIP-16) et les engagements de séquencement (KIP-21) peuvent faire respecter les règlements d'applications sans exécuter la logique applicative sur les nœuds de la couche de base. Cependant, le logiciel reste un prototype précoce testé exclusivement avec des pièces de testnet sans valeur.
Source originale
Discussion
Les commentaires sont publics. Connecte-toi pour participer.