P10-L04 · P10 · P10-M01
Ricostruire un percorso a più passaggi con lacune esplicite
Prerequisiti: P10-L03
Obiettivi di apprendimento
- Ricostruire un percorso a più passaggi con lacune esplicite
- Riprodurre un percorso storico UTXO e conservare importi interi senza ipotizzare rami non raccolti.
Perché è importante
Un grafo di finanziamento dall’aspetto continuo può nascondere una transazione mancante o trasformare un output in un presunto proprietario. Il pacchetto storico permette al lettore di riprodurre il percorso effettivamente raccolto e vedere dove termina.
Spiegazione
AVVISO DI PROVENIENZA HISTORICAL: questi sono record Bitcoin del 2009, recuperati il 2 ottobre 2026 da un indicizzatore pubblico. Il pacchetto non stabilisce saldo attuale o identità umana. Iniziare da docs/academy-2/datasets/p10/dataset.json ed eseguire il verificatore offline. Corrispondenze SHA256d grezze stabiliscono gli identificatori delle transazioni serializzate; etichette indicizzate di altezza/hash rimangono dichiarate dal fornitore, senza nodo completo indipendente o prova merkle in questo pacchetto.
Un arco Bitcoin è definito da ID della transazione precedente e indice dell’output, non da un’etichetta amichevole di wallet del fornitore. Seguire l’output citato esatto, registrarne satoshi interi ed esaminare l’input successivo. Una suddivisione crea più output; non prova quale sia resto o chi benefici economicamente. Tracciare ogni ramo raccolto indipendentemente e segnare come lacuna quello non raccolto.
Il percorso selezionato inizia in una coinbase del blocco-9, quindi non esiste precedente input ordinario di finanziamento. Continua attraverso blocco 170 fino al blocco 181. Non disegnare un indirizzo inventato prima della coinbase né rinominare l’output tracciato «resto dello stesso proprietario». La risposta outspend del pacchetto descrive stato dell’indicizzatore al recupero, non stato al tempo originale dell’evento.
Terminologia
Outpoint: ID della transazione più indice dell’output a base zero.
Coinbase: transazione speciale di ricompensa del blocco, senza ordinario input UTXO precedente.
Output tracciato: ramo selezionato del percorso senza affermare proprietà del resto.
Lacuna di raccolta: ramo la cui transazione grezza successiva non è nel pacchetto.
Esempio storico
Transazione madre storica: 0437cd7f8525ceed2324359c2d0ba26006d92d856a9c20fa0241106ee5a597c9, output 0 = 5,000,000,000 sats, blocco 9. Trasferimento: f4184fc596403b9d638783cf57adfe4c75c605f6356fbc91338530e9831e9e16, blocco 170, spende quell’outpoint e crea output 0 = 1,000,000,000 e output 1 = 4,000,000,000 sats. Transazione figlia: a 16f3ce4dd5deb92d98ef5cf8afeaf0775ebca408f708b2146c4fb42b41e14be, blocco 181, spende output 1 del trasferimento e crea 1,000,000,000 e 3,000,000,000 sats. Entrambe le transazioni non-coinbase selezionate conservano gli input con commissione zero in questi record.
La spesa output-0 del trasferimento è menzionata dall’indice outspend recuperato, ma la sua transazione grezza non è raccolta. Anche i discendenti della transazione figlia sono fuori ambito. Tempi delle intestazioni, hash esatti e timestamp di recupero sono preservati nel manifesto; il percorso non è attribuito a persone nominate.
Specifiche visive
Diagramma del percorso di finanziamento con tre ID completi di transazione e altezze indicizzate 9, 170 e 181. Etichettare ogni outpoint e importo in satoshi. Disegnare output-0 del trasferimento e discendenti della transazione figlia come lacune irrisolte di raccolta; nessun cluster di proprietario umano o indirizzo fittizio prima della coinbase.
Didascalia: Percorso storico UTXO raccolto; rami mancanti e limiti dell’attribuzione rimangono visibili.
SPECIFICATION_ONLY — la visualizzazione non è stata prodotta o revisionata indipendentemente.
Cosa dimostrano le prove
OBSERVED nei byte congelati/righe indicizzate: identificatori esatti delle transazioni, collegamenti input/output selezionati e importi interi. Gli identificatori grezzi riprodotti localmente concordano. Le altezze dichiarate dal fornitore ordinano le transazioni selezionate come 9 → 170 → 181.
Cosa non dimostrano le prove
Controllo umano, classificazione del resto, percorsi successivi non raccolti e saldi attuali sono UNKNOWN. L’evidenza disponibile è INSUFFICIENT per supportare qualsiasi accusa su proprietà o intenzioni. L’inclusione canonica nativa non è stabilita indipendentemente da questo pacchetto.
Errori comuni
Nominare l’output tracciato come resto provato; inventare un indirizzo madre per coinbase; riempire da memoria il ramo output-0; usare outspends del tempo di recupero come istantanea del 2009.
Esercizio pratico
Disegnare le tre transazioni raccolte usando outpoint completi. Riconciliare entrambe le suddivisioni in satoshi. Etichettare due limiti di raccolta e riscrivere «una persona ha spostato le stesse monete attraverso tutti e tre i wallet».
Mostra correzione dettagliata
Collegare parent:0 → transfer input 0 e transfer:1 → child input 0. Al trasferimento, 5,000,000,000 = 1,000,000,000 + 4,000,000,000; alla transazione figlia, 4,000,000,000 = 1,000,000,000 + 3,000,000,000. Segnare ramo output-0 non raccolto e tutti i discendenti della transazione figlia con limiti tratteggiati. Sostituire l’affermazione d’identità con «le transazioni grezze raccolte mostrano queste due spese UTXO citate; controllo umano e proprietà del resto non sono stabiliti». Non estendere il grafo usando soltanto la menzione dell’indicizzatore come se il record grezzo fosse verificato.
Lista di controllo
- Eseguire il verificatore dei byte congelati e degli ID grezzi.
- Usare ID della transazione più indice dell’output.
- Conservare satoshi interi a ogni suddivisione raccolta.
- Mantenere qualificate conferma del fornitore e rami non raccolti.
Riepilogo
Il percorso storico congelato supporta specifici archi UTXO e conservazione degli importi, mentre le lacune dei rami bloccano affermazioni più ampie di proprietà e flusso completo.
Riepilogo
- Un arco di percorso è un riferimento esatto all’outpoint.
- Le suddivisioni non provano proprietà del resto.
- Esporre rami non raccolti anziché inventare continuità.
Lezione successiva
P10-L05
Strumenti
Usare lo strumento BlockAssay nominato soltanto come contesto di lettura delle evidenze. Questa lezione non crea output di strumenti, sessioni di account o diritti di accesso. Esercizio offline; non firmare, distribuire, approvare o finanziare nulla.
Fonti e limiti delle affermazioni
-
BTC: Guida per sviluppatori Bitcoin — transazioni — I riferimenti degli input identificano output di transazioni precedenti; gli script non identificano una persona. Limite: Soltanto documentazione dei meccanismi; i valori illustrativi originali sono stipulati, non osservazioni. I record storici hanno provenienza congelata separatamente e lacune esplicite di raccolta.
-
API: Specifica dell’API pubblica Esplora — Percorsi GET, satoshi interi e campi indicizzati di conferma/spesa degli output. Limite: Soltanto documentazione dei meccanismi; i valori illustrativi originali sono stipulati, non osservazioni. I record storici hanno provenienza congelata separatamente e lacune esplicite di raccolta.
-
CHAIN: Riferimento storico congelato della catena — Record di un solo indicizzatore; byte storici congelati, nessuna prova indipendente nativa di inclusione o identità umana.
Classificazioni delle prove
HISTORICAL — date degli eventi e date del recupero sono separate. Vedere pacchetto congelato e lacune di raccolta.
Data di osservazione
2026-10-02 (data del recupero; non tempo dell’evento)
Versione del contenuto
1
Data di revisione
null
Stato della revisione
needs_review
Specifiche visive
P10-L04-V01
Ricostruire un percorso a più passaggi con lacune esplicite
Percorso storico UTXO raccolto; rami mancanti e limiti dell’attribuzione rimangono visibili.
Diagramma del percorso di finanziamento con tre ID completi di transazione e altezze indicizzate 9, 170 e 181. Etichettare ogni outpoint e importo in satoshi. Disegnare output-0 del trasferimento e discendenti della transazione figlia come lacune irrisolte di raccolta; nessun cluster di proprietario umano o indirizzo fittizio prima della coinbase.
Diagramma del percorso di finanziamento con tre ID completi di transazione e altezze indicizzate 9, 170 e 181. Etichettare ogni outpoint e importo in satoshi. Disegnare output-0 del trasferimento e discendenti della transazione figlia come lacune irrisolte di raccolta; nessun cluster di proprietario umano o indirizzo fittizio prima della coinbase.
Impilare osservazioni, ipotesi, lacune e conclusione a 390 px; conservare ID completi ed equivalente testuale completo. Ogni tabella larga scorre localmente.
La prosa può seguire RTL; ID, quantità e assi temporali rimangono LTR. Preservare la direzione delle dipendenze.
P10-FROZEN-RECORDS-v1
Fonti e limiti delle affermazioni
BTC · PRIMARY_DOCUMENTATION
Guida per sviluppatori Bitcoin — transazioni
- Affermazione supportata
- I riferimenti degli input identificano output di transazioni precedenti; gli script non identificano una persona.
- Limite di verifica
- Soltanto documentazione dei meccanismi; i valori illustrativi originali sono stipulati, non osservazioni. I record storici hanno provenienza congelata separatamente e lacune esplicite di raccolta.
- Data della verifica
- 2026-10-02
https://developer.bitcoin.org/devguide/transactions.html
API · PRIMARY_DOCUMENTATION
Specifica dell’API pubblica Esplora
- Affermazione supportata
- Percorsi GET, satoshi interi e campi indicizzati di conferma/spesa degli output.
- Limite di verifica
- Soltanto documentazione dei meccanismi; i valori illustrativi originali sono stipulati, non osservazioni. I record storici hanno provenienza congelata separatamente e lacune esplicite di raccolta.
- Data della verifica
- 2026-10-02
https://github.com/Blockstream/esplora/blob/master/API.md
CHAIN · PUBLIC_CHAIN_RECORD
Riferimento congelato al record primario della catena
- Affermazione supportata
- Riferimento esatto al record storico; byte congelati e mappature delle affermazioni in docs/academy-2/datasets/p10.
- Limite di verifica
- Record di un solo indicizzatore; byte storici congelati, nessuna prova indipendente nativa di inclusione o identità umana.
- Data della verifica
- 2026-10-02
https://blockstream.info/api/tx/f4184fc596403b9d638783cf57adfe4c75c605f6356fbc91338530e9831e9e16
Provenienza dei dati
id: P10-FROZEN-RECORDS-v1
dataStatus: HISTORICAL
observedAt: 2026-10-02
timeBasis: Historical header timestamps distinct from UTC retrieval times
source: Fonte interna non pubblica: questa prova è stata verificata internamente e non è pubblicata.
scope: Frozen Bitcoin chain records and attributed BIP50 publication; see source-to-claim matrix and explicit collection gaps.