P02-L02 · P02 · P02-M01
Yürütme receipt'ini konsensüs kesinleşmesinden ayırmak
Ön koşullar: P02-L01
Öğrenme hedefleri
- Yürütme receipt'ini konsensüs kesinleşmesinden ayırmak
- Yürütme sonucunu konsensüs bağlamından ayırmak.
- Kesinleşmiş başarısız yürütmeyi açıklamak.
- Blok atalık varsayımlarını okumak.
EN kaynak master · P02-L02 · 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
Başarı ile kesinleşme farklı soruları yanıtlar. Karıştırmak, başarısız işlemi başarılı veya dahil edilmiş işlemi kanıtın desteklediğinden daha kesin gösterebilir.
Açıklama
Tek durum basamağı değil, iki eksen
Receipt yürütmeyi anlatır. Ethereum yürütmesi, yürütme kurallarını uygulayan ortam olan Ethereum Virtual Machine (EVM) üzerinde çalışır. Konsensüs bilgisi, işlemi içeren bloğun belirli mutabakat durumundaki geçmişe ait olup olmadığını anlatır. Ethereum hisse ispatı, kesinleşme için kontrol noktalarını ve doğrulayıcı oylarını kullanır; doğrulayıcı, oy rolü stake edilmiş ETH ile desteklenen protokol katılımcısıdır [POS]. Yakın tarihli blokta başarılı yürütme henüz kesinleşmemiş olabilir.
Tersine, başarısız yürütme kesinleşmiş geçmişte bulunabilir. Kesinleşme sonucunu yeniden yazmaz. Dahil edilmiş başarısızlık yine ücret tüketebilir [GAS]. İki ekseni tek yeşil ‘tamamlandı’ rozetiyle özetlemeyin.
Receipt'i bloğa bağlayın
İşlem hash'iyle blok hash'ini birlikte tutun. Daha yüksek kesinleşmiş kontrol noktası, receipt bloğunun aynı zincirde onun atası olduğu ortaya konmadıkça tek başına yeterli değildir. Öğretim verisi gerektiğinde bu atalığı açıkça verir; gerçek raporda uydurmayın.
Receipt durumunun sıfır olması o yürütme bağlamında başarısızlığı destekler [RPC]. Ek veri olmadan nedeni tanımlamaz. Eksik hata açıklaması UNKNOWN kalır; tanıdık olduğu için gas tükenmesi hatası teşhisi koymayın.
Ölçümü ve yorumu ayırın
Sunulan durum değeri paket içinde OBSERVED durumundadır. Verilen atalığı mutabakatı sınıflandırmak için uygulamak, bu varsayım altında INFERRED sonucudur. Paket bugün okundu diye güncel canlı durum gözlenmiş olmaz.
Sonuç matrisi kullanın
Dahil edilmiş başarı/kesinleşmemiş, dahil edilmiş başarısızlık/kesinleşmiş ve erişilemeyen kayıt için satırlar oluşturun. Böylece tek durum sözlüğü eksik veriyi gizlemez. Kesinleşmiş sonuç yine token meşruiyetini, kişinin bilgilendirilmiş rızasını veya başka etkileşimin güvenliğini ortaya koymaz.
Kanıt durumuna göre sınıflandırma
Öğretim verisinde OBSERVED: receipt durumları, sunulan ücret ve verilen kontrol noktası atalığı. INFERRED: A'nın başarısız yürütmesi belirtilen kesinleşmiş atalık içinde yer alır. UNKNOWN: B'nin kesinleşmesi ve A'nın başarısızlık nedeni. INSUFFICIENT EVIDENCE: yürütme başarısının tek başına konsensüs kesinleşmesini veya token güvenliğini ortaya koyduğu iddiası.
Terimler
- Yürütme durumu: işlem yürütmesinin başarısı/başarısızlığı.
- Kesinleşme: blok geçmişinin konsensüs mutabakat özelliği.
- Atalık: aynı zincirde blok ilişkisi.
- Receipt bağlamı: işlem ve onu içeren blok.
Tarihsel örnek
ILLUSTRATIVE. R-A: SIM-TX-A, BLOCK-100, status0, gas ücreti0.001 simüle edilmiş ETH. R-B: SIM-TX-B, BLOCK-103, status1. BLOCK-102 kontrol noktası kesinleşmiş olarak verilmiştir ve BLOCK-100'den türemiştir. 103 için kesinleşme iddiası verilmemiştir.
Görsel özellikler
İki eksenli kanıt paneli: A başarısız/varsayım altında kesinleşmiş; B başarılı/kesinleşme bilinmiyor. Alternatif metin: kesinleşme başarısız yürütmeyi başarıya dönüştürmez.
Kanıtın gösterdikleri
Açıkça verilen atalık altında iki eksenli sınıflandırmalar.
Kanıtın göstermedikleri
Bağımsız konsensüs doğrulaması, başarısızlık teşhisi, güvenlik veya güncel ağ durumu.
Yaygın hatalar
- Kesinleşmiş, başarılı demektir.
- Status1, kesinleşmiş demektir.
- Yalnızca yükseklikten atalık tahmin etmek.
Uygulamalı alıştırma
Her işlemi iki eksende sınıflandırın. A'nın ücreti kaybolur mu? B'nin mutabakat bağlamını hangi eksik kayıt çözer?
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, verilen kesinleşmiş atalıkta başarısız yürütmedir; sunulan ücreti 0.001 kalır. B yürütme başarısıdır; bu pakette kesinleşmesi UNKNOWN durumundadır. B'nin başarılı receipt'inin başka kopyası değil, BLOCK-103'ü kapsayan konsensüs/blok atalık kanıtı gerekir. A'nın başarısızlık nedeni UNKNOWN durumundadır.
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
- Receipt sonucu.
- Blok hash'i.
- Konsensüs/atalık desteği.
- Ücreti ayrı tutun.
- Bilinmeyen başarısızlık nedenleri bilinmeyen kalır.
Özet
Başarı ile kesinleşme farklı soruları yanıtlar. Karıştırmak, başarısız işlemi başarılı veya dahil edilmiş işlemi kanıtın desteklediğinden daha kesin gösterebilir. Sunulan malzeme açıkça verilen atalık altında iki eksenli sınıflandırmaları destekler. Bağımsız konsensüs doğrulamasını, başarısızlık teşhisini, güvenliği veya güncel ağ durumunu ortaya koymaz.
Özet
- Yürütme sonucunu konsensüs bağlamından ayırmak.
- Kesinleşmiş başarısız yürütmeyi açıklamak.
- Blok atalık varsayımlarını okumak.
Sonraki ders
P02-L03 — 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ı
- [RPC] Ethereum JSON-RPC — Receipt durumu, blok bağlamı ve ağ kapsamındaki API sonuçları. Kontrol tarihi 2026-10-01.
- [POS] Ethereum hisse ispatı — Konsensüs kontrol noktaları ve yürütme/konsensüs ayrımı. Kontrol tarihi 2026-10-01.
- [GAS] Ethereum gas ve ücretleri — Kullanılan gas ile etkin fiyatın çarpımı ve bloğa dahil edilen başarısız işlemlerin maliyetleri. 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-L02-V01
Yürütme receipt'ini konsensüs kesinleşmesinden ayırmak
Örnekleyici öğretim verileri; canlı bir ekran değil
İki eksenli kanıt paneli: A başarısız/varsayım altında kesinleşmiş; B başarılı/kesinleşme bilinmiyor. Alternatif metin: kesinleşme başarısız yürütmeyi başarıya dönüştürmez.
kesinleşme başarısız yürütmeyi başarıya dönüştürmez.
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-L02
Kaynaklar ve iddia sınırları
RPC · PRIMARY_DOCUMENTATION
Ethereum JSON-RPC
- Desteklenen iddia
- Receipt durumu, blok bağlamı ve ağ kapsamındaki API sonuçları.
- 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://ethereum.org/en/developers/docs/apis/json-rpc/
POS · PRIMARY_DOCUMENTATION
Ethereum hisse ispatı
- Desteklenen iddia
- Konsensüs kontrol noktaları ve yürütme/konsensüs ayrımı.
- 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://ethereum.org/en/developers/docs/consensus-mechanisms/pos/
GAS · PRIMARY_DOCUMENTATION
Ethereum gas ve ücretleri
- Desteklenen iddia
- Kullanılan gas ile etkin fiyatın çarpımı ve bloğa dahil edilen başarısız işlemlerin maliyetleri.
- 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://ethereum.org/en/developers/docs/gas/
Veri kaynağı
id: FIX-P02-L02
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