Aleo: Pelopor Blockchain Privasi

Aleo adalah sebuah proyek blockchain yang berfokus pada perlindungan privasi, menggunakan teknologi bukti nol pengetahuan (ZKP) untuk mencapai tingkat privasi dan skalabilitas yang lebih tinggi. Ide inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data sambil melindungi data pribadi mereka.

Ringkasan Proyek

Privasi

Inti dari Aleo adalah teknologi bukti nol pengetahuan (ZKPs), yang memastikan bahwa pelaksanaan transaksi dan kontrak pintar dilakukan dengan menjaga privasi. Detail transaksi pengguna secara default disembunyikan, desain ini tidak hanya melindungi privasi pengguna, tetapi juga memungkinkan pengungkapan selektif jika diperlukan, sangat cocok untuk pengembangan aplikasi DeFi.

Komponen utama termasuk:

1. Leo Bahasa pemrograman: diubah berdasarkan Rust, dirancang khusus untuk mengembangkan aplikasi pengetahuan nol (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.

2. snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil perhitungan di dalam rantai, meningkatkan efisiensi. snarkOS memastikan keamanan data dan perhitungan, serta memungkinkan eksekusi fungsi tanpa izin.

3. zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan privat, mendukung interaksi pemrograman antara pengguna, organisasi, dan DAO.

Aleo juga menyediakan lingkungan pengembangan terintegrasi (IDE) dan paket alat pengembangan perangkat lunak (SDK), mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Pengembang dapat menyebarkan aplikasi di registri program Aleo tanpa bergantung pada pihak ketiga, mengurangi risiko platform.

Skalabilitas

Aleo menggunakan cara pemrosesan off-chain, di mana transaksi pertama-tama dihitung buktinya di perangkat pengguna, kemudian hanya hasil verifikasi yang diunggah ke Blockchain. Cara ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem, menghindari kemacetan jaringan dan biaya tinggi.

Mekanisme konsensus

Aleo memperkenalkan AleoBFT, yang merupakan mekanisme konsensus dengan arsitektur hibrida, menggabungkan finalitas instan dari validator dan kemampuan komputasi dari prover. AleoBFT tidak hanya meningkatkan tingkat desentralisasi jaringan, tetapi juga meningkatkan kinerja dan keamanan.

1. Keberlangsungan akhir blok yang cepat: AleoBFT memastikan setiap blok segera dikonfirmasi setelah dihasilkan, meningkatkan stabilitas node dan pengalaman pengguna.

2. Jaminan desentralisasi: Dengan memisahkan produksi blok dari pembuatan coinbase, validator bertanggung jawab untuk menghasilkan blok, dan pembuktian melakukan perhitungan bukti, mencegah sejumlah kecil entitas mendominasi jaringan.

3. Mekanisme insentif: Validator dan penjamin berbagi hadiah blok; mendorong penjamin untuk menjadi validator melalui staking token, sehingga meningkatkan tingkat desentralisasi dan kemampuan komputasi jaringan.

Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatas oleh gas, sehingga sangat cocok untuk aplikasi yang memerlukan waktu lama untuk dijalankan seperti pembelajaran mesin.

Perkembangan Terbaru

Aleo akan meluncurkan jaringan uji insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:

1. ARC-100 suara disetujui: Proposal yang melibatkan aspek kepatuhan, penguncian dana di jaringan, dan langkah-langkah keamanan seperti penundaan penyelesaian telah disetujui, tim sedang melakukan penyesuaian akhir.

2. Rencana insentif validator: Dimulai pada 1 Juli, bertujuan untuk memvalidasi mekanisme puzzle baru. Rencana ini akan berjalan hingga 15 Juli, selama periode tersebut akan dialokasikan 1 juta poin Aleo sebagai hadiah.

3. Pasokan Awal dan Pasokan Beredar: Jumlah pasokan awal adalah 1,5 miliar token, dan jumlah pasokan beredar awal sekitar 10%. Token ini sebagian besar berasal dari tugas Coinbase, yang akan didistribusikan dalam enam bulan pertama.

4. Reset Testnet Beta: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada fitur baru yang ditambahkan, jaringan akan mirip dengan mainnet.

5. Pembekuan kode: Telah selesai satu minggu yang lalu.

6. Rencana Ekspansi Node Verifikasi: Jumlah awal node verifikasi adalah 15, dengan target meningkat menjadi 50 dalam setahun, dan akhirnya mencapai 500.

Synthesis Puzzle：Analisis Algoritma Baru

Inti algoritma terbaru Aleo disebut Synthesis Puzzle, yang intinya adalah menghasilkan satu EpochProgram bersama yang tetap untuk setiap epoch. Dengan membangun rangkaian bukti R1CS untuk input dan EpochProgram, dihasilkan penugasan R1CS yang sesuai (yaitu saksi) dan digunakan sebagai simpul daun Merkle tree. Setelah menghitung semua simpul daun, dihasilkan akar Merkle dan dikonversi menjadi proof_target dari solusi.

Proses Algoritma

1. Setiap perhitungan puzzle disebut nonce, yang dibangun dari alamat yang menerima hadiah penambangan, epoch_hash, dan angka acak counter.

2. Dalam setiap epoch, semua prover menghitung EpochProgram yang sama, diambil dari kumpulan instruksi berdasarkan angka acak yang dihasilkan oleh current epoch_hash.

3. Menggunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.

4. Menggabungkan R1CS dan input dari EpochProgram yang sesuai, melakukan perhitungan saksi.

5. Hitung semua saksi, lalu konversikan ke dalam urutan simpul daun Merkle tree.

6. Hitung Merkle root dan konversi menjadi proof_target solusi, tentukan apakah memenuhi latest_proof_target epoch saat ini.

7. Dalam satu epoch yang sama, beberapa perhitungan solusi dapat dilakukan melalui pembaruan input EpochProgram dengan iterasi counter.

Perubahan dan Dampak Penambangan

Versi baru puzzle beralih dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan semua solusi dalam setiap epoch konsisten, tetapi terdapat perbedaan logika perhitungan yang cukup besar antar epoch. Pembaruan ini menghilangkan perhitungan MSM dan NTT sebelumnya, sementara proses menghasilkan witness melibatkan pelaksanaan program yang berubah seiring epoch, di mana instruksi memiliki beberapa ketergantungan yang dieksekusi secara serial, sehingga mewujudkan paralelisasi akan menghadapi tantangan yang tidak kecil.