Aller au contenuBlockAssay

Périmètre et hypothèses d’investigation

P10-L01 · P10 · P10-M01

Définir une question réfutable et un périmètre borné de chaîne et de temps

ILLUSTRATIVE · needs_review

Prérequis: P08-L08 · P09-L08

Objectifs pédagogiques

  • Définir une question réfutable et un périmètre borné de chaîne et de temps
  • Rédiger un test de réfutation avant d’examiner un graphe.

Pourquoi ce sujet compte

Une question vague comme « Qui est derrière ce token ? » regroupe implicitement financement, contrôle technique, identité et mobile. Une question bornée permet à un second analyste de contester à partir des mêmes enregistrements plutôt que d’un récit concurrent.

Explication

Commencez par une affirmation qui peut être réfutée. Nommez le réseau, l’identifiant exact de l’actif, l’intervalle de blocs et le prédicat d’événement. Séparez l’observation nécessaire de l’hypothèse qu’elle pourrait étayer. « La sortie X a-t-elle financé l’entrée Y ? » porte sur le registre ; « La même personne contrôle-t-elle les deux ? » exige un autre lien probant.

Consignez à l’avance les conditions de soutien et de réfutation. Si un chemin est absent d’un indexeur, vérifiez la couverture avant d’y voir une réfutation. Un graphe limité à une chaîne ne peut exclure un retrait d’exchange, un pont ou un accord hors chaîne. Définissez une règle d’arrêt : si le reçu ou la preuve de propriété nécessaire est indisponible, limitez la conclusion ou indiquez INSUFFICIENT EVIDENCE. N’élargissez pas le périmètre simplement parce qu’une étiquette semble intéressante.

Conservez quatre champs pour chaque affirmation : enregistrement OBSERVED, interprétation INFERRED avec alternatives, fait UNKNOWN et suffisance des preuves disponibles pour la conclusion proposée. UNKNOWN décrit un fait manquant ; INSUFFICIENT EVIDENCE décrit une décision sur une affirmation. Un rapport peut constater un transfert sans conclure à la propriété.

Terminologie

Périmètre : réseau, actif, intervalle et prédicat.

Réfutateur : enregistrement qui contredirait le test énoncé.

Lien d’attribution : preuve reliant une relation technique au contrôleur proposé.

Exemple historique

ILLUSTRATIVE : l’analyste R reçoit une capture affirmant que l’actif fictif T sur le réseau N a été financé par l’acteur H. Les lignes stipulées indiquent A → B au bloc 100 et C → B au bloc 102 ; aucune preuve d’identité n’existe. Le périmètre proposé est N, les blocs 99–103 et l’actif exact T. Ces étiquettes ne sont pas de vraies adresses. Le prédicat du registre demande si A a financé B dans cet intervalle ; une affirmation distincte sur un contrôleur humain reste non testée.

Spécifications visuelles

Panneau de preuves à deux colonnes : prédicat du registre et prédicat d’identité. Montrez A → B et C → B comme liens stipulés ; ne dessinez aucun cercle de propriétaire commun. Ajoutez une condition de couverture et une case d’arrêt.

Légende : Investigation fictive bornée ; les liens de financement n’identifient pas un humain.

SPECIFICATION_ONLY — le visuel rendu n’a pas été produit ni examiné indépendamment.

Ce que les preuves établissent

Dans le jeu de données stipulé, deux relations de financement sont spécifiées et la question bornée peut recevoir une réponse. Le plan rend les critères de collecte et de rejet vérifiables.

Ce que les preuves n’établissent pas

Cela n’établit aucun événement réel de chaîne, identité, propriété, intention ni historique global de financement. Un résultat de portée limitée ne peut devenir une accusation.

Erreurs fréquentes

Commencer par la personne soupçonnée ; assimiler la destination commune B à un contrôle commun ; élargir silencieusement l’intervalle temporel ; interpréter des lignes de fournisseur manquantes comme preuve d’absence de transaction.

Exercice pratique

Rédigez en une phrase une question réfutable sur le registre et une question distincte de propriété. Précisez l’intervalle, un réfutateur, une couverture préalable et une condition d’arrêt. Classez les deux liens entrants et l’affirmation concernant l’acteur H.

Afficher la correction détaillée

