Aleo: Arah Baru Blockchain Privasi

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

Gambaran Proyek

privasi

Inti dari Aleo adalah teknologi bukti nol pengetahuan, yang memungkinkan transaksi dan eksekusi kontrak pintar dilakukan sambil melindungi privasi. Rincian transaksi pengguna secara default disembunyikan, tetapi memungkinkan pengungkapan selektif saat diperlukan, sangat cocok untuk pengembangan aplikasi DeFi. Komponen utama termasuk:

1. Bahasa Leo: bahasa yang dirancang khusus untuk mengembangkan aplikasi nol pengetahuan (ZKApps), yang mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.

2. snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil di dalam rantai, meningkatkan efisiensi. snarkOS memastikan keamanan data dan perhitungan, serta mendukung 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 dan paket alat pengembangan perangkat lunak, 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 menggunakan metode pemrosesan off-chain, di mana transaksi pertama-tama dihitung buktinya di perangkat pengguna, kemudian hanya hasil verifikasi yang diunggah ke Blockchain. Metode ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem, menghindari masalah kemacetan jaringan dan biaya tinggi.

mekanisme konsensus

Aleo memperkenalkan AleoBFT, sebuah mekanisme konsensus dengan arsitektur hibrida yang menggabungkan finalitas instan dari validator dan kemampuan komputasi dari prover. AleoBFT meningkatkan tingkat desentralisasi jaringan, serta meningkatkan kinerja dan keamanan.

1. Blok finalitas cepat: memastikan setiap blok yang dihasilkan segera mendapatkan konfirmasi, meningkatkan stabilitas node dan pengalaman pengguna.

2. Jaminan desentralisasi: dengan memisahkan produksi blok dan pembuatan coinbase, mencegah beberapa entitas mendominasi jaringan.

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

Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatas pada gas, sangat cocok untuk aplikasi yang membutuhkan waktu berjalan lama, seperti pembelajaran mesin.

Kemajuan Terbaru

Aleo akan meluncurkan jaringan pengujian insentif pada 1 Juli, informasi penting termasuk:

1. Pemungutan suara ARC-100 disetujui, tim sedang melakukan penyesuaian akhir.

2. Program insentif validator akan dimulai pada 1 Juli dan berjalan hingga 15 Juli, mendistribusikan 1 juta poin Aleo sebagai hadiah.

3. Jumlah pasokan awal adalah 1,5 miliar token, jumlah pasokan yang beredar awalnya sekitar 10%.

4. Testnet Beta telah menyelesaikan reset jaringan terakhir, menambahkan ARC-41 dan fitur puzzle baru.

5. Pembekuan kode telah selesai satu minggu yang lalu.

6. Rencana ekspansi node verifikasi: 15 node awal, target meningkat menjadi 50 dalam setahun, dan akhirnya mencapai 500.

Analisis Algoritma Synthesis Puzzle

Aleo terbaru memperbarui algoritma puzzle, yang disebut Synthesis Puzzle. Algoritma baru ini tidak lagi fokus pada penghasilan zk proof, tetapi lebih menekankan pada penghasilan data tengah witness. Proses inti algoritma adalah sebagai berikut:

1. Setiap epoch menghasilkan satu EpochProgram bersama.

2. Menggunakan nonce( yang terdiri dari alamat hadiah penambangan, epoch_hash, dan counter acak ) sebagai input.

3. Membangun sirkuit bukti R1CS berdasarkan EpochProgram dan input, menghasilkan saksi.

4. Menjadikan witness sebagai node daun dari pohon Merkle, menghitung akar Merkle.

5. Mengubah Merkle root menjadi proof_target dari solution, memverifikasi apakah memenuhi persyaratan epoch saat ini.

6. Jika memenuhi syarat, kirimkan solusi dan siarkan.

Pembaruan ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, dengan logika perhitungan yang konsisten dalam setiap epoch, tetapi perbedaan antar epoch cukup besar. Algoritma baru menghapus perhitungan MSM dan NTT sebelumnya, dan meningkatkan kesulitan implementasi paralel. Perubahan ini akan berdampak signifikan pada strategi dan efisiensi penambangan.