Oracle, komposabilitas, dan risiko kontrak

Master sumber EN · P11-L07 · 30 menit perkiraan · needs_review

Studi formatif luring. Tanpa koneksi dompet, dana nyata, kunci privat, tanda tangan, perdagangan langsung, atau masukan portofolio pribadi. Visual merupakan spesifikasi; ini bukan konten runtime maupun sertifikasi.

Kontrak dapat mengikuti kodenya tepat sambil menggunakan masukan usang, tidak cocok, atau rapuh secara ekonomi.

Baca makna umpan

Umpan data mengagregasikan masukan dan menerbitkan pembaruan; konsumen, proxy, dan agregator membentuk ketergantungan terpisah [ORACLE]. Catat pasangan aset, jaringan, desimal, waktu pembaruan, putaran, dan metodologi sumber. Angka umpan bukan valuasi yang tidak mungkin salah, dan proxy dapat memperkenalkan ketergantungan upgrade.

Terapkan pemeriksaan konsumen dinyatakan

Konsumen fiktif menerima usia≤60 detik, dengan pasangan dan desimal benar. Pada pengamatanT1000, pembaruan terakhirT900 memberikan usia100 dan gagal kesegaran. Heartbeat fiktif120 tidak mengesampingkan kebijakan60-detik konsumen. Pembaruan umpan nyata dapat mengikuti kondisi deviasi dan heartbeat serta menghadapi keterlambatan jaringan; bukan aliran tick kontinu.

Pisahkan spot pool dari riwayat referensi

Rasio cadangan spot dapat bergerak tajam akibat swap lokal. Whitepaper v2 membahas pengamatan harga tertimbang waktu terakumulasi dan kompromi antara kesegaran dan ketahanan terhadap manipulasi [V2]. TWAP adalah metode tersampel, bukan bukti kebal terhadap semua manipulasi atau pasar usang. Beberapa umpan dapat berbagi penyedia, sehingga redundansi tampak belum tentu berarti independensi.

Telusuri perambatan kegagalan

Rantai ketergantungan asli adalah aset wrapped→kontrak penebusan→oracle→ambang pinjaman→pool keluar likuidasi. Pada setiap sisi, tanyakan konversi atau asumsi yang digunakan. Gangguan penebusan dapat melemahkan makna oracle meski pembaruan berlanjut. Lingkup, versi kode, dan tanggal audit penting, dan audit tidak menjamin keamanan. Latihan luring memetakan kondisi; tidak menyediakan serangan yang dapat dieksekusi atau interaksi kontrak.

• Kesegaran: usia pengamatan terakhir yang disediakan relatif terhadap kebijakan konsumen.
• Heartbeat: interval pemicu pembaruan, bukan streaming kontinu.
• Komposabilitas: output satu komponen menjadi input lainnya.
• TWAP: estimasi harga tertimbang waktu dengan jendela dinyatakan.

ILLUSTRATIVE konsumenT1000,umpan diperbaruiT900,heartbeat120,maxAge konsumen60,pasangan benarSIM-X/SIM-Y,desimal2. Jawaban mentah12345 berarti123.45 Y/X. Rute ketergantungan: wrappedX→redeemerR→feedF→lenderL→exitPoolE. Tanpa kontrak atau timestamp nyata.

Peta ketergantungan keluarga grafik dompet, sisi eksplisit ketergantungan teknis bukan atribusi identitas/pendanaan; panel samping metadata umpan, usia100>60, konversi jawaban mentah, dan cabang penebusan gagal.

Kegagalan kesegaran, konversi desimal, dan rute ketergantungan yang ditetapkan dalam fixture.

Konfigurasi umpan aktual, independensi penyedia, kemampuan penebusan, efektivitas audit, atau keamanan protokol.

• OBSERVED: FIX-P11-L07 memberikan pembaruanT900 dan pemeriksaanT1000.
• INFERRED: usia100 gagal aturan konsumen 60-detik yang disediakan.
• UNKNOWN: independensi penyedia aktual dan kapasitas penebusan.
• INSUFFICIENT EVIDENCE: pembaruan oracle atau audit menjamin solvabilitas.

• Menganggap heartbeat sebagai aturan penerimaan konsumen.
• Mengabaikan pasangan atau desimal.
• Menganggap audit mencakup setiap ketergantungan.

Hitung usia umpan dan jawaban ternormalisasi. Tentukan penerimaan menurut kebijakan konsumen yang disediakan. Petakan gangguan penebusan melalui rute dan sebut dua pemeriksaan di luar kesegaran.

Serahkan perhitungan atau anotasi, tabel klaim/sumber, dan batasan. Alokasi disarankan: studi 12 menit, latihan 8, koreksi/kuis 10; estimasi perlu kalibrasi.

• Verifikasi pasangan/jaringan/satuan.
• Hitung usia terhadap kebijakan konsumen.
• Petakan ketergantungan hulu bersama.
• Pertahankan batasan audit dan oracle.

Penilaian oracle menggabungkan identitas, satuan, kesegaran, dan ketergantungan ekonomi. Mekanisme dapat dikomposisikan dan audit tetap bukti berbatas.

• Petakan ketergantungan oracle dan komposabilitas.
• Identifikasi batas data usang dan harga lokal.

P11-L08 setelah peninjauan koreksi.

NONE dalam katalog otoritatif. Fixture/paket luring yang disediakan cukup; tidak diperlukan fitur berbayar atau kemampuan Production belum terverifikasi. Metadata lab/sertifikasi menunjukkan asosiasi lanjutan, bukan gerbang akses atau penghargaan langsung.

• [ORACLE] Chainlink — Gambaran umum umpan data — Agregasi, ketergantungan proxy, dan batasan timestamp/deviasi/heartbeat. Diperiksa 2026-10-01; penunjuk turn12view3.
• [V2] Whitepaper inti Uniswap v2 (Maret 2020) — Rasio cadangan, mekanisme produk konstan, dan invariant biaya input; khusus versi, bukan snapshot deployment langsung. Diperiksa 2026-10-01; penunjuk turn14view0.