Smart contract adalah kode yang berjalan dalam lingkungan blockchain dan menerapkan aturan yang telah diprogram ketika dipanggil. Transaksi dapat memicu eksekusinya, tetapi eksekusi otomatis tidak membuktikan bahwa kode itu benar, bahwa masukan dari luar akurat, atau bahwa hasilnya memenuhi suatu perjanjian hukum.

Apa itu smart contract?

Dalam konteks blockchain, smart contract adalah program yang dapat mengelola aset on-chain dan menjalankan tindakan yang diprogram saat menerima atau mengirim aset. “On-chain” berarti tindakan atau data tersebut berada dalam keadaan yang dikelola jaringan blockchain. Istilah ini menjelaskan perilaku teknis, bukan status hukum: nama contract sendiri tidak memastikan bahwa sebuah program merupakan perjanjian yang dapat ditegakkan secara hukum.

Sebuah kontrak dapat memiliki aturan yang memeriksa kondisi tertentu lalu mengubah datanya atau melakukan tindakan lain. Namun, program hanya melakukan hal yang ditentukan oleh kode dan masukan yang diterimanya. Otomatisasi berarti aturan dapat dijalankan melalui mekanisme jaringan, bukan bahwa hasilnya pasti sesuai dengan maksud pengembang atau pengguna.

Bagaimana smart contract dijalankan di blockchain?

Berikut alur umum untuk interaksi yang mengubah keadaan kontrak. Rincian transaksi, validasi, eksekusi, biaya, serta tingkat konfirmasi bergantung pada jaringan dan jenis interaksi.

  1. Pengguna atau aplikasi menyiapkan transaksi. Pada Ethereum, misalnya, transaksi yang ditandatangani dapat memuat tujuan, nilai, data masukan, nonce, dan parameter biaya sesuai jenis transaksinya. Jika tujuannya adalah kontrak, data dapat menunjukkan fungsi yang hendak dipanggil beserta argumennya.
  2. Transaksi dikirim ke jaringan. Pengiriman belum dengan sendirinya berarti perubahan keadaan sudah terjadi. Transaksi masih harus diproses menurut aturan jaringan.
  3. Jaringan memvalidasi dan mengeksekusi transaksi. Dalam model Ethereum, node yang menerima blok memeriksa blok dan menjalankan kembali transaksinya untuk memverifikasi perubahan keadaan yang dihasilkan.
  4. Hasil mengikuti kode dan aturan jaringan. Jika eksekusi berhasil, keadaan yang relevan dapat berubah—misalnya, catatan kontrak diperbarui atau aset on-chain ditransfer sesuai aturan yang diprogram. Transaksi yang masuk ke blok juga dapat mengalami kegagalan saat dieksekusi; tercatatnya transaksi tidak selalu berarti tindakannya berhasil.

Antarmuka pengguna, aplikasi, atau penyedia layanan dapat membantu menyusun dan mengirim transaksi, tetapi hal itu berbeda dari perilaku kontraknya sendiri. Mekanisme spesifik—termasuk validasi, biaya, konfirmasi, dan finalitas—tidak seragam di semua blockchain. Karena itu, uraian Ethereum di atas adalah contoh platform tertentu, bukan aturan universal.

Apa yang dapat dilakukan smart contract?

Kontrak dapat menerapkan kondisi yang dinyatakan dalam kode. Sebagai contoh ilustratif, program dapat mengizinkan transfer aset digital hanya setelah syarat yang diprogram terpenuhi, atau mencatat perubahan status ketika transaksi diproses. Contoh ini menjelaskan pola yang mungkin, bukan jaminan bahwa setiap kontrak memiliki aturan yang aman atau sesuai kebutuhan.

Kontrak juga dapat memanggil atau menggunakan komponen on-chain lain melalui antarmuka publik. Komposisi semacam ini memungkinkan satu program bergantung pada perilaku program lain, tetapi setiap ketergantungan membawa asumsi tambahan tentang kode, izin, pembaruan, ketersediaan, dan kondisi ekonominya. Sebuah kontrak dapat menjadi salah satu komponen dalam aplikasi, tetapi penjelasan ini tidak menguraikan arsitektur aplikasi tersebut.

