Aleo: Inovator Blockchain Perlindungan Privasi

Aleo adalah proyek Blockchain yang berkomitmen untuk perlindungan privasi, yang mencapai tingkat privasi dan skalabilitas yang lebih tinggi melalui teknologi bukti nol pengetahuan (ZKP). Inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pengolahan data tanpa mengungkapkan data pribadi.

Artikel ini akan memperkenalkan ringkasan proyek Aleo dan kemajuan terbaru, serta memberikan penjelasan mendetail tentang pembaruan algoritma puzzle yang menjadi perhatian pasar.

Tinjauan Proyek

Privasi

Inti dari Aleo adalah teknologi bukti nol pengetahuan (ZKP), yang memungkinkan transaksi dan pelaksanaan kontrak pintar dilakukan dengan menjaga privasi. Rincian transaksi pengguna, seperti pengirim dan jumlah transaksi, secara default disembunyikan. Desain ini tidak hanya melindungi privasi pengguna, tetapi juga memungkinkan pengungkapan selektif jika diperlukan, sangat cocok untuk perkembangan aplikasi DeFi. Komponen utamanya meliputi:

1. Leo Bahasa pemrograman: Diadaptasi dari bahasa Rust, khusus untuk pengembangan aplikasi tanpa pengetahuan (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.

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

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

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

Skalabilitas

Aleo mengadopsi metode pengolahan off-chain, di mana transaksi pertama-tama dihitung pembuktiannya di perangkat pengguna, kemudian hanya hasil verifikasi yang diunggah ke Blockchain. Metode ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem, menghindari kemacetan jaringan dan masalah biaya yang tinggi.

mekanisme konsensus

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

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

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

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

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

Perkembangan Terbaru

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

1. ARC-100 suara disetujui: Suara untuk ARC-100 ("Praktik Terbaik Kepatuhan untuk Pengembang dan Operator Aleo", yang mencakup aspek kepatuhan, penguncian dana di jaringan Aleo, dan langkah-langkah keamanan seperti penundaan penyetoran) telah selesai dan disetujui. Tim sedang melakukan penyesuaian akhir.

2. Rencana insentif validator: Rencana ini akan dimulai pada 1 Juli, bertujuan untuk memverifikasi mekanisme puzzle baru. Rencana ini akan berjalan hingga 15 Juli, selama periode tersebut akan dialokasikan 1 juta poin Aleo sebagai hadiah. Persentase poin yang dihasilkan oleh node akan menentukan bagian hadiahnya, dan setiap validator harus mendapatkan setidaknya 100 token untuk memenuhi syarat mendapatkan hadiah. Rincian spesifik belum final.

3. Pasokan Awal dan Pasokan Beredar: Jumlah pasokan awal adalah 1,5 miliar token, dengan jumlah pasokan beredar awal sekitar 10% (belum final). Token-token ini sebagian besar berasal dari tugas Coinbase (75 juta), yang akan didistribusikan dalam enam bulan pertama, termasuk hadiah untuk staking, menjalankan validator, dan node validasi.

4. Reset Testnet Beta: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada fitur baru yang ditambahkan, jaringan akan mirip dengan mainnet. Reset ini dilakukan untuk menambahkan ARC-41 dan fitur puzzle baru.

5. Pembekuan kode: Pembekuan kode telah selesai seminggu yang lalu.

6. Rencana Ekspansi Node Validasi: Jumlah awal node validasi adalah 15, dengan target untuk meningkatkannya menjadi 50 dalam setahun, dan akhirnya mencapai 500. Untuk menjadi delegator diperlukan 10.000 token, dan untuk menjadi validator diperlukan 10 juta token, jumlah ini akan berkurang seiring waktu.

Analisis Algoritma Synthesis Puzzle

Aleo baru-baru ini memperbarui versi terbaru dari algoritma puzzle, algoritma baru ini tidak lagi berfokus pada pembuatan hasil zk proof, telah menghapus perhitungan MSM dan NTT, dan beralih untuk fokus pada pembuatan data perantara witness sebelum menghasilkan proof. Berikut adalah pengantar singkat tentang algoritma terbaru:

Proses Konsensus

1. Prover menghitung puzzle untuk membangun solusi dan menyiarkannya ke jaringan.

2. Validator menggabungkan transaksi dan solusi untuk blok baru berikutnya, memastikan jumlah solusi tidak melebihi batas konsensus.

3. Keabsahan solusi perlu memverifikasi bahwa epoch_hash-nya sesuai dengan latest_epoch_hash yang dikelola oleh validator, proof_target yang dihitung sesuai dengan latest_proof_target yang dikelola oleh validator di jaringan, dan jumlah solusi yang termasuk dalam blok tersebut kurang dari batas konsensus.

4. Solusi yang efektif dapat memperoleh imbalan konsensus.

Synthesis Puzzle Mekanisme Inti

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 di jaringan perlu menghitung EpochProgram yang sama, yang diambil dari instruksi menggunakan angka acak yang dihasilkan dari current epoch_hash.

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

4. Mengagregasi R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.

5. Hitung semua saksi, kemudian konversikan ke dalam urutan node daun merkle tree.

6. Hitung merkle root dan konversikan ke dalam proof_target solusi, kemudian periksa apakah memenuhi latest_proof_target epoch saat ini.

7. Dalam epoch yang sama, input EpochProgram dapat diperbarui melalui iterasi counter untuk menghitung solusi beberapa kali.

Perubahan dan Dampak Penambangan

Setelah pembaruan ini, puzzle beralih dari menghasilkan proof menjadi menghasilkan witness, di mana logika perhitungan semua solution dalam setiap epoch konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang cukup besar. Algoritma baru ini mengesampingkan perhitungan MSM dan NTT sebelumnya, mengurangi efek optimasi untuk GPU. Karena proses menghasilkan witness melibatkan eksekusi program yang berubah sesuai epoch, di mana ada beberapa ketergantungan eksekusi serial dalam instruksinya, pelaksanaan paralel memiliki tantangan tertentu.

Perubahan ini mungkin akan mempengaruhi strategi penambangan dan keuntungan perangkat keras yang ada, memaksa para peserta penambangan untuk menyesuaikan dan beradaptasi dengan persyaratan algoritma baru. Pada saat yang sama, ini juga dapat memberikan lingkungan persaingan yang lebih adil bagi peserta baru, yang membantu meningkatkan tingkat desentralisasi jaringan.