İçeriğe geçBlockAssay

Bitcoin mutabakatı ve onaylar

P02-L01 · P02 · P02-M01

Geri döndürülemez güvenlik iddiasında bulunmadan onay güvenini açıklamak

ILLUSTRATIVE · needs_review

Ön koşullar: P01-L01 · P01-L04

Öğrenme hedefleri

  • Geri döndürülemez güvenlik iddiasında bulunmadan onay güvenini açıklamak
  • Belirtilen zincir ucunda onay sayısını hesaplamak.
  • Mempool'da bulunmayı bloğa dahil edilmeden ayırmak.
  • Evrensel garanti vermeden yeniden düzenleme belirsizliğini açıklamak.

EN kaynak master · P02-L01 · 30 dakika tahmini · needs_review

Salt okunur çalışma. Cüzdan bağlantısı, gerçek para, seed phrase, özel anahtar, imza veya canlı alım satım yoktur. Süre editoryal bir tahmindir; görsel varlıklar kullanıma alınmış bileşenler değil, spesifikasyonlardır.

Neden önemli

Onay sayısı yalnızca belirli zincir görünümüne göre anlamlıdır. Düğüm, işlemi seçtiği zincire dahil edilmeden de biliyor olabilir.

Açıklama

Onay sayıları neyi anlatır?

Bitcoin düğümleri blokları doğrular ve birikmiş işe göre geçerli geçmişler arasında seçim yapar. Çatallar geçici olarak rakip bloklar oluşturabilir; bu yüzden yükseklik tek başına benzersiz blok tanımlayıcısı değildir [BTC]. Onay sayısı, alıcı veya ekonomik amaç hakkında sertifika değildir.

Seçilen zincire dahil edilmiş olağan işlem için bu ders, uç yüksekliği eksi dahil edilme yüksekliği artı bir kullanır. Dahil edilme bloğu ilk onay sayılır. Formül, iki yüksekliğin de aynı seçilmiş zincire ait olduğunu ve işlemin o zincirde kaldığını varsayar.

Mempool'u ayrı tutun

Bu alıştırmada bekleyen işleme dahil edilme yüksekliği atanmaz. Tahmini yükseklik ekleyip pozitif sayı hesaplamayın. Düğüm görünümü de kapsamla sınırlıdır: bir düğümün işlemi göstermemesi hiçbir düğümde bulunmadığını kanıtlamaz.

Yeniden düzenlemeler soruyu değiştirir

Bir yükseklikte seçilen blok değişirse önce işlemin hâlâ dahil olup olmadığını ve nerede olduğunu belirleyin. Eski sayıyı yeni uçla kullanmak yanlış iddia üretebilir. Karşılaştırmanın yeniden üretilebilmesi için blok hash'lerini ve gözlem bağlamını koruyun.

Derinliğin artması genellikle geçmişi değiştirmek için gereken işi değiştirir; ancak evrensel geri döndürülemezlik vaadi değildir. Tek sayının tüm ödemeleri, her ağ koşulunu veya satıcı kabulünü garanti ettiğini öğretmeyin. Onay politikası ile protokol mekanizması farklıdır.

Koşulları gizlemeden güveni raporlayın

‘Sunulan seçilmiş zincir, T'yi H bloğunda içerir; K ucunda N onay vardır’ yazın. Ardından kaydın atladıklarını belirtin. Sayı, zincir görünümü varsayımı altında aritmetik sonuçtur; örnek kurgusaldır ve iş veya konsensüsün bağımsız doğrulamasını sağlamaz.

Kanıt durumuna göre sınıflandırma

Örnekleyici pakette OBSERVED: T0 anındaki seçilmiş uç/dahil edilme alanları ve T1 anındaki değişmiş blok. INFERRED: seçilmiş zincir ataları varsayımıyla T0 anında 105−104+1=2 onay. UNKNOWN: kısmi T1 paketinde A'nın sonraki dahil edilmesi. INSUFFICIENT EVIDENCE: eski yükseklikle daha yüksek ucun güncel üç onayı ortaya koyduğu veya geri döndürülemez güvenliği garanti ettiği iddiası.

Terimler

  • Onay: seçilmiş zincirde dahil edilme derinliği.
  • Uç: düğümün seçilmiş zincirinin güncel sonu.
  • Yeniden düzenleme: seçilen zincir geçmişinin değişmesi.
  • Mempool: düğümün bekleyen işlem görünümü.

Tarihsel örnek

ILLUSTRATIVE. T0 anında SIM-BTC uç=105; SIM-TX-A, BLOCK-X içinde 104 yüksekliğinde dahil edilmiş; SIM-TX-B bekliyor. T1 anında seçilmiş uç=106; 104 yüksekliğinde artık BLOCK-Y var ve A sunulan seçilmiş zincir kayıtlarında yok. A için sonraki konum verilmemiştir.

Görsel özellikler

T0 BLOCK-X104→uç105 ve alternatif T1 BLOCK-Y104→uç106 içeren işlem zaman çizelgesi. T1 üzerinde A'nın konumunu bilinmeyen, B'yi bekliyor olarak işaretleyin. Alternatif metin: A'nın yalnızca özgün kurgusal zincir görünümünde iki onayı vardır.

Kanıtın gösterdikleri

Onay aritmetiği ve eski dahil edilme bağlamını yeniden kullanmanın tutarsızlığı.

Kanıtın göstermedikleri

Gerçek Bitcoin mutabakatı, evrensel geri döndürülemezlik veya insan atfı.