Kemampuan teknis tetap terbatas pada informasi yang tersedia bagi eksekusi blockchain. Kontrak Ethereum tidak dapat memperoleh fakta dunia luar secara langsung dari keadaan blockchain; diperlukan mekanisme transaksi atau oracle untuk memasukkan informasi eksternal. Oracle adalah mekanisme yang menghubungkan data atau layanan di luar blockchain dengan kontrak on-chain. Dengan demikian, kontrak yang bergantung pada data eksternal juga bergantung pada cara data itu diperoleh dan dikirimkan.

Batasan dan risiko smart contract

Kode dapat keliru. Kontrak menerapkan aturan sebagaimana tertulis dan dijalankan, bukan sebagaimana seseorang berharap aturan itu bekerja. Kesalahan kode, masukan yang salah, atau logika yang tidak sesuai kebutuhan dapat menghasilkan perubahan keadaan yang tidak diinginkan. Fakta bahwa jaringan mengeksekusi transaksi berdasarkan aturannya tidak membuktikan bahwa implementasi kontraknya benar atau aman.

Masukan eksternal membawa asumsi tambahan. Jika suatu keputusan kontrak memakai informasi dari luar blockchain, mekanisme penyediaan data tersebut perlu dipahami. Data yang tidak akurat, terlambat, atau tidak tersedia dapat memengaruhi hasil; keberadaan oracle tidak dengan sendirinya menghilangkan risiko kualitas, kesegaran, ketersediaan, maupun kepercayaan pada sumber data.

Otomatisasi bukan penegakan hukum atau pengawasan organisasi. Kontrak dapat mengubah keadaan on-chain menurut kode, tetapi hal itu tidak otomatis menentukan hak, kewajiban, atau penyelesaian sengketa di luar jaringan. Ketentuan hukum dan tata kelola bergantung pada konteks yang tidak dapat disimpulkan hanya dari kode atau istilah smart contract.

Kontrol tambahan perlu diperiksa secara spesifik. Sebuah kontrak mungkin berhubungan dengan komponen lain atau memiliki pengaturan operasional yang relevan. Jangan menyimpulkan adanya keamanan, kemampuan pemulihan, atau tingkat desentralisasi hanya dari label atau klaim umum. Penilaian memerlukan bukti yang sesuai dengan kode, konfigurasi, dependensi, serta konteks penggunaannya.

Hal yang perlu diperiksa sebelum mengandalkan smart contract

Mulailah dengan memastikan blockchain dan alamat kontrak yang dimaksud. Pada aplikasi Ethereum, antarmuka biner aplikasi (ABI) menjelaskan bagaimana aplikasi mengodekan pemilih fungsi, argumen, nilai kembalian, error, dan event saat berinteraksi dengan kontrak EVM. Namun, aplikasi harus memakai ABI yang cocok dengan antarmuka kontrak yang diterapkan serta alamat jaringan yang benar; ABI saja bukan bukti bahwa perilaku kontrak aman.

Selanjutnya, cari dokumentasi yang menjelaskan perilaku yang diharapkan dan periksa apakah kontrak bergantung pada kontrak atau data eksternal. Jika ada klaim tentang peninjauan kode, kontrol administratif, pembaruan, pemulihan, biaya, ketersediaan, keamanan, atau kepatuhan, mintalah bukti yang relevan dan terkini—bukan sekadar nama fitur atau deskripsi pemasaran. Satu bukti yang sempit tidak otomatis membuktikan semua aspek operasional.

Terakhir, pisahkan pertanyaan teknis dari pertanyaan hukum atau kebijakan. Konfirmasi transaksi dan perubahan keadaan on-chain menjelaskan apa yang dilakukan jaringan; keduanya tidak dengan sendirinya menetapkan akibat hukum atau pajak. Untuk implikasi yang bergantung pada yurisdiksi, perlukan sumber lokal yang berlaku dan bantuan profesional yang sesuai.

Ringkasnya, smart contract mengotomatiskan aturan melalui kode yang dieksekusi dalam lingkungan blockchain. Memahami siapa yang memicu transaksi, data apa yang memengaruhi eksekusi, keadaan apa yang dapat berubah, dan sistem apa yang menjadi dependensi membantu pembaca melihat batas kemampuan otomatisasi—tanpa menganggapnya sebagai jaminan kebenaran atau keamanan.

Sources and references