Je reviens sans cesse à un détail dans la conception de Newton qui paraît minime jusqu’au moment où l’on s’y attarde. Avant que des opérateurs puissent produire une signature conjointe, le protocole retire quelque chose. Ni des opinions, ni des enjeux, mais la très attestation que chaque opérateur a générée lorsqu’il a récupéré les données de la politique. La sortie s’appelle un condensé de consensus, construit en annulant les champs précis qui rendent la contribution de chaque opérateur distincte. Tout le monde signe une version identique, vidée de sa substance, du même événement.
Je ne pense pas que ce soit un défaut. Je pense que c’est peut-être le mécanisme même qu’il vaut la peine d’étudier.
Newton utilise des signatures BLS pour que des centaines d’opérateurs puissent produire une preuve compacte au lieu d’en produire des centaines séparément. Mais l’agrégation BLS ne fonctionne que si chaque signataire appose son nom sur exactement le même message. Les opérateurs vérifient indépendamment les données de politique à l’aide de leurs propres clés, et chaque attestation est différente, puisqu’elle porte une signature distincte. Si le protocole essayait d’agréger l’enregistrement complet et honnête, les calculs ne s’assembleraient tout simplement pas. Alors Newton calcule deux digests au lieu d’un. Un digest de consensus, avec les champs d’attestation vidés, est signé collectivement et vérifié sur la chaîne via une équation d’appariement. Un digest complet, contenant chaque attestation originale, reste stocké dans le contrat pour plus tard, au cas où quelqu’un aurait un jour besoin de contester le résultat.
Ce que cela signifie, concrètement, c’est que l’accord n’est pas découvert ici : il est construit. Les opérateurs ne convergent pas vers une compréhension partagée des données. Ils convergent vers une forme partagée des données, après qu’on a retiré les parties qui les feraient diverger. L’image complète survit, mais seulement comme preuve, pas comme l’objet même sur lequel on s’accorde.
Il y a quelque chose de presque administratif dans tout ça. Un comité ne débat pas les notes de bas de page : il vote sur le résumé, et les notes de bas de page sont classées au cas où un différend forcerait quelqu’un à revenir les vérifier.
Je trouve cela rassurant en un sens : rien n’est réellement perdu. Le digest complet est bien là, vérifiable, en attente. Mais cela signifie aussi que l’état par défaut du système est une version expurgée des événements, et que la version plus riche n’est consultée que lorsque quelque chose s’est déjà mal passé. La plupart des transactions ne déclencheront jamais un défi. La plupart des digests de consensus ne seront jamais vérifiés par rapport à leur contrepartie complète. La compression devient permanente par défaut : pas parce que les données ont disparu, mais parce que personne n’avait de raison de revenir en arrière.
Je ne sais pas si c’est exactement une faiblesse. Peut-être que c’est simplement à quoi ressemble une infrastructure vérifiable, à grande échelle. Mais cela me fait me demander à quelle fréquence le digest complet est réellement consulté, et si un système fondé sur la non-vérification quasi permanente de son propre enregistrement détaillé est, par esprit, différent d’un système qui n’a jamais conservé cet enregistrement du tout.
@NewtonProtocol #Newt $NEWT $XPIN $BEAT
