Aleo: Terobosan Baru dalam Blockchain Perlindungan Privasi

Aleo adalah proyek blockchain yang berfokus pada perlindungan privasi, yang mencapai tingkat privasi dan skalabilitas yang lebih tinggi melalui teknologi zero-knowledge proof (ZKP). Konsep inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data sambil melindungi data pribadi.

Ringkasan Proyek

privasi

Inti dari Aleo adalah teknologi bukti nol pengetahuan (ZKPs), yang memungkinkan pelaksanaan transaksi dan kontrak pintar dilakukan dengan melindungi privasi. Detail transaksi pengguna, seperti pengirim dan jumlah, secara default disembunyikan. Desain ini tidak hanya melindungi privasi pengguna, tetapi juga memungkinkan pengungkapan selektif saat diperlukan, sangat cocok untuk pengembangan aplikasi DeFi. Komponen utama terdiri dari:

1. Leo bahasa pemrograman: diadaptasi dari Rust, khusus untuk mengembangkan aplikasi pengetahuan nol (ZKApps), mengurangi kebutuhan developer akan pengetahuan kriptografi.

2. snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memvalidasi hasil di dalam rantai, sehingga 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 (IDE) dan paket alat pengembangan perangkat lunak (SDK), 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 terlebih dahulu menghitung bukti 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 yang mirip dengan Ethereum.

mekanisme konsensus

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

1. Finalitas cepat blok: AleoBFT memastikan setiap blok yang dihasilkan segera dikonfirmasi, 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 pembuktian, mencegah entitas minoritas mendominasi jaringan.

3. Mekanisme insentif: validator dan pembuktian berbagi hadiah blok; mendorong pembuktian 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 berjalan seperti pembelajaran mesin.

Perkembangan Terbaru

Aleo dijadwalkan untuk meluncurkan jaringan pengujian insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:

1. Proposal ARC-100 disetujui: Proposal ini mencakup aspek kepatuhan, penguncian dana di jaringan, dan langkah-langkah keamanan seperti penundaan pengiriman dana, saat ini tim sedang melakukan penyesuaian akhir.

2. Rencana insentif validator: 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.

3. Pasokan token: Jumlah pasokan awal adalah 1,5 miliar token, jumlah pasokan yang beredar awal sekitar 10% ( yang akan ditentukan ). Token-token ini terutama berasal dari tugas Coinbase ( 750 juta ), yang akan didistribusikan dalam enam bulan pertama, termasuk hadiah untuk staking, menjalankan validator, dan node verifikasi.

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 seminggu yang lalu.

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

Analisis Algoritma Synthesis Puzzle

Aleo baru-baru ini memperbarui algoritma puzzle, algoritma baru tidak lagi fokus pada generasi hasil zk proof, tetapi lebih pada menghasilkan data tengah witness sebelum proof dihasilkan. Berikut adalah pengantar singkat tentang algoritma baru:

Proses konsensus

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

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

3. Legalitas Solution perlu memverifikasi apakah epoch_hash, proof_target memenuhi persyaratan jaringan, serta apakah jumlah solution dalam block berada dalam batasan.

4. Solusi yang efektif dapat memperoleh hadiah konsensus.

Mekanisme Inti Synthesis Puzzle

1. Setiap epoch menghasilkan satu EpochProgram secara tetap, yang digunakan bersama oleh semua prover.

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

3. EpochProgram dihasilkan dari angka acak yang dihasilkan dari epoch_hash saat ini yang diambil dari kumpulan instruksi.

4. Gunakan nonce sebagai biji acak untuk menghasilkan input EpochProgram.

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

6. Setelah menghitung semua saksi, konversikan ke dalam urutan node daun dari pohon merkle.

7. Hitung merkle root dan konversikan ke proof_target solusi, periksa apakah memenuhi persyaratan epoch saat ini.

8. Jika memenuhi syarat, kirimkan solusi dan siarkan.

Pembaruan kali ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan solution dalam setiap epoch konsisten, tetapi terdapat perbedaan yang cukup besar antara epoch yang berbeda. Algoritma baru ini mengabaikan optimasi GPU sebelumnya untuk perhitungan MSM dan NTT, sementara karena ada ketergantungan dalam eksekusi serial selama proses pembuatan witness, pelaksanaan paralel menghadapi tantangan yang cukup besar.