Crypto Gloss

Aptos: Infrastruktur Web3 yang Aman, Skalabel, dan Dapat Diperbarui

Penulis Amsden, Avery; Arun, Runtian; Baudet, Mathieu; et al. (Aptos Labs)
Tahun 2022
Proyek Aptos / Aptos Labs
Lisensi Apache 2.0
Sumber Resmi aptos.dev/aptos-white-paper
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

Paper “Aptos: Safe, Scalable, and Upgradeable Web3 Infrastructure” adalah whitepaper teknis 2022 untuk blockchain Layer 1 Aptos, dikembangkan oleh Aptos Labs — tim yang sebagian besar terdiri dari mantan insinyur Meta/Diem yang mewarisi proyek blockchain Facebook yang dibatalkan. Paper ini mendeskripsikan tiga inovasi inti: bahasa pemrograman Move dengan jaminan keselamatan formal, mesin eksekusi paralel Block-STM, dan protokol konsensus AptosBFT.

Publikasi dan Konteks

Proyek Libra/Diem Meta (2019–2022) dikembangkan untuk menjadi jaringan pembayaran global. Meskipun memiliki engineering ekstensif, oposisi regulasi memaksa Meta meninggalkannya. Dua kelompok insinyur Diem membentuk startup bersaing: Aptos Labs dan Mysten Labs (Sui). Aptos mengambil konsensus BFT berbasis Diem dan arsitektur DiemBFT, sementara Mysten Labs mendesain ulang model eksekusi. Mainnet Aptos diluncurkan Oktober 2022.

Bahasa Move

Move adalah bahasa kontrak pintar yang awalnya dirancang untuk Diem. Properti kunci:

  • Tipe sumber daya: Aset Move adalah resource type kelas pertama yang tidak dapat disalin atau dibuang — hanya dipindahkan antar akun. Ini diberlakukan di level tipe sistem, bukan hanya konvensi.
  • Verifikasi formal: Move menyertakan Move Prover — alat verifikasi formal yang memberikan bukti kebenaran kontrak yang diverifikasi mesin.
  • Pemisahan Modul/Skrip: Move memisahkan kode library yang dapat digunakan ulang (modul) dari skrip transaksi sekali pakai.

Block-STM: Eksekusi Paralel

Block-STM (Software Transactional Memory for Blocks) adalah mesin eksekusi paralel optimistik:

  1. Semua transaksi dalam blok dieksekusi secara paralel secara optimistik
  2. Dependensi antar transaksi terdeteksi melalui pembacaan/penulisan yang diamati selama eksekusi
  3. Transaksi yang tergantung pada transaksi sebelumnya yang berubah dieksekusi ulang secara otomatis
  4. Hasilnya: throughput yang secara linear meningkat seiring jumlah core CPU

Ini berbeda dari model Sui: Block-STM berfungsi untuk kontrak EVM/Move yang ada, sedangkan model objek Sui memerlukan paradigma pemrograman yang berbeda.

AptosBFT

AptosBFT adalah varian HotStuff — protokol BFT linier dengan dua fase yang menjamin finalitas dalam tiga ronde komunikasi. Inovasi Aptos termasuk mekanisme rekonfigurasi validator cepat yang memungkinkan pembaruan validator tanpa downtime jaringan.

Keterbatasan

  • Move adalah bahasa baru — lebih sedikit developer dibanding Solidity
  • Block-STM paling efektif untuk beban kerja dengan banyak transaksi independen; kemacetan masih terjadi untuk transaksi berkontensi tinggi
  • Ekosistem DeFi/NFT masih berkembang dibanding Ethereum

Warisan dan Dampak

Aptos membuktikan bahwa warisan Diem dapat diubah menjadi blockchain produksi berkinerja tinggi. Block-STM sebagai teknik eksekusi paralel diadopsi oleh beberapa rantai lain (termasuk Polygon) karena kompatibilitasnya dengan kontrak yang ada. Move Prover mendorong minat pada verifikasi formal sebagai fitur keselamatan kelas pertama untuk smart contract.

Istilah Terkait

Referensi