P02-L01 · P02 · P02-M01
Geri döndürülemez güvenlik iddiasında bulunmadan onay güvenini açıklamak
Ö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ı
- [BTC] Bitcoin geliştirici rehberi — Blokzincir — Geçerli bloklar, UTXO'lar, iş ve çatallar; tarihsel öğretim verisinin doğrulanması değil. Kontrol tarihi 2026-10-01.
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
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
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