Orakel, atau mengapa kontrak pintar masih belum mengubah dunia?

Bagi mereka yang tertarik dengan topik kontrak pintar, jawaban atas pertanyaan yang diajukan dalam judul ada di permukaan: sampai saat ini, kontrak tidak memiliki sumber informasi yang dapat dipercaya dan lengkap tentang apa yang terjadi di dunia nyata. Sebagai akibatnya, situasi yang mengerikan muncul: kita dapat menggambarkan logika kompleks dalam kontrak yang cerdas, dan blockchain akan memberi kita eksekusi tanpa syarat. Dan sekarang, tampaknya, kita satu langkah lagi dari menghilangkan kebutuhan akan pihak ketiga ketika membuat kontrak - inilah yang dimaksud dengan kata-kata “ubah dunia” dalam judul. Namun, setiap logika yang menggambarkan proses dunia nyata perlu mengetahui apa yang terjadi di dunia ini. Dengan demikian, hambatan terakhir memisahkan kita dari "revolusi kepercayaan" dalam bentuk tidak adanya penyedia informasi atau nubuat , sebagaimana mereka disebut dalam dunia kontrak pintar. Solusi untuk masalah ini akan memberikan dorongan luar biasa terhadap prevalensi dan penerapan kontrak cerdas. Jika tidak, teknologi ini berisiko selamanya hanya menjadi platform untuk implementasi ICO.



Kemampuan yang tidak menemukan aplikasi berubah menjadi nol.
Sten Nadolny

Orakel

Oracle adalah penyedia informasi, yang atas permintaan kontrak menyediakan dari rantai offline data tepercaya dunia yang diperlukan untuk operasi kontrak yang benar. Persyaratan utama untuk oracle adalah keandalan dan kelengkapan informasi yang diberikan. Di sini, reliabilitas berarti kemampuan untuk mengkonfirmasi / memverifikasi validitas data, dan kelengkapan berarti kemampuan untuk menyediakan data pada berbagai peristiwa dari dunia nyata. Kami mencatat secara terpisah bahwa oracle bukanlah sumber informasi, itu adalah pemasoknya ke blockchain . Dengan demikian, pilihan sumber informasi adalah salah satu parameter utama oracle, karena agar oracle dapat diandalkan dan lengkap, sumbernya juga harus dapat diandalkan dan lengkap (kita akan berbicara tentang sumber-sumber di bagian berikutnya).



Mari kita mulai dengan properti kepercayaan oracle. Saat ini, ada dua pendekatan utama untuk mencapai keandalan nubuat. Yang pertama adalah konsensus nubuat . Seperti namanya, konsensus beberapa validator independen digunakan dalam pendekatan ini. Masalah utama dari pendekatan ini (dalam hal reliabilitas) adalah penciptaan jaringan validator independen. Di satu sisi, jika kita memilih / menunjuk peserta konsensus (oracle), mereka akan bergantung pada mekanisme seleksi / penunjukan. Jadi, sentralisasi akan terus berlanjut, meskipun, tentu saja, pada tingkat yang lebih rendah dan dengan kedok yang berbeda. Di sisi lain, jika ada yang bisa menjadi peserta konsensus, sistem menjadi rentan terhadap serangan Sybil . Selain itu, ada pendapat bahwa kompromi (peretasan, penyuapan) beberapa peserta konsensus kecil dapat lebih mudah daripada kompromi satu validator besar, karena pemain utama memiliki langkah-langkah keamanan yang jauh lebih serius dan biaya reputasi jauh lebih tinggi.

Oraclize memberikan alternatif untuk solusi konsensus oracle: pengguna memilih sumber informasi di Internet. Dan untuk membuktikan operasi oracle yang benar, TLSNotary- proofs digunakan. Ini adalah bukti kriptografi bahwa data yang diterima dari sumber yang dipilih ditransfer ke kontrak pintar dalam bentuk yang tidak berubah.



Saat ini, Anda dapat memverifikasi bukti ini di Internet menggunakan monitor jaringan untuk Ethereum (tidak stabil pada saat penulisan). Di masa depan, direncanakan untuk menyadari kemungkinan memeriksa bukti TLSNotary langsung oleh kontrak di jaringan Ethereum.

Penting untuk dicatat bahwa kedua pendekatan memiliki masalah mempercayai sumber informasi / -kam: keduanya sampai batas tertentu menjamin kita kejujuran mentransfer data dari sumber ke kontrak, tetapi mereka tidak menjamin kejujuran sumber (bahkan jika kita memilihnya sendiri).

Sumber informasi

Di awal bagian ini, kami menyentuh kelengkapan data yang disediakan oleh oracle. Mencapai kelengkapan berarti memperluas lingkaran sumber informasi, dan ini menimbulkan pertanyaan yang lebih besar lagi untuk keandalan data ini. Mari kita pertimbangkan dua contoh sederhana: jika kontrak Anda membutuhkan informasi tentang kurs ETH / USD saat ini, maka Anda dapat mempertimbangkan pertukaran mata uang kripto besar sebagai sumber, yang konsensusnya akan cukup andal. Dan jika kontrak perlu mengetahui apakah lampu menyala di kamar Anda, akan sangat sulit untuk menemukan saksi mata independen. Anda dapat menggunakan sumber fisik, misalnya, kamera di kamar tidur, tetapi jika diinginkan, mudah menipu: letakkan tas di kamera dan akan selalu gelap di kamar Anda. Dengan demikian, dengan peningkatan kelengkapan informasi yang diberikan oleh oracle, masalah menemukan sumber yang dapat diandalkan bahkan lebih akut.

