Move (Programming Language): Definisi, Jenis, dan Cara Kerjanya – Bittime

Meskipun blockchain akhirnya dibuang, Move masih digunakan sampai sekarang. Lantas, apa itu Move (Programming Language)?

Apa itu Move (Programming Language)?

Move (Programming Language) awalnya digunakan untuk membangun blockchain Diem yang dibuat oleh Diem Association, yang merupakan konsorsium teknologi yang didukung oleh Meta.

Bahasa pemrograman Move adalah bahasa bytecode yang dapat dieksekusi.

Ini menerapkan kontrak pintar dan transaksi khusus dengan tujuan untuk mengatasi masalah yang timbul dari bahasa pemrograman blockchain lainnya, seperti Solidity.

Namun, tujuan dasar untuk mencapai kelangkaan digital dan kendali atas aset digital tetap sama. Secara khusus, hal ini juga bertujuan untuk mencegah pembelanjaan ganda dan memungkinkan pemegang aset digital untuk menyimpan informasi kepemilikan.

Dengan melakukan hal ini, Move memaksimalkan keselamatan sambil mempertahankan desain yang ramping dan secara signifikan menurunkan biaya bahan bakar dibandingkan blockchain yang tidak dibangun di atas Move.

Bagaimana Cara Kerja Move?

Pemindahan menggunakan logika linier, artinya sumber daya hanya dapat digunakan satu kali dan tidak pernah disalin atau dibuang secara implisit.

Hal ini memungkinkan pengembang untuk mengkodekan jenis sumber daya khusus yang tidak dapat dihapus atau diduplikasi dan diperlakukan lebih baik daripada yang lain.

Sistem tipe statis Move adalah di mana variabel harus didefinisikan sebagai tipe (angka/kata).

Ini melindungi sumber daya yang diprioritaskan. Namun, mereka dapat digunakan seperti elemen biasa dan disimpan dalam struktur data atau diberikan sebagai nilai dalam perhitungan.

Sumber daya juga transparan dalam modul dan disembunyikan agar tidak dipanggil oleh sumber eksternal.

Selain itu, modul di Move fleksibel dan aman karena hubungan antar modul, sumber daya, dan prosedur seperti hubungan antar kelas, objek, dan metode dalam pemrograman berorientasi objek.

Move juga dapat memverifikasi semua ciri keselamatan on-chain dan mendukung alat verifikasi statis off-chain.

Hal ini sangat mengurangi kerumitan seputar verifikasi on-chain.

Komponen Move

Bahasa pemrograman Move menampilkan beberapa komponen yang menjadi dasarnya.

1. Jenis

Ini bisa berupa Boolean, bilangan bulat tak bertanda (64-bit), array byte berukuran tetap, dan tipe data alamat (256-bit).

2. Struktur

Dua tipe spesifik: baik hati dan tidak terbatas. Yang pertama mengacu pada struktur sumber daya dan yang kedua mengacu pada struktur umum.

3. Prosedur

Metode yang bersifat publik atau internal. Ketergantungan modul asiklik membantu menangkal serangan masuk kembali.

4. Pemverifikasi Bytecode

Berfokus pada pemeriksaan ciri-ciri keselamatan sebelum publikasi modul. Sebelum program ditayangkan di jaringan, program tersebut melewati verifikator dan melewati beberapa tahap verifikasi seperti:

Pengecekan tipe
Pengecekan saldo tumpukan
Pemeriksaan referensi
Pengembangan grafik kontrol
Tautan referensi
Pemeriksaan sumber daya

5. Penerjemah Bytecode

Ini mengikuti verifikasi dan mirip dengan Ethereum yang menggunakan gas. Dengan demikian, ini memastikan eksekusi loop tak terbatas.

6. Pindahkan Mesin Virtual

Mirip dengan blockchain lainnya, dengan blok yang berisi banyak transaksi dan setiap transaksi dieksekusi untuk menciptakan efek transaksi.

Efeknya menghasilkan keadaan global blockchain yang diperbarui, dengan pemisahan antara efek dan transisi keadaan.

ELI5: Arti, Asal-usul, dan Perannya dalam Dunia Blockchain

Memahami Kegunaan Electrum Wallet dan Kaitannya dengan Bitcoin

Apa Itu Deflation?

Apa Itu Deep Web?

DISCLAIMER: Artikel ini bersifat informasi dan bukan merupakan tawaran atau ajakan untuk menjual dan membeli aset kripto apapun. Perdagangan aset kripto merupakan aktivitas beresiko tinggi. Harga aset kripto bersifat fluktuatif, di mana harga dapat berubah secara signifikan dari waktu ke waktu dan Bittime tidak bertanggung jawab atas perubahan fluktuasi dari nilai tukar aset kripto.

Terkait dengan