Oracle: harga yang dipercayai oleh kontrak

Sempadan antara kod dengan pemerhatian

Kontrak pintar boleh menggunakan aritmetik secara konsisten walaupun inputnya lemah. Orakel membekalkan maklumat yang tidak boleh disimpulkan secara bebas oleh kontrak daripada keadaan pelaksanaannya sendiri, seperti harga pasaran luaran. Dokumentasi orakel Ethereum menerangkan sempadan antara pelaksanaan rantaian blok dengan data luar ini. Soalan penting bukan hanya sama ada suapan dikemas kini, tetapi maksud angka yang dikemas kini itu.

Harga mungkin mewakili satu tempat dagangan, agregat, pemerhatian berwajaran masa atau nilai penebusan. Definisi ini menjawab soalan berbeza. Harga pelaksanaan bursa menerangkan transaksi; harga rujukan menyokong peraturan; nilai penebusan menerangkan tuntutan di bawah syarat tertentu. Harga ini tidak patut saling menggantikan tanpa penjelasan.

Periksa spesifikasi suapan

Untuk pasaran pinjaman rekaan, tulis pasangan aset, unit, tempat perpuluhan, syarat kemas kini dan tingkah laku sandaran. Tentukan sama ada nilai disebut dalam dolar, token lain atau aset asas. Angka yang kelihatan betul tetapi diskalakan dengan faktor perpuluhan yang salah boleh menjadi sangat salah apabila ditafsirkan oleh komponen lain.

Periksa juga kebaharuan data. Suapan yang dikemas kini hanya selepas penyimpangan atau sela masa tertentu boleh berbeza secara sah daripada buku pesanan yang bergerak pantas. Aplikasi mesti menentukan berapa lama dianggap terlalu lama dan tindakan seterusnya. Menghentikan pinjaman baharu sementara boleh melindungi daripada data lapuk sambil masih membiarkan kedudukan sedia ada terdedah kepada kemas kini harga kemudian. Tiada pilihan sandaran yang tidak memudaratkan dalam semua keadaan.

Kecairan sebahagian daripada kualiti input

Pasaran tipis boleh menghasilkan harga dagangan terakhir yang tidak mewakili transaksi besar yang boleh dilaksanakan. Mengagregatkan tempat dagangan mungkin mengurangkan kebergantungan pada satu tempat, tetapi pemilikan bersama, kecairan dikongsi atau gangguan serentak boleh mengehadkan kebebasan yang diperoleh. Purata masa melicinkan pergerakan singkat sambil memperkenalkan kelewatan. Setiap reka bentuk menukar satu set kelemahan dengan set yang lain.

Pertimbangkan token dengan harga sebutan $10 tetapi hanya $5,000 kedalaman belian berhampiran. Menilai cagaran $1 juta pada harga marginal itu tidak menunjukkan pelaksana pembubaran boleh merealisasikan $1 juta. Orakel boleh melaporkan rujukan ditetapkannya dengan betul sementara model risiko melebihanggarkan hasil yang boleh dipulihkan. Kualiti data dan kapasiti pembubaran ialah masalah berkaitan tetapi berbeza.

Uji tekanan kedua-dua sisi nisbah cagaran

Pinjaman bercagar bergantung pada harga cagaran dan harga hutang. Meminjam token yang disifatkan stabil tidak menjadikan nilai dolarnya tetap secara matematik. Jika hutang menjadi lebih mahal untuk dibeli semula sementara cagaran jatuh, kedudukan merosot dari kedua-dua arah. Modelkan perubahan itu secara berasingan dan bukannya mengekalkan satu bahagian tetap kerana kebiasaan.

Katakan cagaran bernilai $12,000, hutang ialah 6,000 unit yang pada awalnya bernilai $1 setiap satu, dan ambang pembubaran hipotetikal ialah 75%. Nisbah kesihatan awal ialah 1.50. Jika cagaran jatuh 25% kepada $9,000 sementara unit hutang meningkat kepada $1.10, nisbah menjadi $9,000 × 0.75 ÷ $6,600, kira-kira 1.023. Penampan yang kelihatan selesa hampir habis.

