Mengapa Move?

Bahasa pemrograman Move awalnya dibuat oleh tim insinyur di Facebook untuk Diem Payment Network. Move dirancang menjadi bahasa platform-agnostic untuk memungkinkan library umum, tooling, dan komunitas developer di berbagai blockchain dengan model data dan eksekusi yang sangat berbeda. Di Aptos, kami percaya dalam membangun komunitas developer yang kuat di Move dan mengundang mereka untuk membangun di atas stack Move on Aptos dan berkontribusi pada software open source.

Move dibangun berdasarkan prinsip-prinsip berikut:

Prinsip	Penjelasan
Aman secara default	Sistem keuangan dibangun untuk memastikan pengguna tidak kehilangan dana. Move dirancang untuk mencegah seluruh kelas serangan dan bug seperti serangan reentrancy, double spend, dan arithmetic overflow. Type safety dan pemeriksaan compile time berada di garis depan keamanan.
Verifikasi Runtime	Bytecode dapat diverifikasi saat runtime untuk memverifikasi bahwa tidak ada yang salah, memberikan keamanan ekstra dan mencegah aktor jahat.
Verifikasi Formal	Move on Aptos menyediakan bahasa spesifikasi untuk memberikan verifikasi formal kontrak. Ini memungkinkan untuk membuktikan invarian dan membantu dalam audit kode.
Kesederhanaan	Command dan bytecode sengaja dibuat sederhana. Ini memungkinkan decompilation yang mudah, verifikasi runtime, dan inspeksi kode. Menggunakan bahasa pemrograman reguler untuk blockchain sering memerlukan mengabaikan sebagian besar bahasa agar sesuai untuk kontrak pintar (mis. Rust).

Move on Aptos mendukung bahasa lengkap yang dibangun oleh tim di Facebook, dengan ekstensi tambahan yang dibangun untuk meningkatkan keamanan dan pengalaman developer.

Keunggulan	Penjelasan
Verifikasi Formal	Framework Aptos sepenuhnya dispesifikasi dan diverifikasi secara formal dengan Move Prover. Ini termasuk kontrak inti yang melibatkan governance, NFT, dan Token.
Cakupan Gas	Move VM memiliki 100% cakupan gas. Gas dikenakan berdasarkan penggunaan aktual dalam sistem (CPU, memori, storage, I/O). Dengan kata lain, tidak ada eksploit gas.
Redundansi Keamanan	Redundansi keamanan disediakan oleh pemeriksaan keamanan runtime.
Kontrol Izin	Kontrol izin dapat dibangun secara fleksibel di berbagai tingkat. Misalnya, kontrol izin tingkat token ada secara default untuk memungkinkan tokenisasi RWA.

Keunggulan	Penjelasan
Tool Pengembangan Move	- Unit testing: Move memiliki unit testing bawaan untuk semua kontrak. Aptos juga menyediakan fungsionalitas test dalam framework untuk menguji skenario yang berbeda. - Coverage: Tool coverage memungkinkan laporan coverage tingkat source dan bytecode. - Decompiler: Untuk keamanan yang lebih baik, bytecode on-chain dapat didisassemble atau didecompile untuk memberikan visibilitas ke kontrak aktual. - Plugin IDE: Aptos memiliki dukungan untuk semua IDE utama: VSCode, Cursor dll. dan IntelliJ.
Model Data	Aptos memiliki model data yang dapat diakses dengan definisi data yang disimpan on-chain. Objek dan akun dapat memiliki beberapa struktur berbeda dalam format yang mudah diparse.
Kemampuan Upgrade	Kemampuan upgrade memastikan bahwa interface aplikasi tidak dapat rusak dan tidak memerlukan adopsi eksplisit dari aplikasi downstream. Kontrak dapat diupgrade in-place untuk memperbaiki bug.
Interaksi Silang	Move memungkinkan interaksi antara kontrak dengan menggunakan struct yang type-safe.
Penyimpanan Kode	Aptos menyimpan source code on-chain yang meningkatkan kemampuan untuk audit dan memastikan kebenaran kontrak terhadap bytecode.
Transaksi Sponsored	Dukungan transaksi sponsored native memungkinkan transaksi dibayar oleh pengguna lain tanpa layanan khusus atau kode spesifik kontrak yang diperlukan.
Standar Token Robust	Standar Digital Asset dan Fungible Asset memberikan fleksibilitas dan standar terpadu untuk berbagai jenis token dan aset digital on-chain. Ini dipengaruhi oleh standar yang ada seperti ERC-20, ERC-721, ERC-1155 dan Token-2022.
Randomness On-chain	Randomness native on-chain yang tidak bias memberikan cara yang aman dan konsisten untuk mendapatkan angka acak, dengan pemeriksaan keamanan ekstra pada compile time.