Move: Bahasa yang menjanjikan untuk menyelesaikan masalah Solidity

Sudah pernah mendengar tentang Move? Bahasa pemrograman ini lahir untuk membangun blockchain Diem (proyek dari Meta yang kemudian dihentikan), tetapi tetap hidup dan mendapatkan kekuatan dalam proyek-proyek lain.

Mengapa Move berbeda?

Sementara Solidity (a bahasa Ethereum) telah mengalami masalah keamanan sepanjang tahun, Move dirancang sejak awal dengan memikirkan keamanan maksimum. Tujuannya? Menyelesaikan pengeluaran ganda dan memastikan bahwa tidak ada yang dapat menyalin atau menghapus aset digital Anda tanpa izin.

Bagaimana cara kerjanya dalam praktik?

Move menggunakan logika yang sangat cerdas yang disebut linear logic: setiap sumber daya ( aset digital Anda ) hanya dapat digunakan sekali. Selesai. Tidak menyalin, tidak menghapus sendiri. Seolah-olah setiap koin di blockchain adalah unik dan tidak dapat disentuh tanpa izin.

Detail penting lainnya: tipe statis. Setiap variabel perlu didefinisikan sejak awal (angka, teks, dll), yang melindungi sumber daya dari kesalahan bodoh yang menyebabkan kebocoran keamanan.

3 pilar keamanan Move

1) Tanpa pengiriman dinamis — Move dapat mengidentifikasi dengan tepat di mana setiap panggilan akan berakhir, tanpa kejutan. Ini sangat memudahkan untuk memeriksa apakah kode tersebut aman.

2) Modularitas Kuat — Setiap modul berfungsi sebagai kapsul terlindungi. Kode dari luar tidak dapat mengakses atau melanggar aturan sebuah modul. Ini seperti kelas dalam pemrograman berorientasi objek, tetapi jauh lebih aman.

3) Referensi terkontrol — Terinspirasi oleh Rust dan C++, Move secara ketat mengontrol bagaimana Anda mengakses data Anda. Ini memiliki pemeriksa yang menjamin bahwa setidaknya ada satu referensi yang dapat diubah pada satu waktu, menghindari konflik.

Hasil praktis

Semua ini menghasilkan: biaya gas jauh lebih rendah dibandingkan dengan blockchain tradisional + keamanan di tingkat lain. Move menolak program apa pun yang tidak mengikuti aturan tipe, memori, atau sumber daya. Tidak dapat diperdagangkan.

Singkatnya: Move adalah bahasa yang datang dengan belajar dari kesalahan di masa lalu. Cocok untuk mereka yang ingin membangun kontrak pintar tanpa sakit kepala.