Question sur le registre : « Dans les blocs 99–103 de N, B reçoit-il un transfert de A pour l’actif T ? » Réfutateur : les enregistrements complets décodés pour cet intervalle montrent un autre actif ou une autre destination. Condition de couverture : tous les blocs et types d’événement pertinents sont disponibles. A → B et C → B sont OBSERVED uniquement dans ce jeu fictif. Le contrôle par un même humain est UNKNOWN et les preuves sont INSUFFICIENT pour attribuer à l’acteur H. Arrêtez-vous si l’intervalle nécessaire ou le lien d’attribution ne peut être obtenu.

Liste de contrôle

  • Nommez le réseau et l’actif exacts.
  • Énoncez l’intervalle et le prédicat avant la collecte.
  • Listez un réfutateur et une couverture préalable du fournisseur.
  • Séparez les affirmations sur le registre, le contrôle et l’identité.

Résumé

Une investigation reproductible commence par une affirmation réfutable et un périmètre vérifiable.

Résumé

  • Borner la question avant d’interpréter le graphe.
  • Une relation de financement et une attribution de propriété exigent des preuves différentes.
  • Une couverture manquante peut empêcher une conclusion.

Leçon suivante

P10-L02

Outils

Utilisez l’outil BlockAssay nommé uniquement comme contexte de lecture des preuves. Cette leçon ne crée aucune sortie d’outil, session de compte ni droit d’accès. Exercice hors ligne ; ne signez, ne déployez, n’approuvez et ne financez rien.

Sources et limites des affirmations

  • BTC: Guide développeur Bitcoin — transactions — Les références des entrées identifient les sorties de transactions antérieures ; les scripts n’identifient pas un humain. Limite : Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
  • API: Spécification de l’API publique Esplora — Routes GET, satoshis entiers et champs indexés de confirmation et de dépense des sorties. Limite : Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.

Classification des preuves

ILLUSTRATIVE — entrées hors ligne entièrement fictives ; aucune observation actuelle.

Date d’observation

null — aucune observation réelle

Version du contenu

1

Date de révision

null

Statut de révision

needs_review

Spécifications visuelles

P10-L01-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Définir une question réfutable et un périmètre borné de chaîne et de temps

Investigation fictive bornée ; les liens de financement n’identifient pas un humain.

Panneau de preuves à deux colonnes : prédicat du registre et prédicat d’identité. Montrez A → B et C → B comme liens stipulés ; ne dessinez aucun cercle de propriétaire commun. Ajoutez une condition de couverture et une case d’arrêt.

Panneau de preuves à deux colonnes : prédicat du registre et prédicat d’identité. Montrez A → B et C → B comme liens stipulés ; ne dessinez aucun cercle de propriétaire commun. Ajoutez une condition de couverture et une case d’arrêt.

À 390 px, empilez observations, hypothèses, lacunes et conclusion ; conservez les IDs complets et un équivalent textuel intégral. Tout tableau large défile localement.

La prose peut suivre RTL ; les IDs, quantités et axes temporels restent LTR. Préservez le sens des dépendances.

P10-L01-ILLUSTRATIVE-v1

Sources et limites des affirmations

BTC · PRIMARY_DOCUMENTATION

Guide développeur Bitcoin — transactions

Affirmation étayée
Les références des entrées identifient les sorties de transactions antérieures ; les scripts n’identifient pas un humain.
Limite de vérification
Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
Date de vérification
2026-10-02
Ouvrir la source primaire
https://developer.bitcoin.org/devguide/transactions.html

API · PRIMARY_DOCUMENTATION

Spécification de l’API publique Esplora

Affirmation étayée
Routes GET, satoshis entiers et champs indexés de confirmation et de dépense des sorties.
Limite de vérification
Documentation du mécanisme uniquement ; les valeurs illustratives originales sont stipulées, pas observées. Les enregistrements historiques disposent d’une provenance figée séparément et de lacunes de collecte explicites.
Date de vérification
2026-10-02
Ouvrir la source primaire
https://github.com/Blockstream/esplora/blob/master/API.md

Provenance des données

id: P10-L01-ILLUSTRATIVE-v1

dataStatus: ILLUSTRATIVE

observedAt: null

source: Original offline scenario in realOrHistoricalExample

scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.

Testez votre raisonnement

P10-L01-Q1 · A et C envoient tous deux à B. Quelle conclusion suivante est défendable ?
P10-L01-Q2 · L’API omet le bloc 101. Que doit faire le rapport ?
P10-L01-Q3 · Quel test peut réellement réfuter l’affirmation de financement bornée ?
P10-L01-Q4 · Pourquoi séparer identité et financement dans le rapport ?
P10-L01-Q5 · Un reçu nécessaire ne peut être obtenu. Quel résultat d’arrêt est fondé ?