Résumé Technique : Preuve d'Attestation Utile (PoUA)

1. Énoncé du Problème

L'article identifie un désalignement fondamental dans les mécanismes de consensus des « chaînes natives d'attestation » — blockchains dont l'activité économique principale est la production et la vérification d'attestations cryptographiques (par exemple, la provenance du contenu, l'attribution de la sortie de l'IA, la traçabilité de la chaîne d'approvisionnement).

Les systèmes actuels de Preuve d'Enjeu (PoS) sont conçus pour des transitions d'état à usage général. Dans ces systèmes, les validateurs perçoivent des frais indépendamment du fait qu'ils traitent correctement la charge de travail spécifique de l'application ou qu'ils la censurent sélectivement. Par conséquent, un adversaire disposant de capitaux suffisants peut acquérir des enjeux, censurer des schémas d'attestation spécifiques, ou extraire de la valeur maximale extractible (MEV) du reordonnancement des attestations sans déclencher les conditions de slashing standard. La sécurité économique de la chaîne reste indifférente à la correction de sa charge de travail dominante.

L'article soutient qu'une chaîne hébergeant des contrats d'attestation sur une L1 à usage général ne peut pas défendre efficacement la charge de travail, car les incitations du consensus sont découplées du travail d'attestation lui-même.

2. Méthodologie : Preuve d'Attestation Utile (PoUA)

La PoUA est une primitive de pondération du consensus conçue pour lier l'influence d'un validateur directement à son historique de traitement d'un travail d'attestation valide. Elle ne remplace pas la primitive BFT sous-jacente (par exemple, la finalité optimiste de style Tendermint) mais constitue une couche qui modifie la manière dont le poids du validateur est calculé.

Mécanisme Central

Le poids du validateur ($w_v$) est calculé comme le produit de l'enjeu verrouillé ($s_v$) et d'un score de réputation non transférable ($r_v$) :
$$w_v(t) = s_v(t) \cdot r_v(t)$$

• Accumulation de Réputation : La réputation croît en fonction de la contribution du validateur au traitement des attestations valides. La fonction de mise à jour est additive et bornée :
  $$r_v(t+E) = \text{clip}_{[r_{min}, r_{max}]}(r_v(t) + \eta \cdot g_v(t) - \lambda \cdot b_v(t))$$
  Où $g_v$ est une mesure pondérée par les frais du traitement d'attestations valides (répartie entre les rôles de proposeur et de votant) et $b_v$ est un score de mauvais comportement.
• Non-transférabilité : La réputation est intrinsèque à l'identité du validateur sur la chaîne et ne peut être transférée ni décomposée.
• Intervalle Borné : $r_{min} > 0$ garantit que les nouveaux validateurs ont un poids non nul (évitant l'exclusion au démarrage froid), tandis que $r_{max} < \infty$ empêche la concentration incontrôlée du pouvoir.

Défense contre les Adversaires Composés

L'article traite de l'« adversaire composé » (un attaquant disposant à la fois de capitaux et de la capacité de contrôler les ensembles d'attestateurs et les adresses de soumission pour cultiver la réputation). La PoUA emploie une défense à six couches :

1. Couche 1 (Formelle) : Exclut les attestations où l'adresse de soumission est égale à l'adresse du proposeur.
2. Couche 2 (Formelle) : Exclut les attestations où l'adresse de soumission se trouve à une distance $d$ dans le graphe des transactions du proposeur (empêchant le routage simple de fonds).
3. Couche 3 (Économique) : Une fraction $\tau_{burn}$ de chaque frais d'attestation est envoyée à une destination non récupérable (par exemple, une adresse de brûlage). Cela crée une borne inférieure formelle sur le coût pour broyer la réputation.
4. Couche 4 (Heuristique) : Détection statistique des motifs de broyage (concentration de schémas, densité du graphe).
5. Couche 5 (Gouvernance) : Un processus d'appel pour les faux positifs.
6. Couche 6 (Futur) : Preuves à divulgation nulle de connaissance d'indépendance du graphe des enjeux.

3. Contributions Clés

Sécurité Formelle et Prime de Coût d'Attaque

L'article dérive une prime de coût d'attaque formelle ($\kappa$) contre un adversaire capitaliste. Dans une chaîne saine à l'état stationnaire, le coût pour acquérir une fraction $\rho$ du poids du consensus est multiplié par le rapport de la réputation honnête moyenne à la réputation minimale :
$$\kappa = \frac{\bar{r}_H}{r_{min}}$$
Avec des paramètres recommandés ($r_{max}/r_{min} \in [4, 10]$), la PoUA offre une prime multiplicative de 4× à 10× sur le coût d'attaque par rapport aux chaînes PoS pures en enjeux équivalentes. Ce « fossé » est formalisé dans la section 5.3.

Borne de Coût de Broyage (Lemme 1)

Une contribution centrale est le Lemme 1, qui établit une borne inférieure formelle sur les frais non récupérables qu'un adversaire composé doit payer pour broyer la réputation. Même si un attaquant contourne les Couches 1 et 2, la brûlure de la Couche 3 garantit :
$$F_{net, \text{par membre}} \geq \frac{\tau_{burn} \cdot \Delta r}{\eta \cdot \alpha_{eff}(m, k)}$$
Cela transforme la défense contre l'agriculture de réputation d'un argument purement heuristique en un argument économique.

Alignement des Incitations

L'article modélise les validateurs comme des maximisateurs de profits. Il soutient que, puisque la réputation est non transférable et représente un revenu futur (via les récompenses de bloc et les frais), le slashing d'un validateur détruit non seulement son enjeu actuel mais aussi son flux de revenus futur. Cet alignement d'incitations « verrouillé dans le temps » est absent dans les PoS à enjeux purs.

Implémentation et Intégration

L'article fournit une spécification d'intégration concrète pour le framework de rollup Sovereign SDK, détaillant :

• Les modifications de sélection des validateurs et de pondération des votes.
• Le stockage de l'état de réputation (32 octets par validateur).
• Des mécanismes de recalage adaptatif des paramètres pour $\tau_{burn}$, $\eta$ et $\lambda$ afin de gérer la dérive du marché des frais sans intervention de gouvernance.

4. Résultats et Validation

L'article présente des résultats dérivés d'un simulateur de référence (prototypes/poua-sim/) :

• Coût d'Attaque : Les simulations de Monte Carlo confirment les courbes analytiques $\kappa$, montrant que la prime de 4×–10× s'applique à différentes tailles d'ensemble de validateurs (de 50 à 1000 validateurs).
• Défense en Couches : Les cartes thermiques de recherche de stratégie démontrent que, bien que des couches de défense individuelles (par exemple, uniquement la Couche 1) puissent être contournées, la combinaison de toutes les couches effondre la récompense des stratégies de broyage vers la base ($r_{min}$).
• États de Transition : L'article quantifie les périodes de « mise en chauffe » et de « récupération » où la prime est inférieure au plafond de l'état stationnaire, fournissant des directives opérationnelles pour le lancement de la chaîne et la récupération post-slashing.

5. Importance et Revendications

L'article positionne la PoUA non pas comme une nouvelle primitive cryptographique, mais comme une synthèse de concepts existants (consensus pondéré par la réputation, preuve de travail utile, et restaking) spécifiquement adaptés aux chaînes natives d'attestation.

• Revendications Modérées : Les auteurs déclarent explicitement que la PoUA ne fournit pas une preuve de sécurité cryptographique complète pour toutes les déviations rationnelles. La défense contre les adversaires composés repose sur un plancher économique formel (Lemme 1) soutenu par une détection heuristique (Couche 4) et une gouvernance (Couche 5).
• Portée : Le mécanisme est conçu pour des chaînes où la charge de travail est la production d'attestations. L'article exclut explicitement les contrats intelligents à usage général, arguant que leur ajout diluerait le fossé de sécurité spécifique que la PoUA fournit.
• Différenciation : Contrairement au restaking (EigenLayer), qui réutilise des enjeux d'une chaîne principale, la PoUA construit un mécanisme de consensus natif où le budget de sécurité est dimensionné et aligné sur la charge de travail d'attestation. Contrairement à la Preuve de Travail Utile (Filecoin/Helium), elle ne nécessite pas d'attestation matérielle externe ; le « travail utile » est vérifiable au niveau du protocole via la vérification de signature.

L'article conclut que la PoUA offre un profil de sécurité défendable pour les chaînes natives d'attestation que les L1 génériques ne peuvent pas reproduire sans reconstruire leur couche de consensus, à condition que le mécanisme soit testé sous contrainte via un calibrage de devnet et une revue externe.