Sumber informasi yang paling alami adalah terpusat . Kami terbiasa dengan pendekatan ini dalam kehidupan sehari-hari: kami mempelajari berita di situs web favorit kami, nilai tukar dolar di situs web Bank Sentral. Sebagian besar dari kita secara membuta percaya sumber terpusat ini, dan kepercayaan ini paling sering dibenarkan, karena biaya reputasi untuk perusahaan besar seperti itu melebihi manfaat potensial yang dapat diperoleh dengan memberikan Anda informasi palsu. Ada dua tapi. Pertama, keandalan: bahkan ketika berhadapan dengan sumber terpusat yang dapat diandalkan, kami masih beroperasi dengan iman, bukan pengetahuan. Kedua, dan yang lebih penting, kelengkapan: penggunaan sumber terpusat dapat dianggap sebagai pendekatan yang dapat diandalkan hanya untuk lingkaran sempit peristiwa resonansi.

Cara pertama untuk mengatasi kerugian dari sumber terpusat adalah dengan menggunakan sumber konsensus . Kami sudah membahas pendekatan serupa di atas ketika kami berbicara tentang konsensus oracle. Seperti halnya dengan oracle, pendekatan ini meningkatkan keandalan dan kelengkapan informasi yang diberikan, namun efek positifnya terbatas dan memiliki kelemahan (lihat bagian sebelumnya).

Pendekatan lain untuk memecahkan masalah sumber informasi adalah metode tidak langsung . Idenya adalah untuk mengekstrak informasi tentang peristiwa yang menarik bagi kami dari sumber tidak langsung.



Sumber-sumber ini akan berbeda untuk setiap jenis acara: untuk suhu di Moskow - foto Instagram dengan lokasi geografis dan tanggal yang sesuai, untuk hasil pertandingan - pos di jejaring sosial dengan tag dan tanggal yang sesuai, dll. Keberhasilan beberapa tahun terakhir di bidang pembelajaran mesin cenderung memungkinkan kami untuk menentukan hasil dari peristiwa masa lalu dengan akurasi yang wajar dari sumber tidak langsung. Model pembelajaran mesin apa yang berlaku untuk ini, keakuratan apa, apakah sumber tidak langsung independen - semua masalah ini harus dipertimbangkan secara terpisah untuk setiap peristiwa spesifik, dan fakta solvabilitasnya akan menjadi kriteria untuk penerapan metode tidak langsung untuk peristiwa ini.

Untuk tugas-tugas yang relatif sederhana, seperti menentukan hasil pertandingan dengan pilihan posting penggemar olahraga yang memadai, masalah-masalah ini tampaknya diselesaikan. Diasumsikan bahwa kontrak akan merujuk ke simpul di mana perhitungan dilakukan (mengekstraksi perkiraan dari sumber tidak langsung). Keandalan perhitungan diusulkan untuk mengkonfirmasi secara kriptografis, seperti yang diterapkan, misalnya, dalam proyek Golem .



Pendekatan ini adalah langkah kedua menuju kelengkapan nubuat. Ini bukan tentang cahaya di kamar tidur, tetapi tentang cuaca, tentang hasil pemilihan, tentang keberhasilan peluncuran Falcon Heavy .

Demi kelengkapan, kami akan membahas topik prediksi pasar seperti Augur . Pasar menggunakan "hikmat keramaian" untuk memprediksi peristiwa di masa depan. Pengguna memperkirakan hasil yang mungkin dari peristiwa ini dengan membeli saham imbalan untuk hasil yang ditebak dengan benar (pemenang akan membagikan kumpulan hadiah sesuai dengan ukuran taruhan mereka). Dengan demikian, pendekatan ini menyiratkan motivasi ekonomi untuk peserta dalam prediksi: untuk prediksi yang benar, pengguna menerima hadiah, dan dalam hal prediksi yang salah, kehilangan dana yang diinvestasikan. Prakiraan dalam hal ini adalah ekspektasi rata-rata tertimbang dari semua pengguna. Penggunaan pasar prediksi sangat meningkatkan kelengkapan informasi yang diberikan, karena Anda dapat memprediksi apa saja (jika ada cukup keinginan), dan keandalannya memberikan motivasi ekonomi dari para peserta dalam prediksi tersebut.

Namun, tidak semuanya semerah kelihatannya pada pandangan pertama. Pertama, prediksi hanyalah harapan dari pelaku pasar (banyak contoh peristiwa dapat dikutip bahwa tidak ada yang diharapkan terjadi). Kedua, dalam model seperti itu, manipulasi prediksi dimungkinkan jika biaya mengubah prediksi menjadi false lebih kecil dari untung dari operasi kontrak yang salah. Misalnya, jika kontrak mengasumsikan pembayaran besar dalam hal peristiwa A, dan fakta terjadinya peristiwa ini menentukan pasar prediktif dengan perputaran dana yang kecil, maka penyerang dapat memalsukan peristiwa A, hanya menghabiskan sebagian dari manfaat yang diperoleh untuk memanipulasi prediksi.

Kesimpulan

Pentingnya nubuat untuk teknologi kontrak pintar sulit ditaksir terlalu tinggi. Oracle berfungsi sebagai penyedia informasi dari sumber ke kontrak. Dan jika solusi yang ada saat ini memberikan transfer informasi yang cukup andal, maka masalah dengan keandalan aslinya masih belum terselesaikan. Menciptakan / memilih sumber informasi yang dapat dipercaya dan lengkap adalah perbatasan terakhir yang memisahkan kontrak pintar dari distribusi di mana-mana. Mengingat perkembangan aktif teknologi blockchain, kami dapat mengandalkan setidaknya sebagian untuk mengatasi tonggak sejarah ini di tahun-tahun mendatang.