Crypto Academy
Apa itu kontrak pintar?
Ini adalah pertanyaan yang, akhir-akhir ini, menjadi mustahil untuk dijawab tanpa memulai padanan digital dari perkelahian di bar. Begitu istilah itu dibuang dalam percakapan, kebanyakan orang langsung berpikir "Ethereum," atau "Solana," atau "TRON" atau proyek-proyek desentralisasi hanya nama (DINO) yang telah muncul selama bertahun-tahun sejak awal dari Bitcoin.
Kebanyakan orang baru atau kurang informasi di ekosistem ini mungkin berpikir bahwa istilah “kontrak pintar” diciptakan oleh proyek-proyek seperti Ethereum, dan bahwa proyek-proyek ini benar-benar menciptakannya.
Ketika mereka mendengar "kontrak pintar," mereka mungkin segera mulai berpikir tentang organisasi otonom terdesentralisasi (DAO), pertukaran terdesentralisasi, pembuat pasar otomatis, dan aplikasi lengkap Turing lainnya di Ethereum. Secara konseptual, apa pun yang tidak mendekati tingkat kerumitan itu mungkin langsung ditolak oleh kebanyakan orang sebagai bukan kontrak yang cerdas. Tapi tidak ada yang bisa lebih jauh dari kebenaran.
KELAHIRAN KONTRAK CERDAS
“Kontrak pintar” sebagai istilah diciptakan oleh Nick Szabo pada tahun 1996 sebelum gagasan tentang blockchain bahkan sekejap mata di mata Satoshi. Mereka tidak ada hubungannya dengan DAO, atau pertukaran terdesentralisasi atau jenis konstruksi apa pun yang cenderung dipikirkan orang ketika mereka mendengar istilah itu.
Konsepnya secara drastis lebih sederhana dan mendasar daripada sistem mana pun yang dibangun di atas platform seperti Ethereum. Kontrak pintar hanya mengambil kontrak hukum konvensional dan menemukan cara untuk memindahkan penegakannya di luar lingkup yurisdiksi pemerintah ke ranah penegakan melalui perangkat lunak dan perangkat keras sebanyak mungkin.
Mengutip Szabo sendiri:
“Lembaga-lembaga baru, dan cara-cara baru untuk memformalkan hubungan yang membentuk lembaga-lembaga ini, sekarang dimungkinkan oleh revolusi digital. Saya menyebut kontrak baru ini 'pintar', karena mereka jauh lebih fungsional daripada leluhur berbasis kertas yang tidak bernyawa. Tidak ada penggunaan kecerdasan buatan yang tersirat. Kontrak cerdas adalah serangkaian janji, yang ditentukan dalam bentuk digital, termasuk protokol di mana para pihak memenuhi janji-janji ini.”
Tidak ada tempat dalam definisi ini yang disebutkan "Kelengkapan Turing," atau "organisasi otonom terdesentralisasi" atau apa pun yang menyiratkan bahwa beberapa tingkat kompleksitas minimum diperlukan untuk dianggap sebagai kontrak cerdas. Beberapa contoh yang diberikan Szabo sebagai cikal bakal kontrak pintar — atau seperti yang akan saya definisikan, "kontrak proto-pintar" - adalah hal yang sangat mendasar, seperti mesin penjual otomatis atau sistem point-of-sale (POS).
Dalam contoh mesin penjual otomatis, ini adalah "kontrak proto-pintar" yang tertanam dalam perangkat keras. "Kontrak" yang diterapkannya sangat sederhana: pengguna memasukkan koin ke dalam mesin, dan mesin mengeluarkan makanan yang dibeli pengguna. Secara keseluruhan, keamanan mesin bermuara pada perangkat keras fisik yang sebenarnya. Sangat memakan waktu dan sulit untuk membuka mesin penjual otomatis dan mengeluarkan makanan darinya tanpa membayarnya, jadi itu sangat tidak mungkin menjadi sesuatu yang dapat dilakukan dalam banyak kasus tanpa pelaku tertangkap oleh penegak hukum atau beberapa karyawan di tempat di mana mesin penjual otomatis terletak.
Detail penting lainnya adalah bahwa kontrak umumnya melibatkan beberapa langkah antara pihak-pihak yang terlibat; sangat jarang sesuatu yang melibatkan pengaturan kontrak dapat difasilitasi dalam satu langkah. Pengguna memasukkan koin ke mesin penjual otomatis, yang kemudian memungkinkan pengguna untuk memilih apa yang mereka beli, pengguna kemudian membuat pilihan dan mesin mengeluarkan barang. Itu adalah proses empat langkah: satu, memasukkan uang; dua, mesin maju ke proses seleksi yang baik; tiga, pengguna membuat pilihan mereka; empat, mesin mengeluarkan pilihan pengguna.
Nah, inilah poin penting untuk dipertimbangkan: Dinamika kontrak melibatkan dua pihak, mesin penjual otomatis dan pelanggan. Ini memberi contoh klausa yang sangat sederhana yang dicapai dalam empat langkah yang ditentukan di atas: berikan uang kepada mesin penjual otomatis, mesin penjual otomatis memberi Anda makanan.
Tetapi apa yang terjadi jika Anda memasukkan uang Anda ke dalam mesin penjual otomatis dan makanan tidak dibagikan dengan benar? Siapa yang menangani masalah ini? Kepada siapa Anda pergi untuk menyelesaikannya dan menyelesaikan "kontrak" dengan benar setelah gagal melakukannya sendiri? Untuk mengatasi kegagalan eksekusi ini, Anda perlu mencari karyawan di bisnis tempat mesin penjual otomatis berada atau menghubungi saluran dukungan, jika ada, untuk pemiliknya. Seseorang harus turun tangan dan benar-benar memperbaiki pelaksanaan kontrak yang tidak tepat.
Ini membawa saya ke poin yang sangat penting: "kontrak pintar" tidak secara definisi berarti tanpa kepercayaan pada pihak ketiga. Faktanya, dalam kata-kata Szabo, "Kontrak pintar sering kali melibatkan pihak ketiga tepercaya, yang dicontohkan oleh perantara, yang terlibat dalam kinerja, dan seorang arbiter, yang dipanggil untuk menyelesaikan perselisihan yang timbul dari kinerja (atau kekurangannya). "
Pikirkanlah dengan sungguh-sungguh: Dalam semua jenis kontrak, ada potensi bagi satu pihak atau pihak lain untuk menipu dan menolak untuk menyelesaikan kontrak mereka dengan baik. Kontrak selalu mungkin tidak dijalankan dengan benar. Seseorang atau sesuatu, yang menurut definisi pihak ketiga, harus campur tangan dalam hal eksekusi yang tidak tepat dan memperbaikinya untuk menegakkan eksekusi yang sesuai dan berpotensi memberlakukan hukuman untuk eksekusi awal yang tidak tepat jika sesuai.
Sebagian besar kontrak proto-pintar dan bahkan kontrak yang sepenuhnya cerdas tidak dapat dipercaya. Sebagian besar bahkan tidak dapat diotomatisasi di kedua sisi. Pikirkan kasus seseorang membeli sebungkus rokok dengan kartu debit di mesin POS di pompa bensin. Pelanggan itu sebenarnya harus memercayai manusia di sisi lain register untuk menyerahkan rokok kepada mereka setelah sistem POS menandai pembayaran mereka sebagai selesai. Jika petugas menolak untuk melakukannya, pelanggan harus mempercayai bank mereka atau pemroses kartu untuk mengembalikan pembayaran karena mereka tidak menerima apa yang mereka bayar.
TUJUAN KONTRAK CERDAS
Jadi, sekarang setelah kita menetapkan model kepercayaan konseptual dari kontrak proto-pintar, mari membahas empat tujuan penting merancang kontrak seperti yang digambarkan oleh Szabo.
Observability: Orang-orang (atau hal-hal) yang terlibat dalam kontrak harus dapat melihat bahwa pihak lain melakukan dengan benar sesuai dengan ketentuan kontrak, dan dapat membuktikan bahwa mereka sendiri melakukan dengan benar kepada pihak lain.
Keterverifikasian: Semua pihak dalam suatu kontrak memerlukan kemampuan untuk membuktikan kepada arbiter yang dipilih dari kontrak bahwa kontrak tersebut telah dilaksanakan dengan benar atau bahwa satu pihak (atau para pihak) telah melanggar kewajiban mereka dalam kontrak.
Kerahasiaan: Kontrak harus dibuat serahasia mungkin. Jumlah informasi pribadi tentang kontrak atau pihak-pihak yang terlibat yang disebarluaskan di luar mereka kepada publik atau pihak ketiga lainnya harus dijaga seminimal mungkin yang diperlukan untuk pelaksanaan kontrak.
Keberlakuan: Perlu ada beberapa mekanisme untuk memastikan bahwa segala sesuatunya dijalankan dengan benar, bahkan dalam kasus satu atau lebih pihak melanggar kewajiban mereka berdasarkan ketentuan kontrak, dan juga, kontrak harus disusun untuk membuat kemungkinan bahwa penegakan akan dilakukan. dibutuhkan sangat tidak mungkin. Kontrak harus mendorong para pihak untuk secara sukarela mematuhi kewajiban mereka berdasarkan persyaratan.
Tujuan desain di atas secara efektif ada untuk memberikan peluang tertinggi bahwa kontrak akan dieksekusi dengan benar di sebagian besar kasus, sekaligus melindungi detail kontrak dari mata publik kecuali jika mengungkapkan detail tersebut mutlak diperlukan untuk memberikan kontrak peluang tertinggi untuk berakhir dengan pelaksanaan persyaratan yang tepat.
PRIMITIF KONTRAK CERDAS
Protokol kriptografi adalah komponen definisi dari kontrak pintar. Szabo menyebutnya sebagai "blok penyusun dasar yang mengimplementasikan tradeoff yang ditingkatkan antara observabilitas, verifiabilitas, privasi, dan keberlakuan dalam kontrak pintar".
コメント