Aleo: Pelopor Perlindungan Privasi dan Skalabilitas
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, menggunakan teknologi bukti nol-pengetahuan (ZKP) untuk mencapai privasi dan skalabilitas yang lebih tinggi. Ide 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 (ZKPs), yang memungkinkan pelaksanaan transaksi dan kontrak pintar dilakukan dengan menjaga privasi. Detail transaksi pengguna secara default disembunyikan, sambil memungkinkan pengungkapan selektif jika diperlukan, sangat cocok untuk pengembangan aplikasi DeFi. Komponen utama meliputi:
Bahasa pemrograman Leo: Dimodifikasi dari bahasa Rust, dirancang khusus untuk mengembangkan aplikasi pengetahuan nol (ZKApps), mengurangi persyaratan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil perhitungan di dalam rantai, 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 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 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 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.
Finalitas blok cepat: AleoBFT memastikan setiap blok segera dikonfirmasi setelah dihasilkan, meningkatkan stabilitas node dan pengalaman pengguna.
Jaminan Desentralisasi: Dengan memisahkan produksi blok dari pembuatan coinbase, validator bertanggung jawab untuk menghasilkan blok, sementara pembuktian melakukan perhitungan pembuktian, mencegah sejumlah entitas menguasai jaringan.
Mekanisme insentif: Validator dan pembukti berbagi hadiah blok; mendorong pembukti untuk menjadi validator melalui staking token, meningkatkan tingkat desentralisasi dan kemampuan komputasi jaringan.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi oleh gas, sehingga sangat cocok untuk aplikasi yang memerlukan waktu eksekusi lama seperti pembelajaran mesin.
Perkembangan Terbaru
Aleo akan meluncurkan jaringan uji coba insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
Suara ARC-100 disetujui: Proposal yang melibatkan kepatuhan, penguncian dana di jaringan, dan langkah-langkah keamanan seperti penundaan deposit telah disetujui, tim sedang melakukan penyesuaian akhir.
Program Insentif Validator: Berlangsung dari 1 hingga 15 Juli, mengalokasikan 1 juta poin Aleo sebagai hadiah. Persentase poin yang dihasilkan oleh node akan menentukan bagian hadiahnya, dan setiap validator setidaknya harus menghasilkan 100 token untuk mendapatkan hadiah.
Pasokan token: Jumlah pasokan awal adalah 1,5 miliar token, dengan pasokan sirkulasi awal sekitar 10%. Token-token ini sebagian besar berasal dari tugas Coinbase (75 juta), yang akan didistribusikan dalam enam bulan pertama, termasuk hadiah untuk staking, menjalankan validator, dan node verifikasi.
Reset Testnet Beta: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada fitur baru yang ditambahkan, jaringan akan mirip dengan mainnet.
Pembekuan kode: Telah diselesaikan satu minggu yang lalu.
Rencana Perluasan Node Verifikasi: Jumlah awal node verifikasi adalah 15, dengan target untuk meningkatkannya menjadi 50 dalam setahun, dan akhirnya mencapai 500. Untuk menjadi delegator diperlukan 10.000 token, dan untuk menjadi verifikator diperlukan 10 juta token, jumlah ini akan berkurang seiring berjalannya waktu.
Analisis Algoritma Synthesis Puzzle
Inti algoritma terbaru Aleo disebut Synthesis Puzzle, yang intinya adalah menghasilkan satu EpochProgram bersama yang tetap untuk setiap epoch, dengan membangun rangkaian 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 acak.
Dalam setiap epoch, EpochProgram yang dihitung oleh semua prover adalah sama, diambil dari set instruksi menggunakan angka acak yang dihasilkan dari epoch_hash saat ini.
Menggunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Mengagregasi R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Hitung semua saksi, lalu konversikan menjadi urutan simpul daun Merkle tree.
Hitung akar Merkle dan konversikan ke proof_target solusi, tentukan apakah memenuhi latest_proof_target epoch saat ini.
Dalam satu epoch, beberapa perhitungan solusi dapat dilakukan dengan memperbarui input EpochProgram melalui iterasi counter.
Pembaruan kali ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan semua solusi dalam setiap epoch konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang signifikan. Algoritma baru ini meninggalkan perhitungan MSM dan NTT sebelumnya, sementara karena adanya ketergantungan eksekusi serial dalam proses pembuatan witness, penerapan paralelisasi memiliki tantangan tersendiri.
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.
15 Suka
Hadiah
15
5
Bagikan
Komentar
0/400
LuoGeMade1MillionDo
· 9jam yang lalu
aleo adalah pemimpin zona pengetahuan nol, dengan potensi besar di masa depan
Lihat AsliBalas0
GateUser-330c4008
· 9jam yang lalu
Koin ini mengandalkan iklan yang disebut privasi zk-SNARKs, sebenarnya Ethereum segera menggunakan zk-SNARKs.
Blockchain privasi Aleo akan segera meluncurkan Testnet insentif, teknologi zk-SNARKs memimpin era baru.
Aleo: Pelopor Perlindungan Privasi dan Skalabilitas
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, menggunakan teknologi bukti nol-pengetahuan (ZKP) untuk mencapai privasi dan skalabilitas yang lebih tinggi. Ide 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 (ZKPs), yang memungkinkan pelaksanaan transaksi dan kontrak pintar dilakukan dengan menjaga privasi. Detail transaksi pengguna secara default disembunyikan, sambil memungkinkan pengungkapan selektif jika diperlukan, sangat cocok untuk pengembangan aplikasi DeFi. Komponen utama meliputi:
Bahasa pemrograman Leo: Dimodifikasi dari bahasa Rust, dirancang khusus untuk mengembangkan aplikasi pengetahuan nol (ZKApps), mengurangi persyaratan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil perhitungan di dalam rantai, 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 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 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 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.
Finalitas blok cepat: AleoBFT memastikan setiap blok segera dikonfirmasi setelah dihasilkan, meningkatkan stabilitas node dan pengalaman pengguna.
Jaminan Desentralisasi: Dengan memisahkan produksi blok dari pembuatan coinbase, validator bertanggung jawab untuk menghasilkan blok, sementara pembuktian melakukan perhitungan pembuktian, mencegah sejumlah entitas menguasai jaringan.
Mekanisme insentif: Validator dan pembukti berbagi hadiah blok; mendorong pembukti untuk menjadi validator melalui staking token, meningkatkan tingkat desentralisasi dan kemampuan komputasi jaringan.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi oleh gas, sehingga sangat cocok untuk aplikasi yang memerlukan waktu eksekusi lama seperti pembelajaran mesin.
Perkembangan Terbaru
Aleo akan meluncurkan jaringan uji coba insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
Suara ARC-100 disetujui: Proposal yang melibatkan kepatuhan, penguncian dana di jaringan, dan langkah-langkah keamanan seperti penundaan deposit telah disetujui, tim sedang melakukan penyesuaian akhir.
Program Insentif Validator: Berlangsung dari 1 hingga 15 Juli, mengalokasikan 1 juta poin Aleo sebagai hadiah. Persentase poin yang dihasilkan oleh node akan menentukan bagian hadiahnya, dan setiap validator setidaknya harus menghasilkan 100 token untuk mendapatkan hadiah.
Pasokan token: Jumlah pasokan awal adalah 1,5 miliar token, dengan pasokan sirkulasi awal sekitar 10%. Token-token ini sebagian besar berasal dari tugas Coinbase (75 juta), yang akan didistribusikan dalam enam bulan pertama, termasuk hadiah untuk staking, menjalankan validator, dan node verifikasi.
Reset Testnet Beta: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada fitur baru yang ditambahkan, jaringan akan mirip dengan mainnet.
Pembekuan kode: Telah diselesaikan satu minggu yang lalu.
Rencana Perluasan Node Verifikasi: Jumlah awal node verifikasi adalah 15, dengan target untuk meningkatkannya menjadi 50 dalam setahun, dan akhirnya mencapai 500. Untuk menjadi delegator diperlukan 10.000 token, dan untuk menjadi verifikator diperlukan 10 juta token, jumlah ini akan berkurang seiring berjalannya waktu.
Analisis Algoritma Synthesis Puzzle
Inti algoritma terbaru Aleo disebut Synthesis Puzzle, yang intinya adalah menghasilkan satu EpochProgram bersama yang tetap untuk setiap epoch, dengan membangun rangkaian 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 acak.
Dalam setiap epoch, EpochProgram yang dihitung oleh semua prover adalah sama, diambil dari set instruksi menggunakan angka acak yang dihasilkan dari epoch_hash saat ini.
Menggunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Mengagregasi R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Hitung semua saksi, lalu konversikan menjadi urutan simpul daun Merkle tree.
Hitung akar Merkle dan konversikan ke proof_target solusi, tentukan apakah memenuhi latest_proof_target epoch saat ini.
Dalam satu epoch, beberapa perhitungan solusi dapat dilakukan dengan memperbarui input EpochProgram melalui iterasi counter.
Pembaruan kali ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan semua solusi dalam setiap epoch konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang signifikan. Algoritma baru ini meninggalkan perhitungan MSM dan NTT sebelumnya, sementara karena adanya ketergantungan eksekusi serial dalam proses pembuatan witness, penerapan paralelisasi memiliki tantangan tersendiri.