İçeriğe geçBlockAssay

Oracle’lar, birleştirilebilirlik ve sözleşme riski

P11-L07 · P11 · P11-M02

Bağımlılıkları ve başarısızlık yayılımını eşleyin

ILLUSTRATIVE · needs_review

Ön koşullar: P11-L06

Öğrenme hedefleri

  • Bağımlılıkları ve başarısızlık yayılımını eşleyin
  • Oracle ve birleştirilebilirlik bağımlılıklarını eşleyin.
  • Eski veri ve yerel fiyat sınırlarını belirleyin.

EN kaynak master · P11-L07 · 30 dakika tahmini · needs_review

Çevrimdışı biçimlendirici çalışma. Cüzdan bağlantısı, gerçek fonlar, özel anahtarlar, imzalar, canlı işlem veya kişisel portföy girdileri yok. Görseller spesifikasyondur; bu çalışma zamanı içeriği veya sertifikasyon değildir.

Neden önemli

Sözleşme eski, uyumsuz veya ekonomik olarak kırılgan girdiler kullanırken koduna tam uyabilir.

Açıklama

Akışın anlamını okuyun

Veri akışları girdileri toplar ve güncelleme yayımlar; tüketici, proxy ve toplayıcı ayrı bağımlılıklardır [ORACLE]. Varlık çiftini, ağı, ondalıkları, güncelleme zamanını, turu ve kaynak yöntemini kaydedin. Akış sayısı yanılmaz değerleme değildir; proxy yükseltme bağımlılığı ekleyebilir.

Belirtilen tüketici kontrolünü uygulayın

Kurgusal tüketicimiz doğru çift ve ondalık gerektirerek yaş≤60 saniye kabul eder. GözlemT1000 içinde son güncellemeT900 yaş100 verir ve güncelliği geçemez. Kurgusal heartbeat120 tüketicinin60 saniye politikasını geçersiz kılmaz. Gerçek akış güncellemeleri sapma ve heartbeat koşullarını izleyebilir ve ağ gecikmesine uğrayabilir; kesintisiz tick akışları değildir.

Havuz spot’unu referans geçmişinden ayırın

Spot rezerv oranı yerel bir swap ile keskin biçimde değişebilir. V2 teknik raporu birikimli zaman ağırlıklı fiyat gözlemlerini ve güncellik-manipülasyon dengesini ele alır [V2]. TWAP örneklenen yöntemdir; her manipülasyona veya eski piyasaya karşı kanıt değil. Birkaç akış sağlayıcı paylaşabilir; görünen yedeklilik bağımsızlık demek olmayabilir.

Başarısızlık yayılımını izleyin

Özgün bağımlılık zinciri sarılmış varlık→geri alma sözleşmesi→oracle→borç verme eşiği→tasfiye çıkış havuzudur. Her kenarda kullanılan dönüşüm veya varsayımı sorun. Geri alma kesintisi güncellemeler devam etse bile oracle anlamını zayıflatabilir. Denetimin kapsamı, kod sürümü ve tarihi önemlidir; denetim güvenliği garanti etmez. Çevrimdışı alıştırma koşulları eşler; yürütülebilir saldırı veya sözleşme etkileşimi sağlamaz.

Terimler

  • Güncellik: tüketici politikasına göre son sağlanan gözlemin yaşı.
  • Heartbeat: sürekli yayın değil, güncelleme tetikleme aralığı.
  • Birleştirilebilirlik: bileşen çıktısının başka bileşene girdi olması.
  • TWAP: belirtilen pencereli zaman ağırlıklı fiyat tahmini.

Tarihsel örnek

ILLUSTRATIVE tüketiciT1000,akış güncellemesiT900,heartbeat120,tüketici maxAge60,doğru çiftSIM-X/SIM-Y,ondalık2. Ham yanıt12345, 123.45 Y/X demektir. Bağımlılık rotası: wrappedX→redeemerR→feedF→lenderL→exitPoolE. Gerçek sözleşme veya zaman damgası yok.

Görsel özellikler

Cüzdan grafiği ailesi bağımlılık haritası; kenarlar açıkça teknik bağımlılıklardır, kimlik/fonlama atfı değil; akış metaverisi yan paneli, yaş100>60, ham yanıt dönüşümü ve başarısız geri alma dalı.

Kanıtın gösterdikleri

Örneğin güncellik başarısızlığı, ondalık dönüşümü ve varsayılan bağımlılık rotası.

Kanıtın göstermedikleri

Gerçek akış ayarı, sağlayıcı bağımsızlığı, geri alınabilirlik, denetim etkinliği veya protokol güvenliği.

Kanıt sınıfları

  • OBSERVED: FIX-P11-L07 güncellemeT900 ve kontrolT1000 verir.
  • INFERRED: yaş100 sağlanan 60 saniyelik tüketici kuralını geçemez.
  • UNKNOWN: gerçek sağlayıcı bağımsızlığı ve geri alma kapasitesi.
  • INSUFFICIENT EVIDENCE: oracle güncellemeleri veya denetim ödeme gücünü garanti eder.

Yaygın hatalar

  • Heartbeat’i tüketici kabul kuralı saymak.
  • Çifti veya ondalıkları yok saymak.
  • Denetimin her bağımlılığı kapsadığını varsaymak.

Uygulamalı alıştırma

Akış yaşını ve normalize yanıtı hesaplayın. Sağlanan tüketici politikasına göre kabule karar verin. Geri alma kesintisini rota boyunca eşleyin ve güncellik ötesinde iki kontrol adlandırın.

