Aleo: Blockchain perlindungan privasi yang didorong oleh teknologi zk-SNARKs
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, yang menggunakan teknologi zk-SNARKs untuk mencapai tingkat privasi dan skalabilitas yang lebih tinggi. Ide dasar proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data tanpa mengungkapkan informasi pribadi.
Ikhtisar Proyek
privasi
Inti dari Aleo adalah teknologi zk-SNARKs (ZKPs) yang memungkinkan transaksi dan kontrak pintar untuk dieksekusi sambil melindungi privasi. Detail transaksi pengguna secara default disembunyikan, tetapi memungkinkan pengungkapan selektif jika diperlukan, fitur ini sangat cocok untuk pengembangan aplikasi DeFi. Komponen utamanya meliputi:
Bahasa Leo: Bahasa yang dirancang khusus untuk mengembangkan aplikasi zero-knowledge (ZKApps), yang mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: yang pertama memungkinkan eksekusi perhitungan di luar rantai, yang terakhir memastikan keamanan data dan perhitungan.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi.
Aleo juga menyediakan lingkungan pengembangan terintegrasi dan paket alat pengembangan perangkat lunak, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi.
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, yaitu mekanisme konsensus arsitektur campuran yang menggabungkan finalitas instan dari validator dan kemampuan komputasi dari prover. AleoBFT tidak hanya meningkatkan tingkat desentralisasi jaringan, tetapi juga meningkatkan kinerja dan keamanan.
Blok cepat finalitas: memastikan setiap blok segera dikonfirmasi setelah dihasilkan.
Jaminan desentralisasi: Dengan memisahkan produksi blok dari pembuatan coinbase, mencegah sekelompok kecil entitas untuk memonopoli jaringan.
Mekanisme insentif: Validator dan pembuktian berbagi hadiah blok, mendorong pembuktian untuk menjadi validator melalui staking token.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi oleh gas, sehingga sangat cocok untuk aplikasi yang memerlukan waktu berjalan lama seperti pembelajaran mesin.
Perkembangan Terbaru
Aleo akan meluncurkan jaringan pengujian insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
Pemungutan suara ARC-100 disetujui: Proposal yang melibatkan aspek kepatuhan, penguncian dana di jaringan, dan langkah-langkah keamanan seperti penundaan pencairan telah disetujui.
Program insentif validator: akan dimulai pada 1 Juli, bertujuan untuk memverifikasi mekanisme puzzle baru. Program ini akan berjalan hingga 15 Juli, selama periode tersebut akan dialokasikan 1.000.000 poin Aleo sebagai hadiah.
Pasokan token: jumlah pasokan awal adalah 1,5 miliar token, dengan pasokan sirkulasi awal sekitar 10%.
Reset Testnet Beta: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada fitur baru yang ditambahkan.
Pembekuan kode: Sudah selesai satu minggu yang lalu.
Rencana perluasan node validasi: jumlah awal node validasi adalah 15, targetnya adalah menambah hingga 50 dalam setahun, dan akhirnya mencapai 500.
Analisis Algoritma Synthesis Puzzle
Algoritma puzzle terbaru dari 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 dan sebagai simpul daun dari pohon Merkle, setelah menghitung semua simpul daun, menghasilkan akar Merkle dan mengubahnya menjadi proof_target dari solusi.
Alur algoritma
Setiap perhitungan puzzle disebut nonce, dibangun dari alamat yang menerima hadiah penambangan, epoch_hash, dan angka acak counter.
Dalam setiap epoch, semua prover menghitung EpochProgram yang sama, diambil dari instruksi yang dihasilkan oleh random number yang dihasilkan dari epoch_hash saat ini.
Menggunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Menggabungkan R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Setelah menghitung semua saksi, konversikan ke dalam urutan simpul daun Merkle tree.
Hitung merkle root dan konversikan ke proof_target solusi, periksa apakah memenuhi latest_proof_target epoch saat ini.
Dalam epoch yang sama, dapat melakukan beberapa perhitungan solution dengan memperbarui input EpochProgram melalui iterasi counter.
Perubahan dan Dampak Penambangan
Algoritma baru mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan semua solusi dalam setiap epoch konsisten, tetapi terdapat perbedaan logika perhitungan yang cukup besar antara epoch yang berbeda. Perubahan ini mengabaikan optimasi sebelumnya terhadap perhitungan MSM dan NTT, sementara terdapat ketergantungan eksekusi serial dalam proses pembuatan witness, sehingga tantangan besar muncul dalam mewujudkan paralelisasi.
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.
17 Suka
Hadiah
17
5
Posting ulang
Bagikan
Komentar
0/400
GateUser-fc4fde9d
· 15jam yang lalu
Bodoh yang menggoreng nasi dingin, mungkin ayah dan ibumu tertidur saat menciptakanmu.
Lihat AsliBalas0
LiquidationWizard
· 18jam yang lalu
tertawa mati, adik perempuan, aku baru saja ditutup semua posisi kemarin.
Lihat AsliBalas0
HalfIsEmpty
· 18jam yang lalu
Privasi bisa, saya masih menunggu airdrop.
Lihat AsliBalas0
rugdoc.eth
· 18jam yang lalu
Langsung saja selesai
Lihat AsliBalas0
GasFeeLady
· 18jam yang lalu
akhirnya beberapa teknologi privasi nyata... sudah menunggu untuk terjun sejak rumor testnet sejujurnya
Aleo: Blockchain privasi nol pengetahuan akan segera menyambut Testnet insentif
Aleo: Blockchain perlindungan privasi yang didorong oleh teknologi zk-SNARKs
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, yang menggunakan teknologi zk-SNARKs untuk mencapai tingkat privasi dan skalabilitas yang lebih tinggi. Ide dasar proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data tanpa mengungkapkan informasi pribadi.
Ikhtisar Proyek
privasi
Inti dari Aleo adalah teknologi zk-SNARKs (ZKPs) yang memungkinkan transaksi dan kontrak pintar untuk dieksekusi sambil melindungi privasi. Detail transaksi pengguna secara default disembunyikan, tetapi memungkinkan pengungkapan selektif jika diperlukan, fitur ini sangat cocok untuk pengembangan aplikasi DeFi. Komponen utamanya meliputi:
Bahasa Leo: Bahasa yang dirancang khusus untuk mengembangkan aplikasi zero-knowledge (ZKApps), yang mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: yang pertama memungkinkan eksekusi perhitungan di luar rantai, yang terakhir memastikan keamanan data dan perhitungan.
zkCloud: Menyediakan lingkungan komputasi off-chain yang aman dan pribadi.
Aleo juga menyediakan lingkungan pengembangan terintegrasi dan paket alat pengembangan perangkat lunak, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi.
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, yaitu mekanisme konsensus arsitektur campuran yang menggabungkan finalitas instan dari validator dan kemampuan komputasi dari prover. AleoBFT tidak hanya meningkatkan tingkat desentralisasi jaringan, tetapi juga meningkatkan kinerja dan keamanan.
Blok cepat finalitas: memastikan setiap blok segera dikonfirmasi setelah dihasilkan.
Jaminan desentralisasi: Dengan memisahkan produksi blok dari pembuatan coinbase, mencegah sekelompok kecil entitas untuk memonopoli jaringan.
Mekanisme insentif: Validator dan pembuktian berbagi hadiah blok, mendorong pembuktian untuk menjadi validator melalui staking token.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi oleh gas, sehingga sangat cocok untuk aplikasi yang memerlukan waktu berjalan lama seperti pembelajaran mesin.
Perkembangan Terbaru
Aleo akan meluncurkan jaringan pengujian insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
Pemungutan suara ARC-100 disetujui: Proposal yang melibatkan aspek kepatuhan, penguncian dana di jaringan, dan langkah-langkah keamanan seperti penundaan pencairan telah disetujui.
Program insentif validator: akan dimulai pada 1 Juli, bertujuan untuk memverifikasi mekanisme puzzle baru. Program ini akan berjalan hingga 15 Juli, selama periode tersebut akan dialokasikan 1.000.000 poin Aleo sebagai hadiah.
Pasokan token: jumlah pasokan awal adalah 1,5 miliar token, dengan pasokan sirkulasi awal sekitar 10%.
Reset Testnet Beta: Ini adalah reset jaringan terakhir, setelah selesai tidak akan ada fitur baru yang ditambahkan.
Pembekuan kode: Sudah selesai satu minggu yang lalu.
Rencana perluasan node validasi: jumlah awal node validasi adalah 15, targetnya adalah menambah hingga 50 dalam setahun, dan akhirnya mencapai 500.
Analisis Algoritma Synthesis Puzzle
Algoritma puzzle terbaru dari 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 dan sebagai simpul daun dari pohon Merkle, setelah menghitung semua simpul daun, menghasilkan akar Merkle dan mengubahnya menjadi proof_target dari solusi.
Alur algoritma
Setiap perhitungan puzzle disebut nonce, dibangun dari alamat yang menerima hadiah penambangan, epoch_hash, dan angka acak counter.
Dalam setiap epoch, semua prover menghitung EpochProgram yang sama, diambil dari instruksi yang dihasilkan oleh random number yang dihasilkan dari epoch_hash saat ini.
Menggunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Menggabungkan R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Setelah menghitung semua saksi, konversikan ke dalam urutan simpul daun Merkle tree.
Hitung merkle root dan konversikan ke proof_target solusi, periksa apakah memenuhi latest_proof_target epoch saat ini.
Dalam epoch yang sama, dapat melakukan beberapa perhitungan solution dengan memperbarui input EpochProgram melalui iterasi counter.
Perubahan dan Dampak Penambangan
Algoritma baru mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan semua solusi dalam setiap epoch konsisten, tetapi terdapat perbedaan logika perhitungan yang cukup besar antara epoch yang berbeda. Perubahan ini mengabaikan optimasi sebelumnya terhadap perhitungan MSM dan NTT, sementara terdapat ketergantungan eksekusi serial dalam proses pembuatan witness, sehingga tantangan besar muncul dalam mewujudkan paralelisasi.