Yaygın hatalar

  • Onay sayımında bir eksik/fazla hatası.
  • Bekleyen işlemleri dahil edilmiş saymak.
  • Çataldan sonra blok kimliği olmadan yükseklik kullanmak.

Uygulamalı alıştırma

A'nın T0 onaylarını hesaplayın. B'nin dahil edilme durumunu belirtin. T1 anında yalnızca eski yükseklikten A'ya neden üç onay atanamayacağını açıklayın.

Yalnızca sunulan malzemeyi kullanarak kısa bir kanıt tablosu ve gerekçe teslim edin. Önerilen süre dağılımı: çalışma 12 dk, inceleme/hesaplama 8 dk, düzeltme/quiz 10 dk.

Açıklamalı düzeltmeyi göster

A'nın T0 anında 105−104+1=2 onayı vardır. B bekliyor; dahil edilmesi verilmemiştir. T1 anında eski blok artık seçilmemiştir ve A için yeni konum verilmemiştir; bu kısmi paketten güncel dahil edilme UNKNOWN durumundadır. Üç onay atamak, yeniden kontrol edilmesi gereken dahil edilmenin kendisini varsayardı.

Değerlendirme ölçütü: doğru kapsam, kaynak/öğretim verisi kökeni, doğru gerekçe, açık sınırlamalar ve güvenli çevrimdışı kullanım için ayrı ayrı 1 puan (toplam 5). Uydurulmuş gözlem veya desteklenmeyen insan kimliği atfı, puandan bağımsız olarak düzeltme gerektirir. Bu bir öğrenme geri bildirimidir, sertifikasyon değildir.

Kontrol listesi

  • Seçilmiş zincir varsayımı.
  • Blok hash'i ve yüksekliği.
  • Uç bağlamı.
  • Değişikliklerden sonra dahil edilmeyi yeniden kontrol edin.

Özet

Onay sayısı yalnızca belirli zincir görünümüne göre anlamlıdır. Düğüm, işlemi seçtiği zincire dahil edilmeden de biliyor olabilir. Sunulan malzeme onay aritmetiğini ve eski dahil edilme bağlamını yeniden kullanmanın tutarsızlığını destekler. Gerçek Bitcoin mutabakatını, evrensel geri döndürülemezliği veya insan atfını ortaya koymaz.

Özet

  • Belirtilen zincir ucunda onay sayısını hesaplamak.
  • Mempool'da bulunmayı bloğa dahil edilmeden ayırmak.
  • Evrensel garanti vermeden yeniden düzenleme belirsizliğini açıklamak.

Sonraki ders

P02-L02 — bu alıştırma ve ön koşulları gözden geçirildikten sonra.

Araçlar

NONE. Yetkili katalog, bu ders için ürün erişimi gerektirmez. Dondurulmuş/çevrimdışı malzemeyi kullanın.

Kaynaklar ve iddia sınırları

Sentetik değerler, yazarın oluşturduğu alıştırma girdileridir. Varsa tarihsel değerler, bağlantısı verilen veri kümesini ve onun daha dar kaynak kapsamını kullanmalıdır. Kaynak incelemesi, bağımsız editoryal kabul değildir.

Görsel özellikler

P02-L01-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Geri döndürülemez güvenlik iddiasında bulunmadan onay güvenini açıklamak

Örnekleyici öğretim verileri; canlı bir ekran değil

T0 BLOCK-X104→uç105 ve alternatif T1 BLOCK-Y104→uç106 içeren işlem zaman çizelgesi. T1 üzerinde A'nın konumunu bilinmeyen, B'yi bekliyor olarak işaretleyin. Alternatif metin: A'nın yalnızca özgün kurgusal zincir görünümünde iki onayı vardır.

A'nın yalnızca özgün kurgusal zincir görünümünde iki onayı vardır.

390px genişlikte tam metin eşdeğerini içeren alt alta satırlar; 768px/masaüstü görüntüleme kabulü bekleniyor

RTL yönünde metin; tanımlayıcılar ve sayı-birim grupları LTR kalır; olgusal ok yönleri korunur

FIX-P02-L01

Kaynaklar ve iddia sınırları

BTC · PRIMARY_DOCUMENTATION

Bitcoin geliştirici rehberi — Blokzincir

Desteklenen iddia
Geçerli bloklar, UTXO'lar, iş ve çatallar; tarihsel öğretim verisinin doğrulanması değil.
Doğrulama sınırı
Birincil sayfa, belirtilen mekanizma veya kaynağı açıkça belirtilen yayın için incelenmiştir; örnekleyici verilerin gerçekliğini doğrulamaz.
Kontrol tarihi
2026-10-01
Birincil kaynağı aç
https://developer.bitcoin.org/devguide/block_chain.html

Veri kaynağı

id: FIX-P02-L01

dataStatus: ILLUSTRATIVE

source: Original teaching fixture embedded below; not externally observed

observedAt: null

timeBasis: SIM/T markers are fictional; no real timestamp or chain observation

scope: Invalid training labels; no usable wallet, key or signature

Gerekçeni sınama

P02-L01-Q1 · A'nın T0 onayları nedir?
P02-L01-Q2 · B'nin T0 durumu nedir?
P02-L01-Q3 · Eski yükseklik tek başına T1 anında A'yı ortaya koyabilir mi?
P02-L01-Q4 · Yükseklik rakip bloklar arasında küresel olarak benzersiz midir?
P02-L01-Q5 · Sayı satıcı kabulünü garanti eder mi?