Hesapları veya açıklamaları, iddia/kaynak tablosunu ve sınırları sunun. Önerilen süre: çalışma 12 dakika, alıştırma 8, düzeltme/sınav 10; tahmin kalibrasyona tabidir.

Açıklamalı düzeltmeyi göster

Yaş1000−900=100 saniye;100>60 olduğundan model tüketici politikasında reddedin;100<heartbeat120 olsa bile. Normalize yanıt12345/10^2=123.45 Y/X. Geri alma başarısızlığı wrappedX ile geri alınabilir temel varlık ilişkisini bozabilir; sonra değerlemeyi ve borç veren eşiklerini zayıflatabilir; tam etkiler kurallar olmadan UNKNOWN. Çift/ağ kimliği, ondalık kuralı, tur geçerliliği ve ekonomik referans ayrı kontrollerdir. Yeni damga tek başına yetersizdir.

Biçimlendirici ölçüt (5 puan): yeniden üretilebilir girdiler, doğru yöntem, doğru sonuç, iddiaya özgü kanıt kapsamı, açık sınırlar. Uydurulmuş gözlem, tavsiye çıktısı veya desteksiz güvenlik iddiası puana bakılmaksızın düzeltme gerektirir.

Kontrol listesi

  • Çifti/ağı/birimleri doğrulayın.
  • Yaşı tüketici politikasına göre hesaplayın.
  • Ortak üst bağımlılıkları eşleyin.
  • Denetim ve oracle sınırlarını koruyun.

Özet

Oracle değerlendirmesi kimliği, birimleri, güncelliği ve ekonomik bağımlılıkları birleştirir. Birleştirilebilir mekanizmalar ve denetimler sınırlı kanıt kalır.

Özet

  • Oracle ve birleştirilebilirlik bağımlılıklarını eşleyin.
  • Eski veri ve yerel fiyat sınırlarını belirleyin.

Sonraki ders

P11-L08 düzeltme incelemesinden sonra.

Araçlar

Yetkili katalogda NONE. Sağlanan çevrimdışı örnek/paket yeterlidir; ücretli özellik veya doğrulanmamış Production yeteneği gerekmez. Laboratuvar/sertifikasyon metaverisi sonraki ilişkileri belirtir; erişim kapıları veya canlı ödüller değildir.

Kaynaklar ve iddia sınırları

Görsel özellikler

P11-L07-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Bağımlılıkları ve başarısızlık yayılımını eşleyin

ILLUSTRATIVE — kurgusal girdiler; sinyal veya güvenlik garantisi yok.

Cüzdan grafiği ailesi bağımlılık haritası; kenarlar açıkça teknik bağımlılıklardır, kimlik/fonlama atfı değil; akış metaverisi yan paneli, yaş100>60, ham yanıt dönüşümü ve başarısız geri alma dalı.

Cüzdan grafiği ailesi bağımlılık haritası; kenarlar açıkça teknik bağımlılıklardır, kimlik/fonlama atfı değil; akış metaverisi yan paneli, yaş100>60, ham yanıt dönüşümü ve başarısız geri alma dalı.

390px boyutunda grafik/tablo, varsayımlar, düzeltme ve kaynak panelini üst üste yerleştirin; eksiksiz metin karşılığı sağlayın. Görselleştirme bekliyor.

RTL açıklayıcı metin; sayısal değerler, kimlikler ve kronolojik eksenler LTR kalır; bağımlılık yönlerini koruyun.

FIX-P11-L07

Kaynaklar ve iddia sınırları

ORACLE · PRIMARY_DOCUMENTATION

Chainlink — Veri akışlarına genel bakış

Desteklenen iddia
Toplama, proxy bağımlılıkları ve zaman damgası/sapma/heartbeat sınırları.
Doğrulama sınırı
Belgeler yalnızca mekanizmayı destekler; örnek değerler özgün varsayılan girdilerdir. Tarihsel yayınlar kaynağına atfedilmiş kalır.
Kontrol tarihi
2026-10-01
Birincil kaynağı aç
https://docs.chain.link/data-feeds/overview

V2 · PRIMARY_DOCUMENTATION

Uniswap v2 çekirdek teknik raporu (Mart 2020)

Desteklenen iddia
Rezerv oranı, sabit çarpım mekanizması ve girdi ücreti değişmezi; sürüme özgüdür, canlı dağıtım görüntüsü değildir.
Doğrulama sınırı
Belgeler yalnızca mekanizmayı destekler; örnek değerler özgün varsayılan girdilerdir. Tarihsel yayınlar kaynağına atfedilmiş kalır.
Kontrol tarihi
2026-10-01
Birincil kaynağı aç
https://app.uniswap.org/whitepaper.pdf

Veri kaynağı

id: FIX-P11-L07

dataStatus: ILLUSTRATIVE

observedAt: null

timeBasis: T/SIM markers are fictional order, not timestamps.

source: Author-created fixture embedded in this lesson.

scope: No market observation, usable address, secret, signature or personal financial data.

Gerekçeni sınama

P11-L07-Q1 · Akış yaşı nedir?
P11-L07-Q2 · Heartbeat120 burada akışı kabul edilebilir yapar mı?
P11-L07-Q3 · Normalize yanıt nedir?
P11-L07-Q4 · Güncel akış geri alınabilirliği kanıtlar mı?
P11-L07-Q5 · Denetim ne garanti eder?