İçeriğe geçBlockAssay

Köprüler ve wrapped varlıklar

P02-L05 · P02 · P02-M02

Temsili köprü ve itfa varsayımlarına kadar izlemek

ILLUSTRATIVE · needs_review

Ö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ı

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Birincil kaynağı aç
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

Gerekçeni sınama

P02-L05-Q1 · Eşleşen hedef kaydı hangisidir?
P02-L05-Q2 · Tek çift tüm arzın teminatlı olduğunu kanıtlar mı?
P02-L05-Q3 · ASSET-A ve REP-A aynı defter nesnesi midir?
P02-L05-Q4 · Ortak insan kontrolü var mı?
P02-L05-Q5 · Bu kilitleme/mint modeli her köprüye uygulanabilir mi?