Aleo: Pendatang baru Blockchain yang mengedepankan privasi dan skalabilitas
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, yang menerapkan teknologi bukti nol 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.
Ringkasan Proyek
Privasi
Inti dari Aleo adalah teknologi pembuktian nol pengetahuan (ZKPs), yang memungkinkan transaksi dan pelaksanaan kontrak pintar dilakukan sambil melindungi privasi. Detail transaksi pengguna secara default disembunyikan, tetapi memungkinkan pengungkapan secara selektif jika diperlukan. Komponen utamanya meliputi:
Bahasa pemrograman Leo: bahasa yang dirancang khusus untuk mengembangkan aplikasi tanpa pengetahuan (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi para pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil di dalam rantai; snarkOS memastikan keamanan data dan perhitungan.
zkCloud: menyediakan lingkungan komputasi off-chain yang aman dan pribadi, mendukung interaksi pemrograman antara berbagai pihak.
Aleo juga menyediakan lingkungan pengembangan terintegrasi dan paket alat pengembangan perangkat lunak, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Pengembang dapat langsung menerapkan aplikasi di registri program Aleo, yang mengurangi risiko platform.
Skalabilitas
Aleo menggunakan metode pemrosesan off-chain, transaksi pertama kali dihitung pembuktiannya 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 yang 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. Ciri-cirinya meliputi:
Blok cepat finalitas: memastikan setiap blok segera dikonfirmasi setelah dihasilkan.
Jaminan desentralisasi: Dengan memisahkan produksi blok dan pembuatan coinbase, mencegah sedikit entitas menguasai jaringan.
Mekanisme insentif: Validator dan penyaksi berbagi hadiah blok, mendorong penyaksi untuk menjadi validator melalui stak token.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi oleh gas, terutama cocok untuk aplikasi yang memerlukan waktu lama untuk berjalan, seperti pembelajaran mesin dan sebagainya.
Perkembangan Terbaru
Aleo berencana untuk meluncurkan jaringan pengujian insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
Proposal ARC-100 disetujui, tim sedang melakukan penyesuaian akhir.
Program insentif validator akan dimulai pada 1 Juli dan berjalan hingga 15 Juli, mendistribusikan 1 juta poin Aleo sebagai hadiah.
Jumlah pasokan awal adalah 1,5 miliar token, jumlah pasokan yang beredar awalnya sekitar 10%.
Setelah reset Testnet Beta selesai, jaringan akan mirip dengan mainnet.
Pembekuan kode telah selesai seminggu yang lalu.
Rencana perluasan node verifikasi: 15 node awal, target meningkat menjadi 50 dalam setahun, dan akhirnya mencapai 500.
Penjelasan Algoritma Synthesis Puzzle
Aleo baru-baru ini memperbarui versi terbaru dari algoritma puzzle, yang disebut Synthesis Puzzle. Algoritma baru ini tidak lagi fokus pada penghasil hasil zk proof, tetapi lebih menekankan pada penghasilan data tengah witness sebelum proof dihasilkan. Proses algoritma adalah sebagai berikut:
Setiap epoch menghasilkan sebuah EpochProgram bersama.
Menggunakan nonce( untuk membangun alamat hadiah penambangan, epoch_hash, dan nomor acak counter ) sebagai input.
Membangun sirkuit bukti R1CS berdasarkan EpochProgram dan input, menghasilkan saksi.
Mengubah saksi menjadi simpul daun pohon Merkle, menghitung akar Merkle.
Mengubah Merkle root menjadi proof_target dari solution, untuk menentukan apakah memenuhi persyaratan kesulitan epoch saat ini.
Jika memenuhi syarat, kirim solusi dan siarkan.
Pembaruan ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan dalam setiap epoch konsisten, tetapi ada perbedaan yang cukup besar antar epoch. Algoritma baru ini mengabaikan perhitungan MSM dan NTT sebelumnya, meningkatkan kesulitan implementasi paralel, yang mungkin akan mempengaruhi strategi optimasi penambangan yang ada.
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.
Aleo meluncurkan insentif Testnet Blockchain zero-knowledge menuju Mainnet
Aleo: Pendatang baru Blockchain yang mengedepankan privasi dan skalabilitas
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, yang menerapkan teknologi bukti nol 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.
Ringkasan Proyek
Privasi
Inti dari Aleo adalah teknologi pembuktian nol pengetahuan (ZKPs), yang memungkinkan transaksi dan pelaksanaan kontrak pintar dilakukan sambil melindungi privasi. Detail transaksi pengguna secara default disembunyikan, tetapi memungkinkan pengungkapan secara selektif jika diperlukan. Komponen utamanya meliputi:
Bahasa pemrograman Leo: bahasa yang dirancang khusus untuk mengembangkan aplikasi tanpa pengetahuan (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi para pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, hanya memverifikasi hasil di dalam rantai; snarkOS memastikan keamanan data dan perhitungan.
zkCloud: menyediakan lingkungan komputasi off-chain yang aman dan pribadi, mendukung interaksi pemrograman antara berbagai pihak.
Aleo juga menyediakan lingkungan pengembangan terintegrasi dan paket alat pengembangan perangkat lunak, mendukung pengembang untuk dengan cepat menulis dan menerbitkan aplikasi. Pengembang dapat langsung menerapkan aplikasi di registri program Aleo, yang mengurangi risiko platform.
Skalabilitas
Aleo menggunakan metode pemrosesan off-chain, transaksi pertama kali dihitung pembuktiannya 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 yang 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. Ciri-cirinya meliputi:
Blok cepat finalitas: memastikan setiap blok segera dikonfirmasi setelah dihasilkan.
Jaminan desentralisasi: Dengan memisahkan produksi blok dan pembuatan coinbase, mencegah sedikit entitas menguasai jaringan.
Mekanisme insentif: Validator dan penyaksi berbagi hadiah blok, mendorong penyaksi untuk menjadi validator melalui stak token.
Aleo memungkinkan pengembang untuk membuat aplikasi yang tidak terbatasi oleh gas, terutama cocok untuk aplikasi yang memerlukan waktu lama untuk berjalan, seperti pembelajaran mesin dan sebagainya.
Perkembangan Terbaru
Aleo berencana untuk meluncurkan jaringan pengujian insentif pada 1 Juli, berikut adalah beberapa informasi terbaru yang penting:
Proposal ARC-100 disetujui, tim sedang melakukan penyesuaian akhir.
Program insentif validator akan dimulai pada 1 Juli dan berjalan hingga 15 Juli, mendistribusikan 1 juta poin Aleo sebagai hadiah.
Jumlah pasokan awal adalah 1,5 miliar token, jumlah pasokan yang beredar awalnya sekitar 10%.
Setelah reset Testnet Beta selesai, jaringan akan mirip dengan mainnet.
Pembekuan kode telah selesai seminggu yang lalu.
Rencana perluasan node verifikasi: 15 node awal, target meningkat menjadi 50 dalam setahun, dan akhirnya mencapai 500.
Penjelasan Algoritma Synthesis Puzzle
Aleo baru-baru ini memperbarui versi terbaru dari algoritma puzzle, yang disebut Synthesis Puzzle. Algoritma baru ini tidak lagi fokus pada penghasil hasil zk proof, tetapi lebih menekankan pada penghasilan data tengah witness sebelum proof dihasilkan. Proses algoritma adalah sebagai berikut:
Setiap epoch menghasilkan sebuah EpochProgram bersama.
Menggunakan nonce( untuk membangun alamat hadiah penambangan, epoch_hash, dan nomor acak counter ) sebagai input.
Membangun sirkuit bukti R1CS berdasarkan EpochProgram dan input, menghasilkan saksi.
Mengubah saksi menjadi simpul daun pohon Merkle, menghitung akar Merkle.
Mengubah Merkle root menjadi proof_target dari solution, untuk menentukan apakah memenuhi persyaratan kesulitan epoch saat ini.
Jika memenuhi syarat, kirim solusi dan siarkan.
Pembaruan ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, logika perhitungan dalam setiap epoch konsisten, tetapi ada perbedaan yang cukup besar antar epoch. Algoritma baru ini mengabaikan perhitungan MSM dan NTT sebelumnya, meningkatkan kesulitan implementasi paralel, yang mungkin akan mempengaruhi strategi optimasi penambangan yang ada.