Selidik integrasi, bukan sekadar penyedia

Penyedia data bereputasi tidak menjamin aplikasi memilih suapan betul, mengendalikan nilai yang tidak tersedia atau memeriksa cap masa dengan betul. Semak dokumentasi aplikasi, audit berkaitan dan keputusan parameter. Dalam latihan simulasi, jejaki kemas kini harga biasa dan kemudian kemas kini yang tiada melalui pengiraan. Nyatakan bahagian yang kekurangan bukti dan bukannya mengisi jurang dengan keyakinan.

Pelan pemantauan yang berguna membezakan pergerakan pasaran daripada anomali suapan. Bandingkan rujukan dinyatakan dengan pemerhatian bebas dan dasar kemas kini jangkaan suapan. Perbezaan wajar disiasat, bukan didagangkan secara automatik. Pelajaran ini tentang memahami tingkah laku kontrak dan risiko operasi, bukan mengeksploitasi kelemahan input atau menganggap salah harga yang kelihatan boleh dimanfaatkan dengan selamat.

Untuk latihan tambahan, kira kedudukan cagaran yang sama menggunakan tiga andaian rujukan: suapan terakhir dilaporkan, harga bida semasa yang boleh dilaksanakan dan harga jualan dalam tekanan. Labelkan setiap satu dengan jelas. Julat yang terhasil bukan selang keyakinan; ia kepekaan terhadap pilihan penilaian. Tujuannya adalah untuk mendedahkan definisi harga yang menentukan kesimpulan dan bahagian yang memerlukan bukti kecairan tambahan.

Unit yang betul sama penting dengan cap masa

Token cagaran contoh disebut pada 0.02 unit aset rujukan, sementara aset rujukan bernilai 2,000 dolar. Harga tersirat cagaran ialah 40 dolar. Membaca 0.02 terus sebagai dolar bukan pertikaian harga kecil; ia pengiraan dengan unit yang salah.

Labelkan semua angka: aset rujukan bagi setiap token cagaran didarab dolar bagi setiap aset rujukan. Unit pertengahan mesti terhapus. Semak tempat perpuluhan, mata wang sebutan dan aset tepat. Kemudian kemas kini satu feed sementara yang lain kekal lama; harga gabungan mewarisi dua waktu pengukuran.

Bezakan harga pasaran daripada kadar perakaunan atau penebusan. Resit boleh mewakili 1.04 unit asas sambil diperdagangkan pada diskaun. Menganggap 1.04 sebagai hasil jualan serta-merta salah untuk menilai kecairan ketika pembubaran. Angka akhir yang kelihatan munasabah belum membuktikan unit dan input telah dikendalikan dengan betul.

Menghentikan sistem menukar bentuk risiko

Aplikasi oracle perlu menetapkan tindakan apabila data terlalu lama atau luar biasa. Memilih sumber harga tidak sama dengan menentukan tindak balas semasa gangguan. Nyatakan fungsi yang berhenti, yang berterusan, pihak berkuasa dan proses memulakan semula.

Sistem pinjaman rekaan menghentikan pinjaman baharu apabila harga lapuk. Ini boleh mengelakkan hutang baharu bersandarkan nilai tidak boleh dipercayai. Tetapi menghentikan pembubaran ketika cagaran jatuh boleh menyukarkan pemulihan hutang. Meneruskan pembubaran menggunakan harga lama membawa masalah lain kepada akaun terlibat.

Bina garis masa pemerhatian terakhir, perubahan pasaran, ambang data lapuk dan kemas kini sah berikutnya. Tandakan tindakan yang mungkin dalam setiap sela. Tiada tetapan yang menghapuskan semua risiko sekaligus. Latihan menunjukkan pertukaran risiko supaya penunjuk kesihatan pada hari biasa tidak disalahanggap sebagai jaminan ketika sistem berada di bawah tekanan.