Aleo: Mewujudkan perlindungan privasi melalui teknologi zk-SNARKs pada Pilot Blockchain
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, meningkatkan privasi dan skalabilitas melalui teknologi zk-SNARKs (ZKP). Konsep inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data tanpa mengungkapkan data pribadi.
Kemajuan terbaru proyek
Jaringan Aleo secara acak menghasilkan satu sirkuit ZK setiap jam. Penambang perlu mencoba nonce yang berbeda sebagai input sirkuit dalam satu jam ini, menghitung witness( yaitu semua variabel dalam sirkuit, proses ini juga disebut sebagai synthesize), menghitung akar Merkle dari witness, kemudian menentukan apakah memenuhi persyaratan kesulitan penambangan. Karena sifat acak dari sirkuit, algoritma penambangan ini tidak ramah terhadap GPU, dan ada tantangan besar dalam percepatan perhitungan.
Situasi Pendanaan
Aleo menyelesaikan putaran pendanaan Seri A sebesar 28 juta dolar AS yang dipimpin oleh a16z pada tahun 2021. Pada tahun 2024, perusahaan menyelesaikan putaran pendanaan Seri B sebesar 200 juta dolar AS, dengan investor termasuk Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures, dan Samsung Next. Pendanaan ini membuat valuasi Aleo mencapai 1,45 miliar dolar AS.
Fitur Utama Proyek
Perlindungan Privasi
Inti dari Aleo adalah teknologi zk-SNARKs (ZKPs) yang memungkinkan transaksi dan pelaksanaan kontrak pintar dilakukan dengan menjaga privasi. Rincian transaksi pengguna, seperti pengirim dan jumlah transaksi, secara default disembunyikan. Desain ini tidak hanya melindungi privasi pengguna, tetapi juga memungkinkan pengungkapan selektif saat diperlukan, sangat cocok untuk pengembangan aplikasi DeFi.
Komponen utama termasuk:
Bahasa pemrograman Leo: dimodifikasi dari bahasa Rust, khusus digunakan untuk mengembangkan aplikasi zk-SNARKs (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, sementara di dalam rantai hanya memverifikasi hasil perhitungan, sehingga meningkatkan efisiensi. snarkOS memastikan keamanan data dan perhitungan, serta memungkinkan eksekusi fungsi tanpa izin.
zkCloud: menyediakan lingkungan komputasi off-chain yang aman dan privat, 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 cepat menulis dan merilis aplikasi. 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, kemudian hanya hasil verifikasinya yang diunggah ke Blockchain. Metode ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem, menghindari kemacetan jaringan dan biaya tinggi yang mirip dengan Ethereum.
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.
Keberlanjutan cepat blok: AleoBFT memastikan setiap blok segera dikonfirmasi setelah dihasilkan, meningkatkan stabilitas node dan pengalaman pengguna.
Desentralisasi jaminan: Dengan memisahkan produksi blok dari pembuatan coinbase, validator bertanggung jawab untuk menghasilkan blok, dan pembuktian dilakukan oleh para pembuktian, mencegah sedikit entitas mendominasi jaringan.
Mekanisme insentif: validator dan pembuktian berbagi hadiah blok; mendorong pembuktian untuk menjadi validator melalui staking token, sehingga meningkatkan tingkat desentralisasi dan kapasitas 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.
Perkembangan Terbaru
Voting ARC-100 disetujui: Proposal yang melibatkan aspek kepatuhan, penguncian dana di jaringan Aleo dan langkah-langkah keamanan seperti penundaan pembayaran telah disetujui, tim sedang melakukan penyesuaian akhir.
Program insentif validator: Akan dimulai pada 1 Juli, bertujuan untuk memverifikasi mekanisme puzzle baru. Program ini akan berlangsung hingga 15 Juli, dan selama periode tersebut akan dialokasikan 1 juta poin Aleo sebagai hadiah.
Suplai token: Suplai awal adalah 1,5 miliar token, dengan suplai sirkulasi awal sekitar 10% ( yang belum final ). Token-token ini sebagian besar berasal dari tugas Coinbase ( 7,5 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 selesai 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. Menjadi delegator memerlukan 10.000 token, sementara menjadi verifikator memerlukan 10 juta token, jumlah ini akan berkurang seiring waktu.
Analisis Algoritma Synthesis Puzzle
Inti dari algoritma puzzle terbaru Aleo disebut Synthesis Puzzle, dengan fitur utama sebagai berikut:
Setiap epoch secara tetap menghasilkan satu EpochProgram bersama.
Dengan membangun rangkaian bukti R1CS untuk input dan EpochProgram, menghasilkan penugasan R1CS yang sesuai ( yaitu saksi ) dan sebagai simpul daun dari pohon Merkle.
Hitung semua node daun kemudian hasilkan Merkle root dan konversi menjadi proof_target dari solution.
Setiap perhitungan puzzle disebut nonce, dibangun dari alamat yang menerima hadiah penambangan, epoch_hash, dan counter angka acak.
EpochProgram menghasilkan angka acak dari epoch_hash saat ini yang diambil dari himpunan instruksi.
Gunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Mengagregasi R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Hitung merkle root dan tentukan apakah memenuhi latest_proof_target epoch saat ini.
Pembaruan ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, dengan logika perhitungan semua solution dalam setiap epoch yang konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang cukup besar. Algoritma baru ini meninggalkan perhitungan MSM dan NTT sebelumnya, yang menciptakan tantangan baru untuk optimasi GPU. Karena terdapat beberapa ketergantungan eksekusi serial dalam proses pembuatan witness, pelaksanaan paralelisasi juga menghadapi tantangan yang tidak kecil.
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.
10 Suka
Hadiah
10
6
Bagikan
Komentar
0/400
ExpectationFarmer
· 19jam yang lalu
Penambangan benar-benar terlalu sulit.
Lihat AsliBalas0
ShitcoinConnoisseur
· 19jam yang lalu
zk begitu populer, beli sedikit untuk meredakan kejutan
Lihat AsliBalas0
ChainDoctor
· 19jam yang lalu
Ini sudah dibilang berlebihan lagi.
Lihat AsliBalas0
GateUser-5b799ff7
· 19jam yang lalu
sudah ketinggalan zaman
Lihat AsliBalas0
LuoGeMade1MillionDo
· 19jam yang lalu
Wah, luar biasa, banyak institusi besar yang mudah, satu miliar kapitalisasi pasar terlalu rendah ya😍😍😍
Aleo privasi rantai menyelesaikan pendanaan valuasi sebesar 1,45 miliar dolar AS, teknologi zk-SNARKs memimpin Web3
Aleo: Mewujudkan perlindungan privasi melalui teknologi zk-SNARKs pada Pilot Blockchain
Aleo adalah proyek blockchain yang fokus pada perlindungan privasi, meningkatkan privasi dan skalabilitas melalui teknologi zk-SNARKs (ZKP). Konsep inti dari proyek ini adalah memungkinkan pengguna untuk melakukan verifikasi identitas dan pemrosesan data tanpa mengungkapkan data pribadi.
Kemajuan terbaru proyek
Jaringan Aleo secara acak menghasilkan satu sirkuit ZK setiap jam. Penambang perlu mencoba nonce yang berbeda sebagai input sirkuit dalam satu jam ini, menghitung witness( yaitu semua variabel dalam sirkuit, proses ini juga disebut sebagai synthesize), menghitung akar Merkle dari witness, kemudian menentukan apakah memenuhi persyaratan kesulitan penambangan. Karena sifat acak dari sirkuit, algoritma penambangan ini tidak ramah terhadap GPU, dan ada tantangan besar dalam percepatan perhitungan.
Situasi Pendanaan
Aleo menyelesaikan putaran pendanaan Seri A sebesar 28 juta dolar AS yang dipimpin oleh a16z pada tahun 2021. Pada tahun 2024, perusahaan menyelesaikan putaran pendanaan Seri B sebesar 200 juta dolar AS, dengan investor termasuk Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures, dan Samsung Next. Pendanaan ini membuat valuasi Aleo mencapai 1,45 miliar dolar AS.
Fitur Utama Proyek
Perlindungan Privasi
Inti dari Aleo adalah teknologi zk-SNARKs (ZKPs) yang memungkinkan transaksi dan pelaksanaan kontrak pintar dilakukan dengan menjaga privasi. Rincian transaksi pengguna, seperti pengirim dan jumlah transaksi, secara default disembunyikan. Desain ini tidak hanya melindungi privasi pengguna, tetapi juga memungkinkan pengungkapan selektif saat diperlukan, sangat cocok untuk pengembangan aplikasi DeFi.
Komponen utama termasuk:
Bahasa pemrograman Leo: dimodifikasi dari bahasa Rust, khusus digunakan untuk mengembangkan aplikasi zk-SNARKs (ZKApps), mengurangi kebutuhan pengetahuan kriptografi bagi pengembang.
snarkVM dan snarkOS: snarkVM memungkinkan eksekusi perhitungan di luar rantai, sementara di dalam rantai hanya memverifikasi hasil perhitungan, sehingga meningkatkan efisiensi. snarkOS memastikan keamanan data dan perhitungan, serta memungkinkan eksekusi fungsi tanpa izin.
zkCloud: menyediakan lingkungan komputasi off-chain yang aman dan privat, 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 cepat menulis dan merilis aplikasi. 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, kemudian hanya hasil verifikasinya yang diunggah ke Blockchain. Metode ini secara signifikan meningkatkan kecepatan pemrosesan transaksi dan skalabilitas sistem, menghindari kemacetan jaringan dan biaya tinggi yang mirip dengan Ethereum.
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.
Keberlanjutan cepat blok: AleoBFT memastikan setiap blok segera dikonfirmasi setelah dihasilkan, meningkatkan stabilitas node dan pengalaman pengguna.
Desentralisasi jaminan: Dengan memisahkan produksi blok dari pembuatan coinbase, validator bertanggung jawab untuk menghasilkan blok, dan pembuktian dilakukan oleh para pembuktian, mencegah sedikit entitas mendominasi jaringan.
Mekanisme insentif: validator dan pembuktian berbagi hadiah blok; mendorong pembuktian untuk menjadi validator melalui staking token, sehingga meningkatkan tingkat desentralisasi dan kapasitas 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.
Perkembangan Terbaru
Voting ARC-100 disetujui: Proposal yang melibatkan aspek kepatuhan, penguncian dana di jaringan Aleo dan langkah-langkah keamanan seperti penundaan pembayaran telah disetujui, tim sedang melakukan penyesuaian akhir.
Program insentif validator: Akan dimulai pada 1 Juli, bertujuan untuk memverifikasi mekanisme puzzle baru. Program ini akan berlangsung hingga 15 Juli, dan selama periode tersebut akan dialokasikan 1 juta poin Aleo sebagai hadiah.
Suplai token: Suplai awal adalah 1,5 miliar token, dengan suplai sirkulasi awal sekitar 10% ( yang belum final ). Token-token ini sebagian besar berasal dari tugas Coinbase ( 7,5 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 selesai 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. Menjadi delegator memerlukan 10.000 token, sementara menjadi verifikator memerlukan 10 juta token, jumlah ini akan berkurang seiring waktu.
Analisis Algoritma Synthesis Puzzle
Inti dari algoritma puzzle terbaru Aleo disebut Synthesis Puzzle, dengan fitur utama sebagai berikut:
Setiap epoch secara tetap menghasilkan satu EpochProgram bersama.
Dengan membangun rangkaian bukti R1CS untuk input dan EpochProgram, menghasilkan penugasan R1CS yang sesuai ( yaitu saksi ) dan sebagai simpul daun dari pohon Merkle.
Hitung semua node daun kemudian hasilkan Merkle root dan konversi menjadi proof_target dari solution.
Setiap perhitungan puzzle disebut nonce, dibangun dari alamat yang menerima hadiah penambangan, epoch_hash, dan counter angka acak.
EpochProgram menghasilkan angka acak dari epoch_hash saat ini yang diambil dari himpunan instruksi.
Gunakan nonce sebagai benih angka acak untuk menghasilkan input EpochProgram.
Mengagregasi R1CS dan input yang sesuai dengan EpochProgram, melakukan perhitungan saksi.
Hitung merkle root dan tentukan apakah memenuhi latest_proof_target epoch saat ini.
Pembaruan ini mengubah puzzle dari menghasilkan proof menjadi menghasilkan witness, dengan logika perhitungan semua solution dalam setiap epoch yang konsisten, tetapi logika perhitungan antar epoch memiliki perbedaan yang cukup besar. Algoritma baru ini meninggalkan perhitungan MSM dan NTT sebelumnya, yang menciptakan tantangan baru untuk optimasi GPU. Karena terdapat beberapa ketergantungan eksekusi serial dalam proses pembuatan witness, pelaksanaan paralelisasi juga menghadapi tantangan yang tidak kecil.