Cette page est une traduction. La version anglaise fait foi : English
Faire confiance, mais vérifier
Vérifiez un bundle.
Déposez un .bundle.json de hypgraph export. Votre navigateur recalcule chaque SHA-256 de la chaîne et vérifie les lignes face aux événements dans les deux sens : chaque ligne a été écrite par un événement et lui correspond champ par champ, et la ligne de chaque événement est présente. Rien ne quitte votre machine.
Ce que cela prouve — et ce que cela ne prouve pas
- Prouve : que le hash de chaque événement est le SHA-256 de la chaîne exacte affichée et que chacun est lié au précédent ; que chaque nœud, version, lien, retrait, rétractation et réservation du bundle a été écrit par un événement et lui correspond champ par champ ; et qu'il ne manque aucune ligne écrite par un événement. Rien n'a été modifié, ajouté ni supprimé après écriture. Les faits que l'explorateur affiche à côté (quels nœuds et liens, leurs titres, auteurs, heures, s'ils sont retirés) sont eux aussi vérifiés face à ces lignes.
- Ne couvre pas : le statut (état de relecture, soutien, risque, le résumé d'une ligne). C'est ce qu'a dérivé le moteur qui l'a exporté ; redérivez-le à partir des lignes vérifiées avec
hypgraph verify --standing. Les registres écrits avant la 0.7.13 ne hachaient pas certains champs de ligne dans leurs événements (le motif d'un lien, par exemple) ; le résultat les liste comme non couverts. - Ne se fie pas à la politique propre du bundle (qui sont l'importateur et les relecteurs) : la chaîne ne la couvre pas, donc cette page utilise l'importateur par défaut et avertit quand le bundle en nomme un autre. Pour vérifier selon la politique que déclare l'éditeur, utilisez
hypgraph verify --policy policy.json(ou--importer NAME). - Ne prouve pas à lui seul : que le registre entier n'a pas été reconstruit de zéro. Pour cela, collez ci-dessus le hash de tête publié à l'époque (dans un article, un préenregistrement, une étiquette de dépôt).
- Les bundles restreints (une enquête extraite d'un registre partagé) masquent les événements extérieurs. Ceux-là ne peuvent pas être vérifiés, et le résultat le dit : qu'ils soient à l'extérieur relève de la parole du bundle, et seul le registre complet face à la tête publiée exclut un changement caché parmi eux. La portée elle-même doit nommer une enquête et le bundle ne contenir que ses nœuds, afin qu'aucune affirmation ne se fasse passer pour l'enquête ni aucun registre entier pour l'une de ses parties.