P10-L04 · P10 · P10-M01
Reconstruir um caminho de múltiplos saltos com lacunas explícitas
Pré-requisitos: P10-L03
Objetivos de aprendizagem
- Reconstruir um caminho de múltiplos saltos com lacunas explícitas
- Reproduzir um caminho UTXO histórico e conservar montantes inteiros sem adivinhar ramos não recolhidos.
Por que importa
Um grafo de financiamento aparentemente contínuo pode esconder uma transação em falta ou transformar uma saída num alegado proprietário. O pacote histórico permite reproduzir o caminho efetivamente recolhido e ver onde termina.
Explicação
AVISO DE PROVENIÊNCIA HISTORICAL: são registos Bitcoin de 2009, recolhidos em 2 de outubro de 2026 num único indexador público. O pacote não estabelece saldo atual nem identidade humana. Comece por docs/academy-2/datasets/p10/dataset.json e execute o verificador offline. Correspondências SHA256d dos dados brutos estabelecem os identificadores das transações serializadas; etiquetas indexadas de altura/hash continuam declaradas pelo fornecedor, sem nó completo independente nem prova de Merkle neste pacote.
Uma ligação Bitcoin é definida pelo ID da transação anterior e índice de saída, não por uma etiqueta amigável de carteira do fornecedor. Siga a saída exata referenciada, registe os satoshis inteiros e examine a entrada seguinte. Uma divisão cria múltiplas saídas; não prova qual é troco nem quem beneficia economicamente. Trace cada ramo recolhido independentemente e marque um não recolhido como lacuna.
O caminho selecionado começa numa coinbase do bloco-9, sem entrada ordinária de financiamento anterior. Continua pelo bloco 170 até ao bloco 181. Não desenhe um endereço inventado antes da coinbase nem renomeie a saída seguida «troco do mesmo proprietário». A resposta outspend do pacote descreve o estado do indexador na recolha, não o estado no momento do evento original.
Terminologia
Outpoint: ID de transação mais índice de saída a partir de zero.
Coinbase: transação especial de recompensa de bloco, sem entrada UTXO ordinária anterior.
Saída seguida: ramo selecionado do caminho sem afirmar propriedade do troco.
Lacuna de recolha: ramo cuja transação bruta subsequente não está no pacote.
Exemplo histórico
Pai histórico: 0437cd7f8525ceed2324359c2d0ba26006d92d856a9c20fa0241106ee5a597c9, saída 0 = 5,000,000,000 sats, bloco 9. Transferência: f4184fc596403b9d638783cf57adfe4c75c605f6356fbc91338530e9831e9e16, bloco 170, gasta esse outpoint e cria saída 0 = 1,000,000,000 e saída 1 = 4,000,000,000 sats. Filho: a 16f3ce4dd5deb92d98ef5cf8afeaf0775ebca408f708b2146c4fb42b41e14be, bloco 181, gasta a saída 1 da transferência e cria 1,000,000,000 e 3,000,000,000 sats. Ambas as transações selecionadas não coinbase conservam entradas com taxa zero nestes registos.
O gasto da saída-0 da transferência é referido pelo índice outspend recolhido, mas a transação bruta não foi recolhida. Os descendentes do filho também ficam fora do âmbito. Horas de cabeçalho, hashes exatos e carimbos de recolha são preservados no manifesto; o caminho não é atribuído a pessoas nomeadas.
Especificações visuais
Diagrama do caminho de financiamento com três IDs de transação completos e alturas indexadas 9, 170 e 181. Etiquete cada outpoint e montante em satoshis. Desenhe saída-0 da transferência e descendentes do filho como lacunas de recolha não resolvidas; sem grupo de proprietários humanos nem endereço fictício pré-coinbase.
Legenda: Caminho UTXO histórico recolhido; ramos em falta e limites de atribuição permanecem visíveis.
SPECIFICATION_ONLY — o visual renderizado não foi produzido nem revisto independentemente.
O que a evidência demonstra
OBSERVED nos bytes congelados/linhas indexadas: identificadores exatos de transações, ligações selecionadas de entradas/saídas e montantes inteiros. Identificadores brutos reproduzidos localmente correspondem. Alturas declaradas pelo fornecedor ordenam as transações como 9 → 170 → 181.
O que a evidência não demonstra
Controlo humano, classificação de troco, caminhos posteriores não recolhidos e saldos atuais são UNKNOWN. A evidência disponível é INSUFFICIENT para apoiar qualquer alegação sobre propriedade ou intenção. A inclusão canónica nativa não está estabelecida independentemente por este pacote.
Erros comuns
Designar a saída seguida como troco provado; inventar endereço pai para coinbase; preencher de memória o ramo saída-0; usar outspends da recolha como retrato de 2009.
Exercício prático
Desenhe as três transações recolhidas usando outpoints completos. Reconcilie ambas as divisões em satoshis. Etiquete duas fronteiras de recolha e reformule «uma pessoa moveu as mesmas moedas pelas três carteiras».
Mostrar correção detalhada
Ligue parent:0 → entrada 0 da transferência e transfer:1 → entrada 0 do filho. Na transferência, 5,000,000,000 = 1,000,000,000 + 4,000,000,000; no filho, 4,000,000,000 = 1,000,000,000 + 3,000,000,000. Marque o ramo saída-0 não recolhido e todos os descendentes com limites tracejados. Substitua a afirmação de identidade por «as transações brutas recolhidas mostram estes dois gastos UTXO referenciados; controlo humano e propriedade do troco não estão estabelecidos». Não amplie o grafo apenas com a referência do indexador como se o registo bruto tivesse sido verificado.
Lista de verificação
- Execute o verificador de bytes congelados e IDs brutos.
- Use ID de transação mais índice de saída.
- Conserve satoshis inteiros em cada divisão recolhida.
- Mantenha ressalvas de confirmação do fornecedor e ramos não recolhidos.
Resumo
O caminho histórico congelado apoia ligações UTXO específicas e conservação de montantes, enquanto as lacunas impedem afirmações mais amplas de propriedade e fluxo completo.
Resumo
- Uma ligação do caminho é uma referência exata de outpoint.
- Divisões não provam propriedade do troco.
- Exponha ramos não recolhidos em vez de inventar continuidade.
Próxima lição
P10-L05
Ferramentas
Utilize a ferramenta BlockAssay indicada apenas como contexto de leitura de evidências. Esta lição não cria resultados de ferramenta, sessões de conta nem direitos de acesso. Exercício offline; não assine, implemente, aprove nem financie nada.
Fontes e limites das afirmações
-
BTC: Guia de desenvolvimento Bitcoin — transações — As referências das entradas identificam saídas de transações anteriores; os scripts não identificam uma pessoa. Limite: Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
-
API: Especificação da API pública Esplora — Rotas GET, satoshis inteiros e campos indexados de confirmação e gasto das saídas. Limite: Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
-
CHAIN: Localizador congelado de cadeia histórica — Registo de um único indexador; os bytes históricos estão congelados, sem prova independente de inclusão nativa ou identidade humana.
Classificações de evidência
HISTORICAL — datas de evento e de recolha são separadas. Consulte o pacote congelado e lacunas de recolha.
Data de observação
2026-10-02 (data de recolha; não tempo do evento)
Versão do conteúdo
1
Data de revisão
null
Estado de revisão
needs_review
Especificações visuais
P10-L04-V01
Reconstruir um caminho de múltiplos saltos com lacunas explícitas
Caminho UTXO histórico recolhido; ramos em falta e limites de atribuição permanecem visíveis.
Diagrama do caminho de financiamento com três IDs de transação completos e alturas indexadas 9, 170 e 181. Etiquete cada outpoint e montante em satoshis. Desenhe saída-0 da transferência e descendentes do filho como lacunas de recolha não resolvidas; sem grupo de proprietários humanos nem endereço fictício pré-coinbase.
Diagrama do caminho de financiamento com três IDs de transação completos e alturas indexadas 9, 170 e 181. Etiquete cada outpoint e montante em satoshis. Desenhe saída-0 da transferência e descendentes do filho como lacunas de recolha não resolvidas; sem grupo de proprietários humanos nem endereço fictício pré-coinbase.
A 390 px, empilhe observações, pressupostos, lacunas e conclusão; mantenha os IDs completos e um equivalente textual integral. As tabelas largas deslocam-se localmente.
A prosa pode seguir RTL; os IDs, quantidades e eixos temporais permanecem LTR. Preserve o sentido das dependências.
P10-FROZEN-RECORDS-v1
Fontes e limites das afirmações
BTC · PRIMARY_DOCUMENTATION
Guia de desenvolvimento Bitcoin — transações
- Afirmação sustentada
- As referências das entradas identificam saídas de transações anteriores; os scripts não identificam uma pessoa.
- Limite de verificação
- Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
- Data de verificação
- 2026-10-02
https://developer.bitcoin.org/devguide/transactions.html
API · PRIMARY_DOCUMENTATION
Especificação da API pública Esplora
- Afirmação sustentada
- Rotas GET, satoshis inteiros e campos indexados de confirmação e gasto das saídas.
- Limite de verificação
- Apenas documentação do mecanismo; os valores ilustrativos originais são estipulados, não são observações. Os registos históricos têm proveniência congelada separadamente e lacunas de recolha explícitas.
- Data de verificação
- 2026-10-02
https://github.com/Blockstream/esplora/blob/master/API.md
CHAIN · PUBLIC_CHAIN_RECORD
Localizador congelado de um registo histórico de cadeia
- Afirmação sustentada
- Localizador exato do registo histórico; os bytes congelados e o mapeamento das afirmações estão em docs/academy-2/datasets/p10.
- Limite de verificação
- Registo de um único indexador; os bytes históricos estão congelados, sem prova independente de inclusão nativa ou identidade humana.
- Data de verificação
- 2026-10-02
https://blockstream.info/api/tx/f4184fc596403b9d638783cf57adfe4c75c605f6356fbc91338530e9831e9e16
Proveniência dos dados
id: P10-FROZEN-RECORDS-v1
dataStatus: HISTORICAL
observedAt: 2026-10-02
timeBasis: Historical header timestamps distinct from UTC retrieval times
source: Fonte interna não pública: esta prova foi verificada internamente e não está publicada.
scope: Frozen Bitcoin chain records and attributed BIP50 publication; see source-to-claim matrix and explicit collection gaps.