Beaucoup de cryptomonnaies naissent d'un livre blanc marketing. Kaspa est né de plus de dix ans d'articles scientifiques, publiés, discutés et relus par des pairs avant d'être mis en production. Voici le chemin complet, de GHOST à DAGKnight, avec chaque document en accès libre.
I. Accélérer Bitcoin sans le fragiliser
2013 à 2015, à l'Université hébraïque de Jérusalem.
2013
GHOST · Secure High-Rate Transaction Processing in Bitcoin
Le point de départ. L'article montre qu'accélérer les blocs de Bitcoin affaiblit sa sécurité avec la règle de la chaîne la plus longue, et propose une autre règle : suivre le sous-arbre qui porte le plus de travail, en comptant les blocs écartés. Ethereum en adopte une version modifiée.
Premier pas vers le blockDAG : chaque bloc peut référencer plusieurs prédécesseurs, et les transactions des blocs hors de la chaîne principale ne sont plus perdues. Le débit augmente et les petits mineurs sont traités plus équitablement.
Une analyse par la théorie des jeux coopératifs : avec les délais du réseau, il n'existe pas toujours de partage des gains qui retienne chaque mineur dans son pool. Les coalitions de minage sont donc naturellement instables.
Le minage égoïste consiste à cacher ses blocs pour prendre l'avantage. L'article calcule les meilleures stratégies possibles pour un tel attaquant et montre qu'elles deviennent rentables plus tôt qu'on ne le pensait.
Le calcul de sécurité classique de Bitcoin contre la double dépense suppose que l'attaquant ne choisit pas son moment. L'article montre que ce n'est plus vrai s'il peut attendre une occasion, et propose des garanties corrigées.
Yonatan Sompolinsky, Aviv Zohar · ACM Queue 2017 · Communications of the ACM 2018
Une synthèse accessible, publiée par la principale association mondiale d'informaticiens : comment récompenses et frais poussent les mineurs à protéger le réseau, et dans quels cas ils peuvent les pousser à dévier.
Le premier protocole blockDAG : les blocs votent entre eux pour départager les transactions en conflit. Confirmations rapides et débit élevé, mais pas d'ordre complet de toutes les transactions, ce qui limite les contrats.
La pièce maîtresse de Kaspa aujourd'hui. PHANTOM donne un ordre complet à tous les blocs du DAG en repérant les blocs honnêtes, bien connectés entre eux ; GHOSTDAG en est la version efficace, celle qui fait tourner le réseau. Relu par des pairs et présenté à ACM AFT en 2021.
Présenté par ses auteurs comme le premier protocole sans permission qui ne fixe dans ses règles aucune borne sur la latence. Il reste sûr tant que les attaquants ont moins de la moitié de la puissance, et confirme aussi vite que le réseau le permet. Il généralise GHOSTDAG et sera la prochaine grande étape de Kaspa.
Fees and throughput regulation dynamicsjanv. 2025 · hashdag (Yonatan Sompolinsky). Comment les frais régulent l'usage du réseau quand la demande augmente : une base pour l'économie des mineurs de demain.
A Basic Framework For Proofs Stitchingavr. 2025 · FreshAir08. Chaque programme prouve seulement sa part d'une transaction commune, puis un « assembleur » enchaîne ces preuves : les programmes restent indépendants sans tout fondre dans une seule preuve géante.
Data Availability Concernsjuil. 2025 · Hans Moog. Si l'exécution passe dans des couches prouvées et que l'historique est élagué, qui garantit que les données restent disponibles ? Une analyse des incitations en jeu.
On transaction scopes and the visibility of the object DAGaoût 2025 · hashdag (Yonatan Sompolinsky). Comment chaque vProg peut valider, et se faire payer pour valider, les transactions qui touchent à son état, en inscrivant le graphe des objets dans le consensus.
Pruning safety in the vProgs architectureaoût 2025 · FreshAir08. Comment les vProgs restent sûrs quand le réseau efface son historique ancien, grâce à des témoins issus de preuves déjà validées.
Le forum complet : research.kas.pa. Les spécifications officielles du protocole sont les KIP, suivies dans l'onglet À la Une.
Livre blanc MiCA du KAS · LCX, 2025Le document réglementaire européen du KAS, inscrit au registre de l'ESMA : caractéristiques, risques et indicateurs environnementaux.