P02-L05 · P02 · P02-M02
Temsili köprü ve itfa varsayımlarına kadar izlemek
Ön koşullar: P02-L04
Öğrenme hedefleri
- Temsili köprü ve itfa varsayımlarına kadar izlemek
- Kaynak ve hedef temsillerini izlemek.
- Mesaj bağlantısıyla köprü iddiasını sınamak.
- Tamamlanmayı teminattan ve insan atfından ayırmak.
EN kaynak master · P02-L05 · 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
Hedef bakiye, farklı mekanizmaya bağlıyken kaynak varlığa benzeyebilir. Bakiyeleri birbirinin yerine kullanılabilir saymadan önce temsil yolunu yeniden kurun.
Açıklama
Temsil tanımlanmış ilişki gerektirir
Köprüler ayrı ağ bağlamlarını bağlar; ek teknik veya güven varsayımları getirir [BRIDGE]. Tasarımlar farklıdır: her köprünün kilitleme ve mint yaptığını veya her yönün yakım ve serbest bırakma olduğunu varsaymayın. Kayıtlarını açıklamadan önce belirli mekanizmayı tanımlayın.
Ders yalnızca alıştırma için kilitleme/mint modeli verir. Kaynak token ile hedef temsil, ağ kapsamındaki farklı nesneler olarak kalır. Modelin dönüştürülebilirlik vaadi kurallarına ve işlemesine bağlıdır; ortak isimle ortaya konmaz.
Yalnızca miktarları değil mesajları eşleştirin
Aynı miktar ve yakın zamanlı iki transfer, kanıtlanmış çift değil adaydır. Varsa protokolün mesaj tanımlayıcısını ve payload alanlarını kullanın. Varlığı, yolu, miktarı ve alıcıyı ilgili kodlamayla karşılaştırın. Normalleştirme veya ücret yaklaşımını belirtin.
İki taraftaki adreslerin aynı insana ait olduğunu çıkarmayın. Protokol, başlatan hesabı kimin kontrol ettiğini veya kimin faydalandığını ortaya koymadan hedef alıcıyı aktarabilir. Relayer'lar ve işlem gönderenleri ayrı rollerde olabilir.
Muhasebeyi aşırı iddiada bulunmadan uzlaştırın
Model, kaynak kilidinin hedef mint'i desteklediğini söylüyorsa tek çifti eşleştirmek sunulan kayıtlar altında o çifti destekler. Tüm mevcut birimlerin teminatlı olduğunu, rezervlerin erişilebilir kaldığını veya tüm önceki operasyonların geçerli olduğunu kanıtlamaz. Bunlar ek kapsam ve durum sorularıdır.
İtfa yolunda seçilen mekanizma altında serbest bırakılan kaynak varlığı veya yakılan hedef varlığı belirleyin. Her tamamlanmayı yerel coine unwrap olarak adlandırmayın. Dönen gerçek varlığı adlandırın.
Yararlı transfer raporu
İki ağı, iki kesin varlık tanımlayıcısını, kaynak eylemini, protokol bağlantısını, hedef eylemini, birim dönüşümünü ve kökeni dahil edin. Çözümlenmemiş sorularla bitirin. Eksik hedef kaydı eksik kanıttır; başarılı tamamlanma uydurma daveti değildir.
Kanıt durumuna göre sınıflandırma
Öğretim verisinde OBSERVED: kaynak/hedef MESSAGE-7 alanları ve ayrı MESSAGE-9 satırı. INFERRED: verilen model altında seçilen kilitleme/mint eşleşmesi. UNKNOWN: eksiksiz rezervler ve insan kontrolörler. INSUFFICIENT EVIDENCE: tek çiftin tüm arz teminatını veya ortak insan kontrolünü kanıtladığı iddiası.
Terimler
- Temsil: mekanizma altında bağlı farklı varlık.
- Wrapped varlık: belirtilen saklama veya protokol kuralları altında başka varlığa bağlı token temsili; köprü transferi olmak zorunda değildir.
- Köprü mesajı: protokole özgü ağlar arası talimat.
- Relayer: mesaj/eylem gönderen katılımcı.
- Teminat: ayrı kanıt gerektiren destekleyici varlıklar/muhasebe.
Tarihsel örnek
ILLUSTRATIVE kilitleme/mint modeli. Kaynak SIM-A, MESSAGE-7 altında 100 ASSET-A kilitler. Hedef SIM-B, MESSAGE-7 altında RECIPIENT-R için 100 REP-A mint eder. Başka hedef satırı MESSAGE-9 altında 100 mint eder. Rezerv envanteri veya insan kimliği kayıtları yoktur.
Görsel özellikler
Kaynak kilidi ve hedef mint'in MESSAGE-7 ile birleştiği fonlama yolu; MESSAGE-9 reddedilen adaydır. Alternatif metin: protokol bağlantısı çifti seçer; miktar tek başına seçmez.
Kanıtın gösterdikleri
Mesajla bağlı tek kurgusal temsil yolu.
Kanıtın göstermedikleri
Genel rezerv teminatı, itfa erişilebilirliği, ortak insan kontrolü veya köprü güvenliği.
Yaygın hatalar
- Eşit miktarlar bağlantı demektir.
- Her köprü aynı tasarımı kullanır.
- Tamamlanma tüm arz için teminatı kanıtlar.
Uygulamalı alıştırma
Eşleşen hedef kaydını seçin, yolu çizin ve teminat/ortak kontrol iddialarını değerlendirin. Eşit miktara rağmen MESSAGE-9'un neden eşleşmediğini 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
MESSAGE-7 verilen kilit ve mint'i bağlar; MESSAGE-9 eşleşen tanımlayıcıdan yoksundur. Yol ASSET-A/SIM-A→köprü kuralları→REP-A/SIM-B. Çift, öğretim verisi varsayımları altında bu eşleşmeyi destekler. Eksiksiz teminat ve ortak insan kontrolü INSUFFICIENT EVIDENCE; kimlikler ve rezervler 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
- Belirli mekanizma.
- Ağ kapsamındaki varlıklar.
- Mesaj ve payload.
- Birim yaklaşımı.
- Rezerv ve kimlik sorularını ayırın.
Özet
Hedef bakiye, farklı mekanizmaya bağlıyken kaynak varlığa benzeyebilir. Bakiyeleri birbirinin yerine kullanılabilir saymadan önce temsil yolunu yeniden kurun. Sunulan malzeme mesajla bağlı tek kurgusal temsil yolunu destekler. Genel rezerv teminatını, itfa erişilebilirliğini, ortak insan kontrolünü veya köprü güvenliğini ortaya koymaz.
Özet
- Kaynak ve hedef temsillerini izlemek.
- Mesaj bağlantısıyla köprü iddiasını sınamak.
- Tamamlanmayı teminattan ve insan atfından ayırmak.
Sonraki ders
P02-L06 — 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ı
- [BRIDGE] Ethereum köprülerine genel bakış — Köprü temsilleri ve ek güven/güvenlik bağımlılıkları. 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-L05-V01
Temsili köprü ve itfa varsayımlarına kadar izlemek
Örnekleyici öğretim verileri; canlı bir ekran değil
Kaynak kilidi ve hedef mint'in MESSAGE-7 ile birleştiği fonlama yolu; MESSAGE-9 reddedilen adaydır. Alternatif metin: protokol bağlantısı çifti seçer; miktar tek başına seçmez.
protokol bağlantısı çifti seçer; miktar tek başına seçmez.
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-L05
Kaynaklar ve iddia sınırları
BRIDGE · PRIMARY_DOCUMENTATION
Ethereum köprülerine genel bakış
- Desteklenen iddia
- Köprü temsilleri ve ek güven/güvenlik bağımlılıkları.
- 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/bridges/
Veri kaynağı
id: FIX-P02-L05
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