Aleo: Proyek Blockchain Inovatif untuk Privasi dan Skalabilitas

Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, yang mencapai privasi dan skalabilitas yang lebih tinggi melalui teknologi bukti nol pengetahuan. Ide inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data tanpa mengungkapkan data pribadi.

Gambaran Umum Proyek

privasi

Inti dari Aleo adalah teknologi bukti nol-pengetahuan, yang memungkinkan transaksi dan eksekusi kontrak pintar dilakukan dengan menjaga privasi. Detail transaksi pengguna secara default disembunyikan, sambil memungkinkan pengungkapan selektif ketika diperlukan, yang sangat cocok untuk pengembangan aplikasi DeFi. Komponen utamanya meliputi:

1. Bahasa pemrograman Leo: Diadaptasi dari bahasa Rust, khusus untuk mengembangkan aplikasi zero-knowledge, mengurangi kebutuhan pengetahuan kriptografi bagi para pengembang.

2. snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan off-chain, hanya memverifikasi hasil perhitungan di on-chain, 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 privat, 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, mengurangi risiko platform.

Skalabilitas

Aleo menggunakan metode pemrosesan off-chain, di mana transaksi pertama-tama dihitung buktinya di perangkat pengguna, kemudian hanya hasil verifikasinya 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 arsitektur campuran, menggabungkan finalitas instan dari validator dan kemampuan komputasi dari prover. AleoBFT tidak hanya meningkatkan tingkat desentralisasi jaringan, tetapi juga meningkatkan kinerja dan keamanan.

1. Keberlanjutan 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 dilakukan oleh penentu, untuk mencegah sedikit entitas mendominasi jaringan.

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

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

Perkembangan Terbaru

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

1. Suara ARC-100 disetujui: Proposal yang melibatkan aspek kepatuhan, penguncian dana di jaringan, dan langkah-langkah keamanan seperti keterlambatan pencairan telah disetujui. Tim sedang melakukan penyesuaian akhir.

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

3. Pasokan token: Jumlah pasokan awal adalah 1,5 miliar token, dengan pasokan sirkulasi awal sekitar 10%. Token ini sebagian besar berasal dari hadiah tugas, yang akan didistribusikan dalam enam bulan pertama, termasuk hadiah untuk staking, menjalankan validator, dan node validasi.

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

5. Pembekuan kode: Sudah diselesaikan 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.

Pembaruan Algoritma Synthesis Puzzle

Aleo baru-baru ini memperbarui versi terbaru dari algoritma puzzle, di mana algoritma baru ini tidak lagi fokus pada pembuatan hasil zk proof, tetapi lebih menekankan pada pembuatan data antara witness sebelum proof dihasilkan.

Proses Konsensus

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

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

3. Keabsahan Solution perlu memverifikasi apakah epoch_hash dan proof_target sesuai dengan nilai terbaru yang dikelola dalam jaringan, dan jumlah solution yang termasuk dalam blok tersebut harus kurang dari batas konsensus.

4. Solusi yang efektif dapat memperoleh imbalan konsensus.

Proses Inti Synthesis Puzzle

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

2. Dalam setiap epoch, semua perhitungan di jaringan perlu menghitung EpochProgram yang sama, yang diambil dari himpunan instruksi berdasarkan angka acak yang dihasilkan oleh epoch_hash saat ini.

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

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

5. Hitung semua saksi, kemudian ubah menjadi urutan node daun pohon merkle.

6. Hitung merkle root dan ubah menjadi proof_target dari solution, kemudian periksa apakah memenuhi latest_proof_target dari epoch saat ini.

7. Beberapa perhitungan solusi dapat dilakukan dengan memperbarui input EpochProgram melalui iterasi counter dalam epoch yang sama.

Pembaruan kali ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, di mana logika perhitungan semua solusi dalam setiap epoch konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang cukup besar. Algoritma baru ini mengabaikan perhitungan MSM dan NTT sebelumnya, dan karena proses menghasilkan witness memiliki beberapa ketergantungan yang dieksekusi secara serial, mencapai paralelisasi memiliki tantangan tertentu.