Aleo: Proyek Blockchain yang Memimpin Revolusi Privasi Web3
Aleo adalah proyek blockchain yang berfokus pada perlindungan privasi, dengan teknologi inti yang berbasis pada bukti nol pengetahuan (ZKP), bertujuan untuk mencapai tingkat privasi dan skalabilitas yang lebih tinggi. Ide dasar proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pengolahan data tanpa mengungkapkan informasi pribadi.
Gambaran Proyek
Privasi
Teknologi inti Aleo adalah bukti nol pengetahuan, yang memungkinkan eksekusi transaksi dan kontrak pintar dilakukan dengan melindungi privasi. Detail 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 pengembangan aplikasi keuangan terdesentralisasi.
Komponen utama Aleo meliputi:
Bahasa pemrograman Leo: diadaptasi dari bahasa Rust, khusus untuk mengembangkan aplikasi zero-knowledge, mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, dan hanya memvalidasi hasil perhitungan di dalam rantai, sehingga meningkatkan efisiensi. snarkOS memastikan keamanan data dan perhitungan, serta memungkinkan eksekusi fungsi tanpa izin.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi, mendukung interaksi pemrograman antara pengguna, organisasi, dan organisasi otonomi terdesentralisasi.
Aleo juga menyediakan lingkungan pengembangan terintegrasi dan paket alat pengembangan perangkat lunak, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Selain itu, 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, lalu 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 dengan arsitektur hibrida, menggabungkan finalitas instan dari validator dan kemampuan komputasi dari prover. AleoBFT tidak hanya meningkatkan tingkat desentralisasi jaringan, tetapi juga meningkatkan kinerja dan keamanan.
Keputusan akhir blok cepat: AleoBFT memastikan setiap blok segera dikonfirmasi setelah dihasilkan, meningkatkan stabilitas node dan pengalaman pengguna.
Jaminan Desentralisasi: Dengan memisahkan produksi blok dari pembuatan token, validator bertanggung jawab untuk menghasilkan blok, dan pembuktian dilakukan oleh penyedia bukti, mencegah sejumlah kecil entitas mendominasi jaringan.
Mekanisme insentif: Validator dan pembuktian berbagi hadiah blok; mendorong pembuktian untuk menjadi validator melalui staking token, sehingga meningkatkan derajat desentralisasi dan kemampuan komputasi jaringan.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi sumber daya, sehingga sangat cocok untuk aplikasi yang memerlukan waktu lama untuk dijalankan seperti pembelajaran mesin.
Perkembangan Terbaru
Aleo akan meluncurkan jaringan uji insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
ARC-100 Suara Disetujui: Proposal yang melibatkan kepatuhan, penguncian dana di jaringan Aleo, dan langkah-langkah keamanan seperti penundaan pencairan telah disetujui. Tim sedang melakukan penyesuaian akhir.
Program Insentif Validator: Program ini akan 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.
Pasokan Awal dan Pasokan yang Beredar: Jumlah pasokan awal adalah 1,5 miliar token, dengan pasokan yang beredar awal sekitar 10%. Token ini sebagian besar berasal dari hadiah tugas (75 juta), yang akan didistribusikan dalam enam bulan pertama, termasuk hadiah untuk staking, menjalankan validator, dan node verifikasi.
Reset Jaringan Uji: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada penambahan fitur baru, jaringan akan mirip dengan jaringan utama. Reset ini dilakukan untuk menambahkan fitur baru dan memperbarui mekanisme puzzle.
Pembekuan kode: Pembekuan kode telah selesai satu minggu yang lalu.
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
Algoritma inti versi terbaru Aleo disebut Synthesis Puzzle, yang intinya adalah menghasilkan satu EpochProgram bersama yang tetap untuk setiap epoch, dengan membangun sirkuit bukti R1CS untuk input dan EpochProgram, menghasilkan penugasan R1CS yang sesuai (yaitu saksi) dan sebagai simpul daun dari pohon Merkle, setelah menghitung semua simpul daun, menghasilkan akar Merkle dan mengubahnya menjadi proof_target solusi.
Proses rinci untuk membangun Synthesis Puzzle adalah sebagai berikut:
Setiap perhitungan puzzle disebut nonce, yang dibangun dari alamat yang menerima hadiah penambangan, epoch_hash, dan counter angka acak.
Dalam setiap epoch, EpochProgram yang dihitung oleh semua prover adalah sama, dihasilkan dari angka acak yang diambil dari kumpulan instruksi berdasarkan epoch_hash saat ini.
Gunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Menggabungkan R1CS dan input yang sesuai dengan EpochProgram, lakukan perhitungan saksi.
Mengonversi semua saksi menjadi urutan node daun dari pohon Merkle.
Hitung Merkle root dan ubah menjadi proof_target dari solution, kemudian tentukan apakah itu memenuhi persyaratan epoch saat ini.
Dalam satu epoch yang sama, input dari EpochProgram dapat diperbarui melalui iterasi counter untuk melakukan beberapa perhitungan solusi.
Dampak Pembaruan Algoritma
Setelah pembaruan ini, puzzle beralih dari menghasilkan proof menjadi menghasilkan witness, di mana semua logika perhitungan solusi dalam setiap epoch konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang cukup besar. Algoritma baru ini mengabaikan perhitungan MSM dan NTT dari versi sebelumnya, yang mungkin berdampak pada strategi optimasi GPU yang ada. Selain itu, karena proses menghasilkan witness melibatkan menjalankan program yang bervariasi sesuai epoch, di mana instruksinya mungkin memiliki beberapa ketergantungan eksekusi serial, maka mencapai paralelisasi mungkin menghadapi tantangan yang cukup besar.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
11 Suka
Hadiah
11
14
Posting ulang
Bagikan
Komentar
0/400
GateUser-fea06f41
· 5jam yang lalu
Bukti pengetahuan bola tidak berfungsi
Lihat AsliBalas0
010Strategy
· 6jam yang lalu
Melihat balasan kalian membuatku panik! Apakah kalian memiliki Aleo Spot?
Aleo meluncurkan Testnet Blockchain privasi memimpin revolusi zero-knowledge Web3
Aleo: Proyek Blockchain yang Memimpin Revolusi Privasi Web3
Aleo adalah proyek blockchain yang berfokus pada perlindungan privasi, dengan teknologi inti yang berbasis pada bukti nol pengetahuan (ZKP), bertujuan untuk mencapai tingkat privasi dan skalabilitas yang lebih tinggi. Ide dasar proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pengolahan data tanpa mengungkapkan informasi pribadi.
Gambaran Proyek
Privasi
Teknologi inti Aleo adalah bukti nol pengetahuan, yang memungkinkan eksekusi transaksi dan kontrak pintar dilakukan dengan melindungi privasi. Detail 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 pengembangan aplikasi keuangan terdesentralisasi.
Komponen utama Aleo meliputi:
Bahasa pemrograman Leo: diadaptasi dari bahasa Rust, khusus untuk mengembangkan aplikasi zero-knowledge, mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, dan hanya memvalidasi hasil perhitungan di dalam rantai, sehingga meningkatkan efisiensi. snarkOS memastikan keamanan data dan perhitungan, serta memungkinkan eksekusi fungsi tanpa izin.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi, mendukung interaksi pemrograman antara pengguna, organisasi, dan organisasi otonomi terdesentralisasi.
Aleo juga menyediakan lingkungan pengembangan terintegrasi dan paket alat pengembangan perangkat lunak, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Selain itu, 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, lalu 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 dengan arsitektur hibrida, menggabungkan finalitas instan dari validator dan kemampuan komputasi dari prover. AleoBFT tidak hanya meningkatkan tingkat desentralisasi jaringan, tetapi juga meningkatkan kinerja dan keamanan.
Keputusan akhir blok cepat: AleoBFT memastikan setiap blok segera dikonfirmasi setelah dihasilkan, meningkatkan stabilitas node dan pengalaman pengguna.
Jaminan Desentralisasi: Dengan memisahkan produksi blok dari pembuatan token, validator bertanggung jawab untuk menghasilkan blok, dan pembuktian dilakukan oleh penyedia bukti, mencegah sejumlah kecil entitas mendominasi jaringan.
Mekanisme insentif: Validator dan pembuktian berbagi hadiah blok; mendorong pembuktian untuk menjadi validator melalui staking token, sehingga meningkatkan derajat desentralisasi dan kemampuan komputasi jaringan.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi sumber daya, sehingga sangat cocok untuk aplikasi yang memerlukan waktu lama untuk dijalankan seperti pembelajaran mesin.
Perkembangan Terbaru
Aleo akan meluncurkan jaringan uji insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
ARC-100 Suara Disetujui: Proposal yang melibatkan kepatuhan, penguncian dana di jaringan Aleo, dan langkah-langkah keamanan seperti penundaan pencairan telah disetujui. Tim sedang melakukan penyesuaian akhir.
Program Insentif Validator: Program ini akan 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.
Pasokan Awal dan Pasokan yang Beredar: Jumlah pasokan awal adalah 1,5 miliar token, dengan pasokan yang beredar awal sekitar 10%. Token ini sebagian besar berasal dari hadiah tugas (75 juta), yang akan didistribusikan dalam enam bulan pertama, termasuk hadiah untuk staking, menjalankan validator, dan node verifikasi.
Reset Jaringan Uji: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada penambahan fitur baru, jaringan akan mirip dengan jaringan utama. Reset ini dilakukan untuk menambahkan fitur baru dan memperbarui mekanisme puzzle.
Pembekuan kode: Pembekuan kode telah selesai satu minggu yang lalu.
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
Algoritma inti versi terbaru Aleo disebut Synthesis Puzzle, yang intinya adalah menghasilkan satu EpochProgram bersama yang tetap untuk setiap epoch, dengan membangun sirkuit bukti R1CS untuk input dan EpochProgram, menghasilkan penugasan R1CS yang sesuai (yaitu saksi) dan sebagai simpul daun dari pohon Merkle, setelah menghitung semua simpul daun, menghasilkan akar Merkle dan mengubahnya menjadi proof_target solusi.
Proses rinci untuk membangun Synthesis Puzzle adalah sebagai berikut:
Setiap perhitungan puzzle disebut nonce, yang dibangun dari alamat yang menerima hadiah penambangan, epoch_hash, dan counter angka acak.
Dalam setiap epoch, EpochProgram yang dihitung oleh semua prover adalah sama, dihasilkan dari angka acak yang diambil dari kumpulan instruksi berdasarkan epoch_hash saat ini.
Gunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Menggabungkan R1CS dan input yang sesuai dengan EpochProgram, lakukan perhitungan saksi.
Mengonversi semua saksi menjadi urutan node daun dari pohon Merkle.
Hitung Merkle root dan ubah menjadi proof_target dari solution, kemudian tentukan apakah itu memenuhi persyaratan epoch saat ini.
Dalam satu epoch yang sama, input dari EpochProgram dapat diperbarui melalui iterasi counter untuk melakukan beberapa perhitungan solusi.
Dampak Pembaruan Algoritma
Setelah pembaruan ini, puzzle beralih dari menghasilkan proof menjadi menghasilkan witness, di mana semua logika perhitungan solusi dalam setiap epoch konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang cukup besar. Algoritma baru ini mengabaikan perhitungan MSM dan NTT dari versi sebelumnya, yang mungkin berdampak pada strategi optimasi GPU yang ada. Selain itu, karena proses menghasilkan witness melibatkan menjalankan program yang bervariasi sesuai epoch, di mana instruksinya mungkin memiliki beberapa ketergantungan eksekusi serial, maka mencapai paralelisasi mungkin menghadapi tantangan yang cukup besar.