Aleo: Pelopor Blockchain untuk Perlindungan Privasi dan Skalabilitas
Aleo adalah proyek inovatif yang berkomitmen untuk meningkatkan perlindungan privasi dan skalabilitas Blockchain. Dengan menggunakan teknologi bukti nol pengetahuan, Aleo memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data sambil melindungi informasi pribadi.
Gambaran Umum Proyek
Perlindungan Privasi
Teknologi inti Aleo adalah zero-knowledge proofs (ZKPs), yang memastikan perlindungan privasi pengguna selama eksekusi transaksi dan smart contract. Secara default, rincian transaksi seperti pengirim dan jumlah disembunyikan. Desain ini tidak hanya melindungi privasi pengguna, tetapi juga mendukung pengungkapan selektif jika diperlukan, sangat cocok untuk pengembangan aplikasi DeFi.
Komponen utama Aleo meliputi:
Bahasa Pemrograman Leo: Diadaptasi dari Rust, khusus untuk mengembangkan aplikasi zero-knowledge (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM mendukung eksekusi perhitungan di luar rantai, hanya memverifikasi hasil di dalam rantai, meningkatkan efisiensi. snarkOS menjamin keamanan data dan perhitungan, mendukung eksekusi fungsi tanpa izin.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi, mendukung interaksi pemrograman antara semua pihak.
Aleo juga menyediakan lingkungan pengembangan terintegrasi (IDE) dan paket pengembangan perangkat lunak (SDK), memudahkan pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Pengembang dapat secara langsung 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, 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.
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.
Kecepatan finalitas blok: AleoBFT memastikan setiap blok yang dihasilkan segera dikonfirmasi, meningkatkan stabilitas node dan pengalaman pengguna.
Jaminan Desentralisasi: Dengan memisahkan produksi blok dan pembuatan coinbase, validator bertanggung jawab untuk menghasilkan blok, sementara pembuktian melakukan perhitungan bukti, mencegah sebagian kecil entitas mendominasi jaringan.
Mekanisme insentif: Validator dan penyaksi berbagi hadiah blok; mendorong penyaksi 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 lama untuk berjalan, seperti pembelajaran mesin, dll.
Kemajuan Terbaru
Aleo akan meluncurkan jaringan pengujian insentif pada 1 Juli, berikut adalah beberapa pembaruan penting:
Proposal ARC-100 disetujui: Proposal yang melibatkan kepatuhan, penguncian dana, dan langkah-langkah keamanan seperti penundaan pencairan telah disetujui, tim sedang melakukan penyesuaian akhir.
Program insentif validator: Berlangsung dari 1 hingga 15 Juli, akan dialokasikan 1 juta poin Aleo sebagai hadiah. Distribusi hadiah didasarkan pada persentase poin yang dihasilkan oleh node, setiap validator setidaknya harus memperoleh 100 token untuk memenuhi syarat mendapatkan hadiah.
Pasokan token: Pasokan awal adalah 1,5 miliar token, dengan pasokan sirkulasi awal sekitar 10%. Token-token ini berasal dari tugas Coinbase (7500 juta ), yang akan didistribusikan dalam enam bulan pertama, dan juga mencakup hadiah untuk staking, menjalankan validator, dan node validator.
Pembaruan Testnet: Testnet Beta akan melakukan reset terakhir, menambahkan ARC-41 dan fitur puzzle baru. Setelah reset, jaringan akan mirip dengan mainnet dan tidak akan menambahkan fitur baru.
Pembekuan kode: Telah selesai satu minggu yang lalu.
Ekspansi Node Verifikasi: Jumlah awal node verifikasi adalah 15, targetnya adalah meningkat menjadi 50 dalam tahun ini, dan akhirnya mencapai 500. Untuk menjadi delegator diperlukan 10.000 token, untuk menjadi verifikator diperlukan 10 juta token, jumlah ini akan berkurang seiring waktu.
Analisis Algoritma Synthesis Puzzle
Algoritma puzzle terbaru yang dirilis oleh Aleo disebut Synthesis Puzzle, yang intinya adalah menghasilkan satu EpochProgram tetap untuk setiap epoch. Dengan membangun sirkuit pembuktian R1CS untuk input dan EpochProgram, menghasilkan penugasan R1CS yang sesuai ( yaitu saksi ), dan menjadikannya sebagai node daun dari pohon Merkle. Setelah menghitung semua node daun, menghasilkan akar Merkle dan mengubahnya menjadi proof_target dari solusi.
Proses rinci dari Synthesis Puzzle adalah sebagai berikut:
Setiap perhitungan puzzle disebut nonce, yang terdiri dari alamat yang menerima hadiah penambangan, epoch_hash, dan penghitung angka acak.
Dalam setiap epoch, semua prover menghitung EpochProgram yang sama, dengan angka acak yang dihasilkan dari epoch_hash saat ini diambil dari kumpulan instruksi.
Gunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Mengagregasi R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Hitung semua saksi, kemudian konversikan menjadi urutan node daun pohon Merkle.
Hitung akar Merkle dan ubah menjadi proof_target solusi, periksa apakah memenuhi latest_proof_target epoch saat ini.
Jika memenuhi syarat, maka kirim reward address, epoch_hash, dan counter yang diperlukan untuk membangun input sebagai solusi dan siarkan.
Dalam satu epoch yang sama, input EpochProgram dapat diperbarui melalui iterasi counter untuk melakukan beberapa perhitungan solusi.
Pembaruan kali ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan solusi dalam setiap epoch konsisten, tetapi perbedaan logika perhitungan antar epoch cukup besar. Algoritma baru ini mengabaikan perhitungan MSM dan NTT sebelumnya, yang membawa tantangan baru untuk optimasi GPU. Karena proses menghasilkan witness melibatkan pelaksanaan program yang berubah sesuai epoch, di mana instruksinya memiliki ketergantungan eksekusi serial sebagian, mewujudkan paralelisasi 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.
15 Suka
Hadiah
15
7
Bagikan
Komentar
0/400
BankruptcyArtist
· 23jam yang lalu
Bagus, akhirnya giliran proyek desain privasi!
Lihat AsliBalas0
WuWeiErWei
· 08-06 02:40
Duduk dengan baik, segera To da moon 🛫
Lihat AsliBalas0
WhaleWatcher
· 08-06 01:02
zk-SNARKs menang
Lihat AsliBalas0
SerumSurfer
· 08-06 00:53
Privasi dilindungi kali ini akan To da moon?
Lihat AsliBalas0
PancakeFlippa
· 08-06 00:46
Dengar-dengar sudah ada yang mendengar tentang ini.
Aleo meluncurkan insentif Testnet Blockchain yang dapat diskalakan dengan privasi membuka babak baru
Aleo: Pelopor Blockchain untuk Perlindungan Privasi dan Skalabilitas
Aleo adalah proyek inovatif yang berkomitmen untuk meningkatkan perlindungan privasi dan skalabilitas Blockchain. Dengan menggunakan teknologi bukti nol pengetahuan, Aleo memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data sambil melindungi informasi pribadi.
Gambaran Umum Proyek
Perlindungan Privasi
Teknologi inti Aleo adalah zero-knowledge proofs (ZKPs), yang memastikan perlindungan privasi pengguna selama eksekusi transaksi dan smart contract. Secara default, rincian transaksi seperti pengirim dan jumlah disembunyikan. Desain ini tidak hanya melindungi privasi pengguna, tetapi juga mendukung pengungkapan selektif jika diperlukan, sangat cocok untuk pengembangan aplikasi DeFi.
Komponen utama Aleo meliputi:
Bahasa Pemrograman Leo: Diadaptasi dari Rust, khusus untuk mengembangkan aplikasi zero-knowledge (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM mendukung eksekusi perhitungan di luar rantai, hanya memverifikasi hasil di dalam rantai, meningkatkan efisiensi. snarkOS menjamin keamanan data dan perhitungan, mendukung eksekusi fungsi tanpa izin.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi, mendukung interaksi pemrograman antara semua pihak.
Aleo juga menyediakan lingkungan pengembangan terintegrasi (IDE) dan paket pengembangan perangkat lunak (SDK), memudahkan pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Pengembang dapat secara langsung 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, 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.
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.
Kecepatan finalitas blok: AleoBFT memastikan setiap blok yang dihasilkan segera dikonfirmasi, meningkatkan stabilitas node dan pengalaman pengguna.
Jaminan Desentralisasi: Dengan memisahkan produksi blok dan pembuatan coinbase, validator bertanggung jawab untuk menghasilkan blok, sementara pembuktian melakukan perhitungan bukti, mencegah sebagian kecil entitas mendominasi jaringan.
Mekanisme insentif: Validator dan penyaksi berbagi hadiah blok; mendorong penyaksi 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 lama untuk berjalan, seperti pembelajaran mesin, dll.
Kemajuan Terbaru
Aleo akan meluncurkan jaringan pengujian insentif pada 1 Juli, berikut adalah beberapa pembaruan penting:
Proposal ARC-100 disetujui: Proposal yang melibatkan kepatuhan, penguncian dana, dan langkah-langkah keamanan seperti penundaan pencairan telah disetujui, tim sedang melakukan penyesuaian akhir.
Program insentif validator: Berlangsung dari 1 hingga 15 Juli, akan dialokasikan 1 juta poin Aleo sebagai hadiah. Distribusi hadiah didasarkan pada persentase poin yang dihasilkan oleh node, setiap validator setidaknya harus memperoleh 100 token untuk memenuhi syarat mendapatkan hadiah.
Pasokan token: Pasokan awal adalah 1,5 miliar token, dengan pasokan sirkulasi awal sekitar 10%. Token-token ini berasal dari tugas Coinbase (7500 juta ), yang akan didistribusikan dalam enam bulan pertama, dan juga mencakup hadiah untuk staking, menjalankan validator, dan node validator.
Pembaruan Testnet: Testnet Beta akan melakukan reset terakhir, menambahkan ARC-41 dan fitur puzzle baru. Setelah reset, jaringan akan mirip dengan mainnet dan tidak akan menambahkan fitur baru.
Pembekuan kode: Telah selesai satu minggu yang lalu.
Ekspansi Node Verifikasi: Jumlah awal node verifikasi adalah 15, targetnya adalah meningkat menjadi 50 dalam tahun ini, dan akhirnya mencapai 500. Untuk menjadi delegator diperlukan 10.000 token, untuk menjadi verifikator diperlukan 10 juta token, jumlah ini akan berkurang seiring waktu.
Analisis Algoritma Synthesis Puzzle
Algoritma puzzle terbaru yang dirilis oleh Aleo disebut Synthesis Puzzle, yang intinya adalah menghasilkan satu EpochProgram tetap untuk setiap epoch. Dengan membangun sirkuit pembuktian R1CS untuk input dan EpochProgram, menghasilkan penugasan R1CS yang sesuai ( yaitu saksi ), dan menjadikannya sebagai node daun dari pohon Merkle. Setelah menghitung semua node daun, menghasilkan akar Merkle dan mengubahnya menjadi proof_target dari solusi.
Proses rinci dari Synthesis Puzzle adalah sebagai berikut:
Setiap perhitungan puzzle disebut nonce, yang terdiri dari alamat yang menerima hadiah penambangan, epoch_hash, dan penghitung angka acak.
Dalam setiap epoch, semua prover menghitung EpochProgram yang sama, dengan angka acak yang dihasilkan dari epoch_hash saat ini diambil dari kumpulan instruksi.
Gunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Mengagregasi R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Hitung semua saksi, kemudian konversikan menjadi urutan node daun pohon Merkle.
Hitung akar Merkle dan ubah menjadi proof_target solusi, periksa apakah memenuhi latest_proof_target epoch saat ini.
Jika memenuhi syarat, maka kirim reward address, epoch_hash, dan counter yang diperlukan untuk membangun input sebagai solusi dan siarkan.
Dalam satu epoch yang sama, input EpochProgram dapat diperbarui melalui iterasi counter untuk melakukan beberapa perhitungan solusi.
Pembaruan kali ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan solusi dalam setiap epoch konsisten, tetapi perbedaan logika perhitungan antar epoch cukup besar. Algoritma baru ini mengabaikan perhitungan MSM dan NTT sebelumnya, yang membawa tantangan baru untuk optimasi GPU. Karena proses menghasilkan witness melibatkan pelaksanaan program yang berubah sesuai epoch, di mana instruksinya memiliki ketergantungan eksekusi serial sebagian, mewujudkan paralelisasi menghadapi tantangan yang cukup besar.