Crypto Gloss

Aleo: Blockchain Layer 1 Privat Secara Default dengan ZK-SNARK dan Bahasa Leo

Penulis Wu, Howard; et al. (Aleo Systems)
Tahun 2021
Proyek Aleo
Lisensi GPL-3.0
Sumber Resmi developer.aleo.org
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.

Aleo (2021, Aleo Systems) adalah blockchain Layer 1 yang dirancang agar setiap aplikasi bersifat privat secara default — bukan sebagai fitur tambahan opsional, melainkan sebagai model eksekusi dasar. Aleo menggunakan ZK-SNARK (khususnya Groth16) untuk membuktikan setiap transisi state tanpa mengungkapkan input, output, atau program itu sendiri kepada validator. Dikembangkan oleh Howard Wu (alumni peneliti ZK dari UC Berkeley) dan timnya, Aleo dirancang untuk menjawab pertanyaan: bagaimana jika semua komputasi di blockchain bersifat privat secara bawaan, bukan publik secara bawaan?

Mainnet Aleo diluncurkan pada 2024 setelah pengembangan multi-tahun, dengan ekosistem yang mengandalkan bahasa Leo — bahasa pemrograman baru yang menyembunyikan kompleksitas ZK dari developer.

Konteks: Privasi sebagai Standar vs. Opt-In

Di Ethereum, semua state kontrak bersifat publik secara default. Privasi adalah opt-in yang sulit: kamu harus menggunakan Tornado Cash (yang dikenai sanksi), Aztec (yang memerlukan infrastruktur terpisah), atau solusi off-chain. Bahkan solusi privasi terbaik pun adalah lapisan tambahan di atas arsitektur yang pada dasarnya transparan.

Pendekatan Aleo: balikkan asumsi defaultnya. Semua state privat secara default. Transparansi adalah opt-in. Ini memerlukan VM dan model eksekusi yang sepenuhnya berbeda dari EVM.

PoSW: Proof of Succinct Work

Consensus Aleo, PoSW (Proof of Succinct Work), menggunakan ZK proof sebagai bentuk komputasi kerja:

  • Penambang (“provers”) menghasilkan ZK proof dari transisi state yang benar sebagai ganti melakukan PoW berbasis hash
  • Ini menciptakan penggunaan komputasi yang konstruktif: setiap kontribusi “penambangan” menghasilkan proof yang berguna
  • Validator (consensus nodes) memverifikasi proof ini untuk mengkonfirmasi blok
  • Model dua-tier: “provers” menghasilkan proof, “validators” memverifikasi dan memproduksi blok

Ini berbeda secara mendasar dari PoW Bitcoin (yang membuang komputasi) dan dari PoS (yang menggantungkan keamanan pada stake ekonomis). PoSW mencoba menggabungkan kegunaan proof generation dengan finalitas konsensus.

snarkOS

snarkOS adalah software node Aleo, ditulis dalam Rust. Ini menjalankan record model yang terinspirasi UTXO, bukan account model:

  • Record mewakili state privat — dienkripsi ke kunci pemilik
  • Records dikonsumsi (dibakar) saat dibelanjakan, seperti Bitcoin UTXO, tetapi privat
  • Setiap transaksi mengkonsumsi record lama dan membuat record baru
  • Validator hanya melihat commitments terenkripsi, bukan nilai atau logika aktual

Bahasa Leo

Leo adalah bahasa pemrograman bertipe statis dan terinspirasi Rust yang dikompilasi ke bytecode Aleo:

  • Developer menulis program privat menggunakan sintaks yang familiar; kompleksitas ZK tersembunyi di balik kompiler
  • Kompiler Leo menghasilkan sirkuit ZK-SNARK dari kode Leo
  • Program yang ditulis dalam Leo dapat diverifikasi publik (logika pemrograman terlihat) sambil menjaga input/output tetap privat
  • Mendukung tipe data intuitif: integer, boolean, array, struct

Leo dirancang untuk membuat ZK programming dapat diakses oleh developer tanpa latar belakang kriptografi yang mendalam — proposisi nilai utama Aleo untuk developer.

Eksekusi Publik vs. Privat

Aleo mendukung eksekusi privat (dibuktikan ZK) dan publik (transparan on-chain) dalam aplikasi yang sama:

  • State privat: Dienkripsi dalam record pengguna, transisi dibuktikan ZK
  • State publik: State on-chain standar, terlihat oleh semua orang
  • Aplikasi dapat mencampur keduanya: misalnya, DEX privat di mana semua jumlah perdagangan tersembunyi tetapi TVL total protokol bersifat publik

Selektif Disclosure

Pengguna dapat mengungkapkan komputasi atau data spesifik menggunakan “view keys” — berbagi akses baca ke record spesifik tanpa mengekspos seluruh wallet. Ini memungkinkan kepatuhan selektif tanpa deanonimisasi penuh.

Catatan Realistis

  • Visi Aleo tentang privasi secara default adalah yang paling ambisius dalam ruang privasi blockchain — desain teknis lebih maju dari kebanyakan kompetitor.
  • Adopsi developer: Menulis dalam Leo memerlukan pola pikir yang berbeda dari Solidity. Ekosistem developer masih sangat kecil dibandingkan EVM per 2024.
  • Kinerja proof generation: Menghasilkan ZK proof on-device untuk setiap transaksi masih lambat di hardware konsumen. Waktu pembuktian bisa 10–60 detik untuk operasi kompleks.
  • Tantangan pengguna akhir: UX untuk aplikasi privat-secara-default tetap rumit; pengguna perlu memahami model record dan kunci.

Warisan

Aleo adalah argumen teknis paling lengkap bahwa privasi seharusnya menjadi default blockchain, bukan fitur tambahan. Bahasa Leo memberikan template untuk bagaimana ZK programming harus dikemas untuk developer arus utama. Desain PoSW memperkenalkan model baru di mana “penambangan” menghasilkan nilai langsung dalam bentuk proof.

Istilah Terkait

Referensi