Aleo: Blockchain inovatif untuk perlindungan privasi dan skalabilitas

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

Ikhtisar Proyek

privasi

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

1. Bahasa pemrograman Leo: dirancang khusus untuk mengembangkan aplikasi zero-knowledge, 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, memungkinkan eksekusi fungsi tanpa izin.

3. zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi, mendukung interaksi pemrograman multi-pihak.

Aleo juga menyediakan lingkungan pengembangan terintegrasi dan paket alat pengembangan perangkat lunak, mendukung pengembangan dan penyebaran aplikasi yang cepat.

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. Ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem, menghindari kemacetan jaringan dan biaya tinggi.

Mekanisme konsensus

Aleo memperkenalkan AleoBFT, suatu mekanisme konsensus arsitektur campuran yang menggabungkan finalitas instan dari validator dan kemampuan komputasi dari pembuktian. Fitur utama:

1. Blok finalitas cepat: memastikan setiap blok yang dihasilkan segera mendapatkan konfirmasi.

2. Jaminan desentralisasi: Dengan memisahkan produksi blok dan pembuatan coinbase, mencegah sekelompok kecil entitas mendominasi jaringan.

3. Mekanisme insentif: Validator dan penyetor berbagi hadiah blok, mendorong partisipasi dalam operasi jaringan.

Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi gas, cocok untuk aplikasi yang berjalan lama seperti pembelajaran mesin.

Kemajuan Terbaru

1. Proposal ARC-100 disetujui: melibatkan langkah-langkah kepatuhan dan keamanan, sedang dalam penyesuaian akhir.

2. Program insentif validator: Dimulai pada 1 Juli dan berlangsung hingga 15 Juli, mendistribusikan 1 juta poin Aleo sebagai hadiah.

3. Pasokan dan Sirkulasi Awal: Jumlah pasokan awal 1,5 miliar token, sirkulasi awal sekitar 10%.

4. Reset jaringan uji Beta: Menambahkan ARC-41 dan fungsi puzzle baru.

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

6. Ekspansi node validasi: Awalnya 15 node, target meningkat menjadi 50 dalam setahun, akhirnya mencapai 500.

Pembaruan Algoritma Synthesis Puzzle

Algoritma baru tidak lagi fokus pada hasil pembuatan bukti zk, menghapus perhitungan MSM dan NTT, dan beralih untuk memusatkan perhatian pada pembuatan saksi. Alur utama:

1. Setiap epoch menghasilkan EpochProgram yang tetap.

2. Menggunakan nonce sebagai biji acak untuk menghasilkan input EpochProgram.

3. Menggabungkan R1CS dan input, menghitung saksi.

4. Mengubah witness menjadi simpul daun pohon Merkle.

5. Hitung akar Merkle dan ubah menjadi proof_target.

6. Jika memenuhi syarat, kirim solusi dan siarkan.

Pembaruan ini membuat puzzle beralih dari menghasilkan proof ke menghasilkan witness, di mana perhitungan logis konsisten dalam setiap epoch namun memiliki perbedaan yang cukup besar antar epoch. Algoritma baru ini membawa tantangan untuk optimasi GPU, dan implementasi paralel cukup sulit.