Smart Contract - Tinjauan Lengkap Smart Contract - Bitcoin Crypto

 

Sebuah smart contract (kontrak cerdas) adalah protokol yang dimaksudkan untuk memfasilitasi digital, memverifikasi, atau menegakkan negosiasi atau kinerja dari kontrak . Kontrak pintar memungkinkan kinerja transaksi yang kredibel tanpa pihak ketiga. Transaksi-transaksi ini dapat dilacak dan tidak dapat dipulihkan.
Para pendukung kontrak cerdas mengklaim bahwa banyak jenis klausul kontrak dapat dibuat sebagian atau sepenuhnya dilaksanakan sendiri, ditegakkan sendiri, atau keduanya. Tujuan dari kontrak pintar adalah untuk memberikan keamanan yang lebih unggul dari hukum kontrak tradisional dan untuk mengurangi biaya transaksi lainnya yang terkait dengan kontrak. Berbagai cryptocurrency telah menerapkan jenis kontrak pintar.

Isi

·   1 Sejarah

·   2 Implementasi

·   3 Judul yang direplikasi dan eksekusi kontrak

·   4 Masalah keamanan

·   5 Lihat juga

·   6 Referensi

Sejarah

Kontrak pintar pertama kali diusulkan oleh Nick Szabo , yang menciptakan istilah itu. ^[1] Dengan implementasi saat ini, berdasarkan pada blockchain , ^[2] "kontrak pintar" sebagian besar digunakan lebih khusus dalam arti perhitungan tujuan umum yang terjadi pada blockchain atau buku besar yang didistribusikan. Dalam interpretasi ini, digunakan misalnya oleh Ethereum Foundation ^[3] atau IBM, ^[4] kontrak pintar tidak selalu terkait dengan konsep klasik kontrak, tetapi dapat berupa program komputer apa pun.
Pada tahun 2018, sebuah laporan Senat AS mengatakan: "Walaupun kontrak pintar mungkin terdengar baru, konsep ini berakar pada hukum kontrak dasar. Biasanya, sistem peradilan mengadili perselisihan kontrak dan memberlakukan persyaratan, tetapi juga umum untuk memiliki metode arbitrase lain, terutama untuk transaksi internasional. Dengan kontrak pintar, sebuah program memberlakukan kontrak yang dibangun ke dalam kode. " ^[5]

Implementasi

Algoritme toleran-Bizantium memungkinkan keamanan digital melalui desentralisasi untuk membentuk kontrak yang cerdas. Selain itu, bahasa pemrograman dengan berbagai tingkat kelengkapan Turing sebagai fitur bawaan dari beberapa blockchains memungkinkan terciptanya logika canggih khusus. ^[3]
Contoh penting dari penerapan kontrak pintar adalah:

·   Bitcoin juga menyediakan bahasa Skrip Turing-tidak lengkap yang memungkinkan pembuatan kontrak pintar khusus di atas Bitcoin seperti akun multisignature , saluran pembayaran, escrow, kunci waktu, perdagangan lintas rantai atom, oracle, atau lotre multi-partai tanpa operator. ^[6]

·   Ethereum mengimplementasikan bahasa yang hampir Turing-lengkap pada blockchain-nya, kerangka kerja kontrak pintar yang menonjol. ^[7]

·   Ripple (Codius), pengembangan kontrak pintar dihentikan pada 2015

Judul yang direplikasi dan eksekusi kontrak

Szabo mengusulkan bahwa infrastruktur kontrak pintar dapat diimplementasikan oleh daftar aset yang direplikasi ^[8] dan pelaksanaan kontrak menggunakan rantai hash kriptografi dan replikasi toleran-Bizantium . Askemos menerapkan pendekatan ini pada tahun 2002 ^{[9] [10]} menggunakan Skema (kemudian menambahkan SQLite ^{[11] [12]} ) sebagai bahasa naskah kontrak. ^[13]
Satu proposal untuk menggunakan bitcoin untuk pendaftaran aset yang direplikasi dan pelaksanaan kontrak disebut "koin berwarna". ^[14] Judul yang direplikasi untuk bentuk properti yang berpotensi sewenang-wenang, bersama dengan eksekusi kontrak yang direplikasi, diimplementasikan dalam berbagai proyek.
Pada 2015, UBS sedang bereksperimen dengan "obligasi pintar" yang menggunakan bitcoin blockchain ^[15] di mana aliran pembayaran dapat secara otomatis sepenuhnya otomatis, menciptakan instrumen yang membayar sendiri. ^[16]

Masalah keamanan

Kontrak pintar adalah "protokol transaksi terkomputerisasi yang mengeksekusi ketentuan kontrak ". ^[17] Kontrak pintar berbasis blockchain dapat dilihat oleh semua pengguna blockchain tersebut. Namun, ini mengarah pada situasi di mana bug, termasuk lubang keamanan, terlihat oleh semua namun mungkin tidak cepat diperbaiki. ^[18]
Serangan seperti itu, sulit untuk diperbaiki dengan cepat, berhasil dilaksanakan di The DAO pada Juni 2016, menghabiskan US $ 50 juta dalam Ether sementara pengembang berusaha untuk mencapai solusi yang akan mendapatkan konsensus. ^[19] Program DAO mengalami penundaan waktu sebelum peretas dapat menghapus dana; garpu keras dari perangkat lunak Ethereum dilakukan untuk mengambil kembali dana dari penyerang sebelum batas waktu berakhir. ^[20]
Masalah dalam kontrak pintar Ethereum, khususnya, termasuk ambiguitas dan konstruksi yang mudah tetapi tidak aman dalam bahasa kontraknya Solidity, bug kompiler, bug Ethereum Virtual Machine, serangan pada jaringan blockchain, ketidakmampuan bug dan bahwa tidak ada sumber pusat yang mendokumentasikan kerentanan, serangan dan konstruksi bermasalah yang diketahui. ^[7]